12193 search results - page 208 / 2439 » It's not all about |
195
click to vote
DM
1998
15 years 6 months ago
1998
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...
160
click to vote
SACRYPT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
168
click to vote
SPIN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
190
click to vote
ISPW
1994
IEEE
15 years 10 months ago
1994
IEEE
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
138
click to vote
NAACL
1994
15 years 7 months ago
1994
Information about words--their pronunciation, syntax and meaning--is a crucial and costly part of human language technology. Many questions remain about the best way to express an...