1222 search results - page 47 / 245 » A Bayesian Approach to Model Checking Biological Systems |
153
click to vote
COGSR
2011
15 years 1 months ago
2011
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
188
click to vote
TCSV
2010
15 years 21 days ago
2010
Abstract--We present a novel tracking method for effectively tracking objects in structured environments. The tracking method finds applications in security surveillance, traffic m...
162
click to vote
CTW
2006
15 years 6 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
165
click to vote
TCSV
2010
15 years 21 days ago
2010
In this paper, from the viewpoint of scene understanding, a 3-layer Bayesian hierarchical framework (BHF) is proposed for robust vacant parking space detection. In practice, the ch...
151
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...