2005 search results - page 369 / 401 » Decisive Markov Chains |
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Sequential random sampling (`Markov Chain Monte-Carlo') is a popular strategy for many vision problems involving multimodal distributions over high-dimensional parameter spac...
103
click to vote
IPMI
2009
Springer
16 years 19 days ago
2009
Springer
This paper presents a method for estimating uncertainty in MRI-based brain region delineations provided by fully-automated segmentation methods. In large data sets, the uncertainty...
111
click to vote
SIGSOFT
2009
ACM
16 years 16 days ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
117
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...