Sciweavers

4218 search results - page 200 / 844
» Complete sets of cooperations
Sort
View
CCCG
2008
15 years 2 months 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 ...
57
Voted
NIPS
2007
15 years 2 months 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
108
Voted
INTERACT
2003
15 years 2 months 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
108
Voted
CSL
2010
Springer
15 years 1 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
77
Voted
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 23 days 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, ...