1162 search results - page 88 / 233 » Monotonic Semantic Interpretation |
ICMCS
2005
IEEE
15 years 4 months ago
2005
IEEE
To reduce the ambiguity and the different semantic interpretation of human observers’ reports, we propose a new paradigm in collaborating information using icons to represent co...
182
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
98
Voted
ECAI
2010
Springer
14 years 9 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
136
click to vote
WISE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
LREC
2008
15 years 15 days ago
2008
This paper discusses how Information Extraction is used to understand and manage Dialogue in the EU-funded Companions project. This will be discussed with respect to the Senior Co...