3909 search results - page 269 / 782 » Extreme Model Checking |
133
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
126
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we proposes an effective and novel approach to recognize subtle facial expression method which is facial expression deformation. The proposed method deforms subtle ...
108
click to vote
JCB
2007
15 years 3 months ago
2007
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
127
Voted
SIAMDM
2000
15 years 3 months ago
2000
We present a mathematical model for network routing based on generating paths in a consistent direction. Our development is based on an algebraic and geometric framework for defini...
104
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...