Sciweavers

6583 search results - page 351 / 1317
» Semantic Analysis Patterns
Sort
View
SEMCO
2008
IEEE
15 years 11 months ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi
ADAEUROPE
2008
Springer
15 years 11 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
GI
2004
Springer
15 years 10 months ago
Engineering a Domain Ontology in a Semantic Web Retrieval System for Pathology
: Telepathology allows pathologists to acquire, analyze and exchange high quality digital histological images for diagnostic and teaching purposes. Concrete applications in this ar...
Robert Tolksdorf, Elena Paslaru Bontas
LOPSTR
2004
Springer
15 years 10 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...
DAGSTUHL
2008
15 years 6 months ago
08061 Executive Summary -- Types, Logics and Semantics for State
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...