160 search results - page 19 / 32 » Probabilistic Model Checking and Reliability of Results |
BMVC
2000
13 years 10 months ago
2000
We address the problem of object recognition in computer vision. We represent each model and the scene in the form of Attributed Relational Graph. A multiple region representation...
IPMI
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a method for detection of cerebral white matter hyperintensities (WMH) based on run-time PD-, T1-, and T2weighted structural magnetic resonance (MR) images of t...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
SUTC
2010
IEEE
14 years 15 days ago
2010
IEEE
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...