Sciweavers

2696 search results - page 79 / 540
» Semantic Abstraction and Anaphora
Sort
View
110
Voted
FOSSACS
2004
Springer
15 years 6 months ago
Angelic Semantics of Fine-Grained Concurrency
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
Dan R. Ghica, Andrzej S. Murawski
CL
2000
Springer
15 years 5 months ago
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
75
Voted
EXPERT
2008
77views more  EXPERT 2008»
15 years 24 days ago
Is a Semantic Web Agent a Knowledge-Savvy Agent?
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
Valentina A. M. Tamma, Terry R. Payne
92
Voted
WEBI
2007
Springer
15 years 6 months ago
Towards a Media Interpretation Framework for the Semantic Web
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...
Irma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Me...
EPIA
2001
Springer
15 years 5 months ago
A Procedural Semantics for Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...