16 search results - page 2 / 4 » Show Me! Guidelines for Producing Recorded Demonstrations |
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
We describe an empirical study that sought general guidelines for task allocation strategies in multi-robot systems. We identify four distinct task allocation strategies, and demo...
ITNG
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper demonstrates the feasibility and potential of applying empirical mode decomposition (EMD) to forecast the arrival time behaviors in a parallel batch system. An analysis...
UAI
2003
13 years 6 months ago
2003
This paper considers a method that combines ideas from Bayesian learning, Bayesian network inference, and classical hypothesis testing to produce a more reliable and robust test o...
IVIC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we deal with the problem of detecting emotions from the body movements produced by naturally connected action sequences. Although action sequences are one o...