1104 search results - page 63 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
FGR
2006
IEEE
14 years 14 days ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
We propose a novel Active Volume Model (AVM) which deforms in a free-form manner to minimize energy. Unlike Snakes and level-set active contours which only consider curves or surfa...
RECOMB
2002
Springer
14 years 9 months ago
2002
Springer
In the class of repeated sequences that occur in DNA, minisatellites have been found polymorphic and became useful tools in genetic mapping and forensic studies. They consist of a...