740 search results - page 124 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
107
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Recent years are seeing a renewed interest in general multi-robot architectures, capable of automating coordination. However, few architectures explore integration of multiple ...
108
click to vote
DEXA
2006
Springer
15 years 3 months ago
2006
Springer
Geographic information systems (GIS) must support large georeferenced data sets. Due to the size of these data sets finding exact answers to spatial queries can be very time consum...
103
click to vote
FPLAY
2008
15 years 2 months ago
2008
Based on research that studied the challenges and difficulties faced by students taking games studies and game design courses, we propose that, while many students enrolled in gam...
141
click to vote
CASCON
1996
15 years 2 months ago
1996
Monitoring distributed systems involves the collection, analysis, and display of interactions among managed objects. These functions are carried out by the components of a monitor...
120
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
In designing for engagement at a public multi-touch installation, we identified supporting multiple users and allowing for gradual discovery as challenges. In this paper, we prese...