Sciweavers

1830 search results - page 60 / 366
» Centering in Dynamic Semantics
Sort
View
LOPSTR
2004
Springer
15 years 4 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
DL
1999
Springer
166views Digital Library» more  DL 1999»
15 years 3 months ago
Semantic Indexing for a Complete Subject Discipline
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
Yi-Ming Chung, Qin He, Kevin Powell, Bruce R. Scha...
SPIESR
2001
174views Database» more  SPIESR 2001»
15 years 17 days ago
Mapping low-level image features to semantic concepts
Humans tend to use high-level semantic concepts when querying and browsing multimedia databases; there is thus, a need for systems that extract these concepts and make available a...
Daniela Stan, Ishwar K. Sethi
ASM
2003
ASM
15 years 4 months ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober
AI
2008
Springer
15 years 1 months ago
Some Simplified Forms of Reasoning with Distance-Based Entailments
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
Ofer Arieli, Anna Zamansky