Sciweavers

4218 search results - page 200 / 844
» Complete sets of cooperations
Sort
View
CCCG
2008
14 years 7 days ago
A Distributed Algorithm for Computing Voronoi Diagram in the Unit Disk Graph Model
We study the problem of computing Voronoi diagrams distributedly for a set of nodes of a network modeled as a Unit Disk Graph (UDG). We present an algorithm to solve this problem ...
Yurai Núñez Rodríguez, Henry ...
NIPS
2007
14 years 6 days ago
Augmented Functional Time Series Representation and Forecasting with Gaussian Processes
We introduce a functional representation of time series which allows forecasts to be performed over an unspecified horizon with progressively-revealed information sets. By virtue...
Nicolas Chapados, Yoshua Bengio
INTERACT
2003
14 years 4 days ago
Visualization and Analysis of Formula One Racing Results with InfoZoom - the Demo
Abstract: We show the application of the data analysis tool InfoZoom to a database of Formula One racing results. The user can interactively explore different tabular visualisation...
Michael Spenke, Christian Beilken
CSL
2010
Springer
13 years 12 months ago
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
Yijia Chen, Jörg Flum
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 11 months ago
A connection between palindromic and factor complexity using return words
In this paper we prove that for any infinite word w whose set of factors is closed under reversal, the following conditions are equivalent: (I) all complete returns to palindromes...
Michelangelo Bucci, Alessandro De Luca, Amy Glen, ...