2465 search results - page 97 / 493 » Automata on Linear Orderings |
IPL
2008
13 years 9 months ago
2008
Abstract. We establish linear-time reductions between the minimization of a deterministic finite automaton (DFA) and the conjunction of 3 subproblems: the minimization of a strongl...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
- Video sequences are compressed by processing individual macroblocks within frames. Traditional macroblock order of processing is linear from the left to the right, and from the t...
DSN
2006
IEEE
14 years 3 months ago
2006
IEEE
Total order broadcast is a fundamental communication primitive that plays a central role in bringing cheap software-based high availability to a wide array of services. This paper...
ASIACRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Universal One-Way Hash Functions (UOWHFs) are families of cryptographic hash functions for which first a target input is chosen and subsequently a key which selects a member from ...