1259 search results - page 147 / 252 » In search of the memoryless property |
TABLEAUX
1999
Springer
14 years 6 days ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
VISUAL
1999
Springer
14 years 6 days ago
1999
Springer
Abstract. In this paper, we present novel image-derived, invariant features that accurately capture both the geometric and color properties of an imaged object. These features can ...
ASIACRYPT
1998
Springer
14 years 5 days ago
1998
Springer
Abstract. The security of the alleged RC4 stream cipher and some variants is investigated. Cryptanalytic algorithms are developed for a known plaintext attack where only a small se...
CIKM
1998
Springer
14 years 5 days ago
1998
Springer
In this paper we present SPADE, a new algorithm for fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans, and use complex has...
IPPS
1997
IEEE
14 years 4 days ago
1997
IEEE
Torus/mesh-based machines have received increasing attention. It is natural to identify the maximum healthy submeshes in a faulty torus/mesh so as to lower potential performance d...