3991 search results - page 333 / 799 » Bounding homogeneous models |
171
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
199
click to vote
IEEECIT
2005
IEEE
16 years 14 days ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
209
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Probabilistic model building methods can render difficult problems feasible by identifying and exploiting dependencies. They build a probabilistic model from the statistical prope...
190
Voted
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
315
Voted
AIME
2003
Springer
16 years 3 days ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...