4341 search results - page 491 / 869 » Quantitative Model checking |
213
click to vote
MST
2011
15 years 1 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
204
click to vote
JCIT
2010
15 years 1 months ago
2010
A dynamic time delay model for load balancing was proposed in distributed heterogeneous system by Hayat. But how to compute the load-transfer delay and the gain coefficient were n...
242
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel nonlinear, probabilistic and variational method for adding shape information to level setbased segmentation and tracking. Unlike previous work, we represent sha...
195
Voted
CAV
2004
Springer
16 years 5 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
191
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Pattern mining algorithms are often much easier applied than quantitatively assessed. In this paper we address the pattern evaluation problem by looking at both the capability of ...