3686 search results - page 268 / 738 » Comprehensive comprehensions |
103
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
132
click to vote
BMVC
2001
15 years 4 months ago
2001
We present a comprehensive approach to address three challenging problems in face recognition: modelling faces across multi-views, extracting the non-linear discriminating feature...
75
Voted
AAAI
2008
15 years 4 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
AAAI
2007
15 years 4 months ago
2007
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
110
click to vote
USS
2008
15 years 4 months ago
2008
Audit logs are an important tool for post-election investigations, in the event of an election dispute or problem. We propose a new approach to logging that is designed to provide...