4814 search results - page 851 / 963 » Combining abstract interpreters |
162
click to vote
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
144
click to vote
CISC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
131
Voted
COORDINATION
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
132
click to vote
CP
2009
Springer
15 years 1 months ago
2009
Springer
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...
148
Voted
ECIR
2009
Springer
15 years 1 months ago
2009
Springer
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...