334 search results - page 21 / 67 » A parametric analysis of the state-explosion problem in mode... |
AAAI
2010
15 years 2 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...
118
Voted
TASE
2007
IEEE
15 years 7 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...
137
Voted
ICCV
1999
IEEE
16 years 2 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 ...
134
Voted
IANDC
2006
15 years 24 days 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 ...
89
Voted
HYBRID
2007
Springer
15 years 7 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...