1059 search results - page 156 / 212 » Unification-Based Semantic Interpretation |
143
Voted
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
139
Voted
LTCONF
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
114
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
143
Voted
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
193
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...