Sciweavers

456 search results - page 48 / 92
» Semantic Foundations of Jade
Sort
View
117
Voted
RR
2010
Springer
15 years 7 days ago
A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
Oliver Gries, Ralf Möller, Anahita Nafissi, M...
99
Voted
ESOP
2007
Springer
15 years 8 months ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
128
Voted
CBMS
2006
IEEE
15 years 8 months ago
An Ontology-Driven Mediator for Querying Time-Oriented Biomedical Data
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
Martin J. O'Connor, Ravi Shankar, Amar K. Das
109
Voted
RWEB
2005
Springer
15 years 7 months ago
Evolution and Reactivity for the Web
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
José Júlio Alferes, Wolfgang May
FMCO
2004
Springer
15 years 7 months ago
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
Erika Ábrahám, Marcello M. Bonsangue...