3406 search results - page 429 / 682 » General Search Algorithms for Energy Minimization Problems |
179
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
205
click to vote
CSREAESA
2003
15 years 8 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
176
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...
173
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
We derive a branch-and-bound algorithm to find an optimal inversion median of three signed permutations. The algorithm prunes to manageable size an extremely large search tree usi...
174
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
2. Character Recognition System The paper is about the problem of finding good prototypes for a condensed nearest neighbor classifiei- in a recognition system. A comparison study ...