Sciweavers

1791 search results - page 182 / 359
» Semantics and Complexity of SPARQL
Sort
View
144
Voted
EDBT
2010
ACM
205views Database» more  EDBT 2010»
15 years 9 months ago
Advanced knowledge discovery on movement data with the GeoPKDD system
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca...
FORMATS
2008
Springer
15 years 7 months ago
Some Recent Results in Metric Temporal Logic
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
Joël Ouaknine, James Worrell
ACL
2008
15 years 7 months ago
Hypertagging: Supertagging for Surface Realization with CCG
In lexicalized grammatical formalisms, it is possible to separate lexical category assignment from the combinatory processes that make use of such categories, such as parsing and ...
Dominic Espinosa, Michael White, Dennis Mehay
LREC
2010
181views Education» more  LREC 2010»
15 years 7 months ago
A Data Category Registry- and Component-based Metadata Framework
We describe our computer-supported framework to overcome the rule of metadata schism. It combines the use of controlled vocabularies, managed by a data category registry, with a c...
Daan Broeder, Marc Kemps-Snijders, Dieter Van Uytv...
IASTEDSE
2004
15 years 7 months ago
Service specification with MSCs and roles
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
Ingolf H. Krüger