160 search results - page 24 / 32 » Exact Real Arithmetic Systems: Results of Competition |
106
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
126
Voted
SIGMOD
2003
ACM
15 years 11 months ago
2003
ACM
We consider the problem of approximating sliding window joins over data streams in a data stream processing system with limited resources. In our model, we deal with resource cons...
103
click to vote
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
FCCM
1998
IEEE
15 years 3 months ago
1998
IEEE
Over the past year we have been exploring the use of FPGA-based custom computing machines for several sonar beamforming applications, including time-domain beamforming[1], frequen...
88
Voted
EUROPAR
2007
Springer
15 years 5 months ago
2007
Springer
The dominant eigenvector of matrices defined by weighted links in overlay networks plays an important role in many peer-to-peer applications. Examples include trust management, im...