98 search results - page 16 / 20 » Probabilistic Verification for |
AI
2008
Springer
13 years 10 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
DKE
2008
13 years 10 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
ECCV
2006
Springer
14 years 12 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
CAV
2010
Springer
14 years 1 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...
DAGSTUHL
2006
13 years 11 months ago
2006
In this chapter, we aim to connect the areas of object categorization and figure-ground segmentation. We present a novel method for the categorization of unfamiliar objects in diff...