759 search results - page 100 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
127
Voted
ICIP
2005
IEEE
16 years 2 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...
110
Voted
ECOOP
2006
Springer
15 years 2 months 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 ...
104
Voted
FMSD
2006
15 years 16 days 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...
108
Voted
DAS
2008
Springer
15 years 2 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...
102
click to vote
FLAIRS
2006
15 years 1 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...