Sciweavers

3255 search results - page 381 / 651
» Combination of Abstractions in the ASTR
Sort
View
CISC
2009
Springer
174views Cryptology» more  CISC 2009»
15 years 4 months ago
Algebraic Side-Channel Attacks
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
Mathieu Renauld, François-Xavier Standaert
COORDINATION
2009
Springer
15 years 4 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
CP
2009
Springer
15 years 4 months ago
Lazy Clause Generation Reengineered
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
Thibaut Feydy, Peter J. Stuckey
ECIR
2009
Springer
15 years 4 months ago
Active Learning Strategies for Multi-Label Text Classification
Abstract. Active learning refers to the task of devising a ranking function that, given a classifier trained from relatively few training examples, ranks a set of additional unlabe...
Andrea Esuli, Fabrizio Sebastiani
ECTEL
2009
Springer
15 years 4 months ago
Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...
Luis de la Fuente Valentín, Abelardo Pardo,...