Sciweavers

1420 search results - page 172 / 284
» Representation of Graphs by OBDDs
Sort
View
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
16 years 3 days ago
A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
Ernesto Staffetti, Wim Meeussen, Jing Xiao
ICRA
2005
IEEE
126views Robotics» more  ICRA 2005»
16 years 3 days ago
A Coverage Algorithm for Multi-robot Boundary Inspection
— This paper introduces the multi-robot boundary coverage problem, wherein a group of k robots must inspect every point on the boundary of a 2-dimensional test environment. Using...
Kjerstin Easton, Joel Burdick
ISSTA
2000
ACM
15 years 11 months ago
OMEN: A strategy for testing object-oriented software
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
Amie L. Souter, Lori L. Pollock
SSPR
1998
Springer
15 years 10 months ago
Tracking of Rotating Objects
Abstract. A representation of a three-dimensional object is autonomously learned from a sequence of the rotating object. The representation consists of single views in form of grap...
Gabriele Peters, Christian Eckes, Christoph von de...
FDL
2004
IEEE
15 years 10 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann