Sciweavers

CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 5 months ago
The Octagon Abstract Domain
Antoine Miné
CORR
2007
Springer
130views Education» more  CORR 2007»
13 years 5 months ago
Characterization of Search Engine Caches
Search engines provide cached copies of indexed content so users will have something to “click on” if the remote resource is temporarily or permanently unavailable. Depending ...
Frank McCown, Michael L. Nelson
CORR
2007
Springer
89views Education» more  CORR 2007»
13 years 5 months ago
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Joost Engelfriet, Hendrik Jan Hoogeboom
CORR
2007
Springer
76views Education» more  CORR 2007»
13 years 5 months ago
Portlet Wrappers using JavaScript
In this paper we extend the classical portal (with static portlets) design with HTML DOM Web clipping on the client browser using dynamic JavaScript portlets: the portal server su...
Paul Fodor
CORR
2007
Springer
88views Education» more  CORR 2007»
13 years 5 months ago
Target assignment for robotic networks: asymptotic performance under limited communication
— We are given an equal number of mobile robotic agents, and distinct target locations. Each agent has simple integrator dynamics, a limited communication range, and knowledge of...
Stephen L. Smith, Francesco Bullo
CORR
2007
Springer
132views Education» more  CORR 2007»
13 years 5 months ago
Automatic Structures: Richness and Limitations
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
Bakhadyr Khoussainov, André Nies, Sasha Rub...
CORR
2007
Springer
106views Education» more  CORR 2007»
13 years 5 months ago
Bandit Algorithms for Tree Search
Bandit based methods for tree search have recently gained popularity when applied to huge trees, e.g. in the game of go [6]. Their efficient exploration of the tree enables to ret...
Pierre-Arnaud Coquelin, Rémi Munos
CORR
2007
Springer
146views Education» more  CORR 2007»
13 years 5 months ago
Coding for Errors and Erasures in Random Network Coding
Abstract—The problem of error-control in random linear network coding is considered. A “noncoherent” or “channel oblivious” model is assumed where neither transmitter nor...
Ralf Koetter, Frank R. Kschischang