Sciweavers

50 search results - page 2 / 10
» Hausdorff Dimension in Exponential Time
Sort
View
FSTTCS
2010
Springer
13 years 2 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre
SDM
2009
SIAM
164views Data Mining» more  SDM 2009»
14 years 2 months ago
Time-Decayed Correlated Aggregates over Data Streams.
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
Graham Cormode, Srikanta Tirthapura, Bojian Xu
CCCG
2010
13 years 6 months ago
Finding minimal bases in arbitrary spline spaces
In this work we describe a general algorithm to find a finite-element basis with minimum total support for an arbitrary spline space, given any basis for that same space. The runn...
Ana Paula Malheiro, Jorge Stolfi
ICALP
2010
Springer
13 years 6 months ago
Parameterized Modal Satisfiability
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
Antonis Achilleos, Michael Lampis, Valia Mitsou
ALGORITHMICA
2007
145views more  ALGORITHMICA 2007»
13 years 5 months ago
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...