334 search results - page 21 / 67 » A parametric analysis of the state-explosion problem in mode... |
AAAI
2010
13 years 8 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
In this paper we address the problem of estimating and analyzing the motion in image sequences that involve fluid phenomena. In this context standard motion estimation techniques ...
IANDC
2006
13 years 7 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...