712 search results - page 101 / 143 » The Complexity of Constructing Evolutionary Trees Using Expe... |
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
118
Voted
CVPR
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract: This paper proposes a novel approach to nonrigid, markerless motion capture from synchronized video streams acquired by calibrated cameras. The instantaneous geometry of ...
116
Voted
AIIA
1991
Springer
15 years 1 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
BMCBI
2010
14 years 10 months ago
2010
Background: Accurate prediction of antigenic epitopes is important for immunologic research and medical applications, but it is still an open problem in bioinformatics. The case f...
CVPR
2008
IEEE
16 years 8 days ago
2008
IEEE
Straightforward classification using kernelized SVMs requires evaluating the kernel for a test vector and each of the support vectors. For a class of kernels we show that one can ...