3991 search results - page 271 / 799 » Bounding homogeneous models |
178
click to vote
CIE
2009
Springer
16 years 2 months ago
2009
Springer
We introduce the parameter cutwidth for the Cutting Planes (CP) system of Gomory and Chv´atal. We provide linear lower bounds on cutwidth for two simple polytopes. Considering CP ...
195
click to vote
FSTTCS
2004
Springer
16 years 24 days ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
178
click to vote
FOCS
2003
IEEE
16 years 21 days ago
2003
IEEE
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
213
click to vote
ICCAD
2003
IEEE
16 years 21 days ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
206
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...