2465 search results - page 250 / 493 » Automata on Linear Orderings |
95
Voted
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
86
Voted
DAGM
1997
Springer
15 years 4 months ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
77
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...
97
Voted
ICA
2007
Springer
15 years 4 months ago
2007
Springer
In a previous work, the authors have introduced a Mixture of Laplacians model in order to cluster the observed data into the sound sources that exist in an underdetermined two-sens...
93
Voted
ASAP
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...