Sciweavers

866 search results - page 133 / 174
» Incremental Class Testing from a Class Test Order
Sort
View
OOPSLA
2007
Springer
15 years 8 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
SMI
2006
IEEE
123views Image Analysis» more  SMI 2006»
15 years 8 months ago
Selecting Distinctive 3D Shape Descriptors for Similarity Retrieval
Databases of 3D shapes have become widespread for a variety of applications, and a key research problem is searching these databases for similar shapes. This paper introduces a me...
Philip Shilane, Thomas A. Funkhouser
ICMLA
2009
14 years 11 months ago
Regularizing the Local Similarity Discriminant Analysis Classifier
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
Luca Cazzanti, Maya R. Gupta
ATAL
2009
Springer
15 years 8 months ago
Caching schemes for DCOP search algorithms
Distributed Constraint Optimization (DCOP) is useful for solving agent-coordination problems. Any-space DCOP search algorithms require only a small amount of memory but can be spe...
William Yeoh, Pradeep Varakantham, Sven Koenig
ICCV
2009
IEEE
16 years 7 months ago
Automatic annotation of human actions in video
This paper addresses the problem of automatic temporal annotation of realistic human actions in video using mini- mal manual supervision. To this end we consider two asso- ciate...
Olivier Duchenne, Ivan Laptev, Josef Sivic, Franci...