Sciweavers

304 search results - page 46 / 61
» Solving Generalized Small Inverse Problems
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Dynamic generation and execution of human aware navigation plans
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
Thibault Kruse, Alexandra Kirsch, Emrah Akin Sisbo...
ATAL
2010
Springer
13 years 8 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
JAIR
2008
130views more  JAIR 2008»
13 years 7 months ago
Online Planning Algorithms for POMDPs
Partially Observable Markov Decision Processes (POMDPs) provide a rich framework for sequential decision-making under uncertainty in stochastic domains. However, solving a POMDP i...
Stéphane Ross, Joelle Pineau, Sébast...
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 7 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
ERSA
2010
199views Hardware» more  ERSA 2010»
13 years 5 months ago
Reconfigurable Sparse Matrix-Vector Multiplication on FPGAs
Cache-based, general purpose CPUs perform at a small fraction of their maximum floating point performance when executing memory-intensive simulations, such as those required for sp...
Russell Tessier, Salma Mirza, J. Blair Perot