3657 search results - page 171 / 732 » A Study of Practical Deduplication |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
143
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
A range of mobile services rely on knowing the current positions of populations of so-called moving objects. In the ideal setting, the positions of all objects are known always an...
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
81
Voted
CHI
2010
ACM
15 years 5 months ago
2010
ACM
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
69
Voted
ISEUD
2009
Springer
15 years 4 months ago
2009
Springer
The contemporary practice of medicine, which is concerned both with national standards of audit and innovation through local customisation, is a prime domain for end-user developme...