Sciweavers

2696 search results - page 186 / 540
» Semantic Abstraction and Anaphora
Sort
View
ESWS
2010
Springer
15 years 5 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
IANDC
2010
68views more  IANDC 2010»
15 years 5 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr
JASIS
2010
182views more  JASIS 2010»
15 years 5 months ago
Understanding latent semantic indexing: A topological structure analysis using Q-analysis
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
Dandan Li, Chung-Ping Kwong
SEMWEB
2010
Springer
15 years 4 months ago
Using Semantic Web Technologies for Clinical Trial Recruitment
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...
Paolo Besana, Marc Cuggia, Oussama Zekri, Annabel ...
POPL
2006
ACM
16 years 6 months ago
Adventures in time and space
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
Norman Danner, James S. Royer