2907 search results - page 20 / 582 » Presentations of Structures in Admissible Sets |
ICASSP
2011
IEEE
13 years 5 days ago
2011
IEEE
In this paper, we present a lower-bound estimate for dynamic time warping (DTW) on time series consisting of multi-dimensional posterior probability vectors known as posteriorgram...
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image recons...
ASP
2003
Springer
14 years 1 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
VMCAI
2012
Springer
12 years 4 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...