1162 search results - page 59 / 233 » Monotonic Semantic Interpretation |
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
FOSSACS
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
ECML
2003
Springer
15 years 4 months ago
2003
Springer
Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of n...
OTM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...