1730 search results - page 259 / 346 » Algebra and Computation |
180
Voted
COMGEO
2002
ACM
15 years 3 months ago
2002
ACM
We present a quadtree-based decomposition of the interior of a polygon with holes. The complete decomposition yields a constant factor approximation of the minimum weight Steiner ...
135
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
120
Voted
AAAI
1993
15 years 5 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
121
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
There is growing interest in autonomic computing systems that can optimize their own behavior on different platforms without manual intervention. Examples of successful self-opti...
134
Voted
ISSAC
1997
Springer
15 years 7 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...