Sciweavers

3564 search results - page 476 / 713
» Evaluating a Formal Modelling Language
Sort
View
CORR
2000
Springer
104views Education» more  CORR 2000»
15 years 3 months ago
ATLAS: A flexible and extensible architecture for linguistic annotation
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
Steven Bird, David Day, John S. Garofolo, John Hen...
161
Voted
DASFAA
2011
IEEE
231views Database» more  DASFAA 2011»
14 years 7 months ago
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
Hechen Liu, Markus Schneider
ICALP
1989
Springer
15 years 7 months ago
Causal Trees
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Philippe Darondeau, Pierpaolo Degano
132
Voted
EMNLP
2009
15 years 1 months ago
Supervised Learning of a Probabilistic Lexicon of Verb Semantic Classes
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...
Yusuke Miyao, Jun-ichi Tsujii
JMLR
2012
13 years 6 months ago
Multiple Texture Boltzmann Machines
We assess the generative power of the mPoTmodel of [10] with tiled-convolutional weight sharing as a model for visual textures by specifically training on this task, evaluating m...
Jyri J. Kivinen, Christopher K. I. Williams