1024 search results - page 152 / 205 » Compositional Methods for Probabilistic Systems |
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
CAV
1998
Springer
14 years 11 hour ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Patent text is a rich source to discover technological progresses, useful to understand the trend and forecast upcoming advances. For the importance in mind, several researchers h...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...