7623 search results - page 1047 / 1525 » Algorithmic Features of Eclat |
203
click to vote
LPAR
2004
Springer
16 years 6 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
185
click to vote
ROBOCUP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Robot recognition is a very important point for further improvements in game-play in RoboCup middle size league. In this paper we present a neural recognition method we d...
154
click to vote
SACRYPT
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we describe the design of a new family of block ciphers based on a Lai-Massey scheme, named FOX. The main features of this design, besides a very high security level...
185
click to vote
SAT
2004
Springer
16 years 6 days ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
184
Voted
SDMW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements an...