153 search results - page 18 / 31 » A Regularization Approach to Metrical Task Systems |
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...
COMPUTER
2002
14 years 11 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
116
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
The need for empirical evaluation metrics and algorithms is well acknowledged in the field of computer vision. The process leads to precise insights to understanding current techn...
110
click to vote
HPDC
2010
IEEE
14 years 12 months ago
2010
IEEE
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...