1433 search results - page 123 / 287 » An approach to detecting failures automatically |
148
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
159
click to vote
ACL
1993
15 years 7 months ago
1993
We propose a plan-based approach for responding to user queries in a collaborative environment. We argue that in such an environment, the system should not accept the user's ...
156
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
174
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
This paper concerns a method to automatically detect drusen in a retinal image without human supervision or interaction. We use a multi-level approach, beginning with classificatio...
180
click to vote
CVPR
2006
IEEE
16 years 17 days ago
2006
IEEE
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...