577 search results - page 57 / 116 » Computing Rational Bisectors |
175
click to vote
CADE
2012
Springer
13 years 5 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...
127
click to vote
ICPP
2009
IEEE
15 years 10 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...
115
click to vote
VLSID
2008
IEEE
16 years 3 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 ...
124
click to vote
VL
2002
IEEE
15 years 8 months 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 ...
139
click to vote
COMGEO
2006
ACM
15 years 3 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...