131 search results - page 10 / 27 » Solution Enumeration for Projected Boolean Search Problems |
ERCIMDL
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. Citation indexes are valuable tools for research, in part because they provide a means with which to measure the relative impact of articles in a collection of scientifi...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
CORR
2002
Springer
13 years 6 months ago
2002
Springer
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
ICPR
2008
IEEE
14 years 1 months ago
2008
IEEE
Many existing human detection systems are based on sub-window classification, namely detection is done by enumerating rectangular sub-images in the 2D image space. Detection rate...
ICCAD
2009
IEEE
13 years 4 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...