740 search results - page 84 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
108
click to vote
ISPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
JFR
2007
15 years 1 months ago
2007
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
BMCBI
2008
15 years 1 months ago
2008
Background: Tiling arrays are an important tool for the study of transcriptional activity, proteinDNA interactions and chromatin structure on a genome-wide scale at high resolutio...
132
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— Using graph theory, this paper investigates how a group of robots, endowed with local positioning (range and bearing from other robots), can be engaged in a leaderfollowing mis...
112
click to vote
HUC
1999
Springer
15 years 5 months ago
1999
Springer
Research frameworks are being developed that involve very young children in the process of development of future technologies. Children, their teachers and parents from schools in ...