759 search results - page 100 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
Recently, it was proven empirically that facial expressions can be modelled as isometries, that is, geodesic distances on the facial surface were shown to be significantly less se...
ECOOP
2006
Springer
14 years 3 days ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
FMSD
2006
13 years 10 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
DAS
2008
Springer
13 years 12 months ago
2008
Springer
We describe experimental results for unsupervised recognition of the textual contents of book-images using fully automatic mutual-entropy-based model adaptation. Each experiment s...
FLAIRS
2006
13 years 11 months ago
2006
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...