1059 search results - page 79 / 212 » Unification-Based Semantic Interpretation |
189
click to vote
POPL
2004
ACM
16 years 5 days 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...
107
click to vote
ECAI
2010
Springer
14 years 10 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...
LREC
2008
15 years 1 months 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...
NAACL
1994
15 years 1 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...