1364 search results - page 272 / 273 » Comparative Branching-Time Semantics |
142
Voted
AND
2009
14 years 11 months ago
2009
In this paper, we propose an alternative method for accessing the content of Greek historical documents printed during the 17th and 18th centuries by searching words directly in d...
146
Voted
HRI
2009
ACM
14 years 11 months ago
2009
ACM
This paper reports on the evaluation of the ICRA 2008 Human-Robot Interaction (HRI) Challenge. Five research groups demonstrated state-of-the-art work on HRI with a special focus ...
135
Voted
GIS
2010
ACM
14 years 11 months ago
2010
ACM
Research on Moving Object Databases (MOD) has resulted in sophisticated query mechanisms for moving objects and regions. Wireless Sensor Networks (WSN) support a wide range of app...
111
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
According to cognitive science literature, human memory is predicated on contextual cues (e.g., room, music) in the environment. During recall tasks, we associate information/acti...
146
Voted
JCDL
2011
ACM
14 years 4 months ago
2011
ACM
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...