279 search results - page 44 / 56 » Constructive Interval Disjunction |
84
Voted
UIST
2009
ACM
15 years 8 months ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
105
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
124
Voted
DAGSTUHL
2003
15 years 3 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 ...
FOCM
2010
15 years 12 days ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
102
Voted
SIAMSC
2010
15 years 7 days ago
2010
We present a new nonlinear optimization procedure for the computation of generalized Gaussian quadratures for a broad class of square integrable functions on intervals. While some ...