Sciweavers

15372 search results - page 388 / 3075
» The Semantics of Semantic Annotation
Sort
View
FORMATS
2004
Springer
16 years 6 days ago
Robustness and Implementability of Timed Automata
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jea...
IFIP
2004
Springer
16 years 6 days ago
Three decades of data integration - All problems solved?
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
Patrick Ziegler, Klaus R. Dittrich
ICALP
2003
Springer
16 years 1 days ago
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
Stefan Blom, Wan Fokkink, Sumit Nain
TSD
1999
Springer
15 years 11 months ago
Classifying Visemes for Automatic Lipreading
Automatic lipreading is automatic speech recognition that uses only visual information. The relevant data in a video signal is isolated and features are extracted from it. From a s...
Michiel Visser, Mannes Poel, Anton Nijholt
ECOOPW
1994
Springer
15 years 11 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler