950 search results - page 45 / 190 » Machine semantics |
196
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
148
Voted
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Though modern Visual Simultaneous Localisation and Mapping (vSLAM) systems are capable of localising robustly and efficiently even in the case of a monocular camera, the maps prod...
144
Voted
DIS
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, the semantic relationships between a predicate and its arguments in terms of semantic roles are employed to improve lexical-based named entity recognition (NER) in t...
110
click to vote
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to efficiently manage and use of the information on the Web it becomes crucial to provide personalization not only within single systems, but across various web applicati...
139
click to vote
COLING
2008
15 years 5 months ago
2008
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...