Sciweavers

720 search results - page 109 / 144
» Linear k-arboricities on trees
Sort
View
PODC
2003
ACM
14 years 4 months ago
A lattice-theoretic characterization of safety and liveness
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
Panagiotis Manolios, Richard J. Trefler
SSD
2001
Springer
162views Database» more  SSD 2001»
14 years 3 months ago
Interval Sequences: An Object-Relational Approach to Manage Spatial Data
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl
CPM
2006
Springer
182views Combinatorics» more  CPM 2006»
14 years 2 months ago
Theoretical and Practical Improvements on the RMQ-Problem, with Applications to LCA and LCE
The Range-Minimum-Query-Problem is to preprocess an array such that the position of the minimum element between two specified indices can be obtained efficiently. We present a dire...
Johannes Fischer, Volker Heun
WAE
2001
281views Algorithms» more  WAE 2001»
14 years 15 days ago
Using PRAM Algorithms on a Uniform-Memory-Access Shared-Memory Architecture
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
David A. Bader, Ajith K. Illendula, Bernard M. E. ...
PAMI
2008
179views more  PAMI 2008»
13 years 11 months ago
Modeling, Clustering, and Segmenting Video with Mixtures of Dynamic Textures
A dynamic texture is a spatio-temporal generative model for video, which represents video sequences as observations from a linear dynamical system. This work introduces the mixtur...
Antoni B. Chan, Nuno Vasconcelos