4502 search results - page 502 / 901 » Regular Model Checking |
180
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
181
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We address the problem of estimating the three-dimensional shape and radiance of a surface in space from images obtained with different focal settings. We pose the problem as an in...
170
Voted
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we address the problem of simultaneous estimation of structure and restoration of images from blurred photometric measurements. Given the blurred observations of a s...
173
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
150
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...