7623 search results - page 1052 / 1525 » Algorithmic Features of Eclat |
182
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
178
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Automatic tools for analyzing student online discussions are highly desirable for better assistance and scaffolding. This paper presents an approach for automatically identifying s...
251
Voted
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
182
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
168
click to vote
ICES
2001
Springer
15 years 11 months ago
2001
Springer
A system for intrinsic hardware evolution of analog electronic circuits is presented. It consists of a VLSI chip featuring 16 × 16 programmable transistor cells, an FPGA based PCI...