Sciweavers

2143 search results - page 245 / 429
» corr 2010
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
Scalable XML Collaborative Editing with Undo short paper
Abstract. Commutative Replicated Data-Type (CRDT) is a new class of algorithms that ensures scalable consistency of replicated data. It has been successfully applied to collaborati...
Stéphane Martin, Pascal Urso, Stépha...
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Eigenvalue Results for Large Scale Random Vandermonde Matrices with Unit Complex Entries
Abstract--This paper centers on the limit eigenvalue distribution for random Vandermonde matrices with unit magnitude complex entries. The phases of the entries are chosen independ...
Gabriel H. Tucci, Philip A. Whiting
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 6 months ago
Stochastic Flips on Two-letter Words
This paper introduces a simple Markov process inspired by the problem of quasicrystal growth. It acts over two-letter words by randomly performing flips, a local transformation whi...
Olivier Bodini, Thomas Fernique, Damien Regnault
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 6 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 6 months ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...