1722 search results - page 135 / 345 » Generating Tests from Counterexamples |
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
In this paper, we propose a temporal super resolution approach for quasi-periodic image sequence such as human gait. The proposed method effectively combines examplebased and reco...
CLEF
2008
Springer
14 years 13 days ago
2008
Springer
The VideoCLEF track, introduced in 2008, aims to develop and evaluate tasks related to analysis of and access to multilingual multimedia content. In its first year, VideoCLEF pilo...
BMCBI
2006
13 years 10 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
BMCBI
2007
13 years 10 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
KDD
2005
ACM
14 years 11 months ago
2005
ACM
Weblogs and message boards provide online forums for discussion that record the voice of the public. Woven into this mass of discussion is a wide range of opinion and commentary a...