9626 search results - page 158 / 1926 » Invariant Based Programming |
137
click to vote
FMCAD
2007
Springer
16 years 12 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
163
click to vote
MIRAGE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper is concerned itself with the analysis of the twophase Mumford-Shah model also known as the active contour without edges model introduced by Chan and Vese. It c...
154
Voted
CIG
2005
IEEE
15 years 12 months ago
2005
IEEE
— We study by computer simulation a population of individuals playing the prisoner’s dilemma game. Each player has an invariable strategy (cooperate or defect) but the network ...
158
click to vote
ICCV
2005
IEEE
15 years 12 months ago
2005
IEEE
In this study we present a Y-feature extraction method for registering color and fluorescein angiograms of the retina. The registration of multimodal fluorescein imagery requires ...
137
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...