Sciweavers

15372 search results - page 2697 / 3075
» The Semantics of Semantic Annotation
Sort
View
CIE
2005
Springer
15 years 7 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian
CONCUR
2006
Springer
15 years 7 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
CONEXT
2005
ACM
15 years 7 months ago
Janus: an architecture for flexible access to sensor networks
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
Richard Gold
178
Voted
ECAI
2006
Springer
15 years 7 months ago
Tracking the Lexical Zeitgeist with WordNet and Wikipedia
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
Tony Veale
EDBTW
2006
Springer
15 years 7 months ago
Management of Executable Schema Mappings for XML Data Exchange
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
Tadeusz Pankowski
« Prev « First page 2697 / 3075 Last » Next »