1722 search results - page 113 / 345 » Generating Tests from Counterexamples |
CVPR
2004
IEEE
15 years 24 days ago
2004
IEEE
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...
SIP
2003
14 years 4 days ago
2003
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
JCC
2008
13 years 10 months ago
2008
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...
COLING
2010
13 years 5 months ago
2010
A new approach has been developed for acquiring bilingual web pages from the result pages of search engines, which is composed of two challenging tasks. The first task is to detec...
CIARP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this work we propose a new method to create neural network ensembles. Our methodology develops over the conventional technique of bagging, where multiple classifiers ...