CORR
2011
Springer
13 years 2 months ago
2011
Springer
In the 21st century, Aerial and satellite images are information rich. They are also complex to analyze. For GIS systems, many features require fast and reliable extraction of ope...
CORR
2011
Springer
13 years 2 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...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In this paper, we present the design of a scalable, distributed stream processing system for RFID tracking and monitoring. Since RFID data lacks containment and location informati...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Online learning algorithms have impressive convergence properties when it comes to risk minimization and convex games on very large problems. However, they are inherently sequenti...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
