1585 search results - page 126 / 317 » A framework for computer-aided validation |
126
click to vote
AROBOTS
2010
15 years 3 months ago
2010
The autonomous execution of mobile manipulation tasks in unstructured, dynamic environments requires the consideration of various motion constraints. The task itself imposes constr...
91
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
100
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract: In this contribution, we propose a new framework to evaluate pedestrian simulations by using Extended Range Telepresence. Telepresence is used as a virtual reality walkin...
132
Voted
JUCS
2008
15 years 3 months ago
2008
: We present a distributed learning algorithm for optimizing transit prices in the inter-domain routing framework. We present a combined game theoretical and distributed algorithmi...
138
click to vote
JUCS
2008
15 years 3 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...