Sciweavers

10406 search results - page 339 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
15 years 10 months ago
Robust Self-Localization in Industrial Environments based on 3D Ceiling Structures
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
Oliver Wulf, Daniel Lecking, Bernardo Wagner
SAC
2009
ACM
15 years 11 months ago
Body-and-cad geometric constraint systems
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, ...
SMILE
1998
Springer
15 years 8 months ago
Interactive 3D Modeling from Multiple Images Using Scene Regularities
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
Heung-Yeung Shum, Richard Szeliski, Simon Baker, M...
RTS
2010
90views more  RTS 2010»
15 years 3 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
140
Voted
WADT
1998
Springer
15 years 8 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...