3742 search results - page 659 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
178
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
164
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
Phylogenetic Bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of th...
164
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
162
click to vote
CEC
2007
IEEE
16 years 19 days ago
2007
IEEE
— Within the present paper, we put forward a novel hybridization between support vector machines and evolutionary algorithms. Evolutionary support vector machines consider the cl...