1168 search results - page 107 / 234 » cases 2000 |
147
Voted
ADBIS
2000
Springer
15 years 9 months ago
2000
Springer
Data collected in many applications have a form of sequences of events. One of the popular data mining problems is discovery of frequently occurring episodes in such sequences. Eff...
120
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
We establish, for the first time, an explicit and simple lower bound on the nonlinearity Nf of a Boolean function f of n variables satisfying the avalanche criterion of degree p, ...
145
Voted
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
158
Voted
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
134
Voted
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...