Sciweavers

4084 search results - page 415 / 817
» Constraints in spatial structures
Sort
View
IROS
2008
IEEE
157views Robotics» more  IROS 2008»
16 years 2 months ago
Cooperative navigation using environment compliant robot formations
— This paper reports an autonomous cooperative navigation system for robot formations in realistic scenarios. The formation movement control is based on a virtual structure compo...
Pablo Urcola, L. Riazuelo, M. T. Lazaro, Luis Mont...
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
16 years 2 months ago
Combining motion from texture and lines for visual navigation
— Two novel methods for computing 3D structure information from video for a piecewise planar scene are presented. The first method is based on a new line constraint, which clear...
Konstantinos Bitsakos, Li Yi, Cornelia Fermül...
3DIM
2005
IEEE
16 years 1 months ago
Stereo by Multiperspective Imaging under 6 DOF Camera Motion
Multiperspective imaging has been used to recover the structure of a scene. Although several algorithms for structure recovery have been developed as typified by stereo panoramas...
Naoyuki Ichimura
ICTAC
2005
Springer
16 years 1 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 1 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet