4636 search results - page 416 / 928 » Modelling and Validation with VipTool |
206
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
194
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
177
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
182
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— There has been significant progress recently in object recognition research, but many of the current approaches still fail for object classes with few distinctive features, an...
196
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...