1914 search results - page 73 / 383 » Verification by Abstract Interpretation |
102
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
127
click to vote
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
117
Voted
ACCV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
AIME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In present clinical practice, information about the heart electrical activity is routinely gathered through ECG’s, which record electrical potential from just nine site...
111
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...