2302 search results - page 254 / 461 » Testing as Abstraction |
167
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
175
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Motion planning of deformable objects is challenging due to the high degrees-of-freedom inherent in deformation as well as the computational cost of producing physically...
199
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
173
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
170
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...