Sciweavers

2143 search results - page 199 / 429
» corr 2010
Sort
View
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 6 months ago
Temporal Logics on Words with Multiple Data Values
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
Ahmet Kara, Thomas Schwentick, Thomas Zeume
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 6 months ago
A lower bound for the tree-width of planar graphs with vital linkages
The disjoint paths problem asks, given an graph G and k + 1 pairs of terminals (s0, t0), . . . , (sk, tk), whether there are k + 1 pairwise disjoint paths P0, . . . , Pk, such tha...
Isolde Adler, Philipp Klaus Krause
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 5 months ago
Discovering shared and individual latent structure in multiple time series
This paper proposes a nonparametric Bayesian method for exploratory data analysis and feature construction in continuous time series. Our method focuses on understanding shared fe...
Suchi Saria, Daphne Koller, Anna Penn
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 5 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
CORR
2010
Springer
228views Education» more  CORR 2010»
15 years 5 months ago
Sparse Inverse Covariance Selection via Alternating Linearization Methods
Gaussian graphical models are of great interest in statistical learning. Because the conditional independencies between different nodes correspond to zero entries in the inverse c...
Katya Scheinberg, Shiqian Ma, Donald Goldfarb