Sciweavers

9698 search results - page 1678 / 1940
» models 2010
Sort
View
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
15 years 5 months ago
Actuated bivalve robot study of the burrowing locomotion in sediment
— This paper presents the design and control of an actuated bivalve robot, which has been developed to study the burrowing locomotion of bivalves in sediment. The setup consists ...
Agathe Koller-Hodac, Daniel Peter Germann, Alexand...
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 5 months ago
Using stereo for object recognition
— 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...
Scott Helmer, David G. Lowe
ICRA
2010
IEEE
172views Robotics» more  ICRA 2010»
15 years 5 months ago
Coordinated multi-robot real-time exploration with connectivity and bandwidth awareness
— While there has been substantial progress for multi-robot exploration of an unknown area, little attention has been given to communication, especially bandwidth constraints in ...
Yuanteng Pei, Matt W. Mutka, Ning Xi
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—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...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
ICST
2010
IEEE
15 years 5 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
« Prev « First page 1678 / 1940 Last » Next »