602 search results - page 23 / 121 » Efficient Model Checking of Applications with Input Output |
CAIP
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— Point stabilization of an underactuated vehicle is most often accomplished using a periodic time-varying control law, resulting in oscillatory trajectories. We present a two-st...
VMV
2001
13 years 9 months ago
2001
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...