Sciweavers

4084 search results - page 415 / 817
» Constraints in spatial structures
Sort
View
IROS
2008
IEEE
157views Robotics» more  IROS 2008»
16 years 1 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 1 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 13 days 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 10 days 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
181
Voted
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 5 days 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