Search
Now showing items 1-5 of 5
Zoom : a corpus of natural language descriptions of map locations
(2015)
This paper describes an experiment to elicit referring expressions from human subjects for research in natural language generation and related fields, and preliminary results of a computational model for the generation of ...
A theory for the semantics of stochastic and non-deterministic continuous systems
(2014)
The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, ...
Modal satisfiability via SMT solving
(2015)
Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...
1H NMR Spectroscopy and MR Imaging with hyperpolarised substances
(Elsevier, 2014)
Despite their wide applicability in natural sciences, NMR and MRI still suffer from their inherently low sensitivity. This can be overcome by hyperpolarisation techniques, such as parahydrogen-induced polarisation and ...
Considering correlation properties on statistical simulation of clutter
(2015)
Statistical properties of image data are of paramount importance in the design of pattern recognition technics and the interpretation of their outputs. Image simulation allows quantification of method?s error and accuracy. ...