7228 search results - page 1078 / 1446 » From Algorithmic to Subjective Randomness |
116
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
134
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
This paper proposes a model of approach behavior with which a robot can initiate conversation with people who are walking. We developed the model by learning from the failures in ...
142
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
144
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
122
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...