613 search results - page 2 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
ACL
2010
13 years 2 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
BIRTHDAY
2009
Springer
13 years 11 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
CVPR
2006
IEEE
13 years 8 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
HYBRID
2007
Springer
13 years 11 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...