577 search results - page 57 / 116 » Computing Rational Bisectors |
CADE
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
ICPP
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...
VL
2002
IEEE
14 years 24 days ago
2002
IEEE
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
COMGEO
2006
ACM
13 years 8 months ago
2006
ACM
Let S be a finite set of points in the plane and let T (S) be the set of intersection points between pairs of lines passing through any two points in S. We characterize all configu...