4609 search results - page 674 / 922 » Automatic Generation of Sigma-Protocols |
185
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
218
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
200
click to vote
ACSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
176
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
172
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...