Sciweavers

1370 search results - page 19 / 274
» On the Consistent Observation of Active Systems
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 4 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
ICRA
2010
IEEE
127views Robotics» more  ICRA 2010»
14 years 10 months ago
Consistent mapping of multistory buildings by introducing global constraints to graph-based SLAM
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
Michael Karg, Kai M. Wurm, Cyrill Stachniss, Klaus...
AGTIVE
2007
Springer
15 years 5 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...
IPPS
1999
IEEE
15 years 4 months ago
A Consistent History Link Connectivity Protocol
The RAIN (Reliable Array of Independent Nodes) project at Caltech is focusing on creating highly reliable distributed systems by leveraging commercially available personal compute...
Paul S. LeMahieu, Jehoshua Bruck
3DPVT
2006
IEEE
239views Visualization» more  3DPVT 2006»
15 years 5 months ago
Self-Calibration of Multiple Laser Planes for 3D Scene Reconstruction
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
Ryo Furukawa, Hiroshi Kawasaki