11949 search results - page 2132 / 2390 » Some results on (a:b)-choosability |
127
click to vote
CHES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper discusses the state-of-the-art fast software implementation of block ciphers on Intel’s new microprocessor Core2, particularly concentrating on “bitslice i...
110
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
175
click to vote
CLEAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes Pittsburgh Pattern Recognition’s participation in the face detection and tracking tasks for the CLEAR 2007 evaluation. Since CLEAR 2006, we have ma...
105
click to vote
COCOON
2007
Springer
15 years 8 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
113
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some of...