1333 search results - page 38 / 267 » Termination Detection of Local Computations |
WDAG
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Colon cancer is the second leading cause of cancer-related deaths per year in industrial nations. Virtual colonoscopy is a new, less invasive alternative to the usually practiced ...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
The existing methods for offline training of cascade classifiers take a greedy search to optimize individual classifiers in the cascade, leading inefficient overall performance. W...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Classifying images using features extracted from densely sampled local patches has enjoyed significant success in many detection and recognition tasks. It is also well known that ...
INFORMATICALT
2010
13 years 7 months ago
2010
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...