5451 search results - page 306 / 1091 » Typed Operational Semantics |
153
click to vote
EKAW
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we tackle some of the most pressing obstacles of the emerging Linked Data Web, namely the quality, timeliness and coherence as well as direct end user benefits. We p...
159
click to vote
MMM
2012
Springer
14 years 11 days ago
2012
Springer
Abstract. We present a novel video retrieval system that accepts annotated freehand sketches as queries. Existing sketch based video retrieval (SBVR) systems enable the appearance ...
257
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
147
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
154
click to vote
ADC
2008
Springer
15 years 11 months ago
2008
Springer
With respect to current methods for query evaluation over XML data streams, adoption of certain types of buffering techniques is unavoidable. Under lots of circumstances, the buff...