Sciweavers

562 search results - page 60 / 113
» Design of a Cross-Media Indexing System
Sort
View
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
15 years 5 months ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak
ICVS
2003
Springer
15 years 5 months ago
Efficient Fingertip Tracking and Mouse Pointer Control for a Human Mouse
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
Jiyoung Park, Juneho Yi
ECTEL
2007
Springer
15 years 3 months ago
A Qualitative and Quantitative Evaluation of Adaptive Authoring of Adaptive Hypermedia
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
Maurice Hendrix, Alexandra I. Cristea
SEBD
2008
206views Database» more  SEBD 2008»
15 years 1 months ago
Efficient and Effective Query Answering in a PDMS with SUNRISE
Abstract. Peer Data Management Systems (PDMSs) have been recently proposed as an evolution of Peer-To-Peer (P2P) systems toward a more semantics-based description of peers' co...
Federica Mandreoli, Riccardo Martoglia, Wilma Penz...
SIGMOD
2008
ACM
109views Database» more  SIGMOD 2008»
16 years 7 hour ago
Cooperative XPath caching
Motivated by the fact that XML is increasingly being used in distributed applications, we propose building a cooperative caching scheme for XML documents. Our scheme allows sharin...
Kostas Lillis, Evaggelia Pitoura