4502 search results - page 27 / 901 » Regular Model Checking |
WWW
2001
ACM
14 years 10 months ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
TIME
2009
IEEE
14 years 4 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
ESANN
2004
13 years 11 months ago
2004
Abstract. The regularized Mahalanobis distance is proposed in the framework of finite mixture models to avoid commonly faced numerical difficulties encountered with EM. Its princip...
ICAISC
2004
Springer
14 years 3 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
HLK
2003
IEEE
14 years 3 months ago
2003
IEEE
Three-dimensional morphable models of object classes are a powerful tool in modeling, animation and recognition. We introduce here the new concept of regularized 3D morphable mode...