523 search results - page 33 / 105 » Symbolic Test Selection Based on Approximate Analysis |
AB
2007
Springer
14 years 1 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper extends the Boltzmann Selection, a method in EDA with theoretical importance, from discrete domain to the continuous one. The difficulty of estimating the exact Boltzma...
ICSM
2003
IEEE
14 years 27 days ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/
For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
JCB
2008
13 years 7 months ago
2008
Large-scale whole genome association studies are increasingly common, due in large part to recent advances in genotyping technology. With this change in paradigm for genetic studi...