10568 search results - page 779 / 2114 » Computer Intelligence and Formalization |
219
click to vote
BCSHCI
2008
15 years 9 months ago
2008
At the Human Computer Interaction Lab (HCILab) at UNC Charlotte, we investigate novel ways for people to interact with computers, and through computers with their environments. Ou...
190
click to vote
CHI
2011
ACM
14 years 11 months ago
2011
ACM
The ongoing rise of human computation as a means of solving computational problems has created an environment where human workers are often regarded as nameless, faceless computat...
185
click to vote
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
151
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
There has been an increasing interest in developing computational theories of autonomous robots. However the previous work has focused on intelligent modifications to internal com...
215
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...