1018 search results - page 121 / 204 » Abstraction and Refinement in Model Checking |
CAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. In this paper we present, evaluate, and discuss two multiscale schemes for modelling grey-level appearance in a deformable model for the segmentation of abdominal aortic ...
IPM
2008
13 years 7 months ago
2008
by studying lawyers, analyse information-seeking at a high level of abstraction and are only likely to lead to broad-scoped design insights. We illustrate that one potentially usef...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
RTCSA
1999
IEEE
14 years 4 days ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...