1214 search results - page 173 / 243 » Generalized Multi-sensor Planning |
SAC
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
SIGCSE
2010
ACM
14 years 4 months ago
2010
ACM
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
This research focuses on the topic of interactive surfaces, especially those which embody kinetic interactions. Through the research, I will provide a definition and a theoretical...
DAC
2009
ACM
14 years 4 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...
HRI
2009
ACM
14 years 4 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 ...