2107 search results - page 286 / 422 » Computing Small Search Numbers in Linear Time |
127
Voted
ASSETS
2000
ACM
15 years 7 months ago
2000
ACM
Voice controlled web browsers allow users to navigate by speaking the text of a link or an associated number instead of clicking with a mouse. One such browser is Conversa, by Con...
108
Voted
ECIR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we combine two existing resource selection approaches, CORI and the decision-theoretic framework (DTF). The state-of-the-art system CORI belongs to the large group of...
102
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We prove that the subset sum problem ax = x {0, 1}n (SUB) has a polynomial time computable certificate of infeasibility for all a with density at most 1/(2n), and for almost all ...
120
Voted
DAC
2010
ACM
15 years 18 days ago
2010
ACM
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...
125
Voted
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...