6978 search results - page 1268 / 1396 » On Proofs in System P |
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
Generative models such as statistical language modeling have been widely studied in the task of expert search to model the relationship between experts and their expertise indicat...
FCCM
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract--The Cibola Flight Experiment (CFE) is an experimental small satellite developed at the Los Alamos National Laboratory to demonstrate the feasibility of using FPGA-based r...
ICADL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a keyphrase extraction algorithm for scientific publications. Different from previous work, we introduce features that capture the positions of phrases in docu...
ACSAC
2004
IEEE
14 years 27 days ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
ACNS
2006
Springer
14 years 27 days ago
2006
Springer
In this paper we combine the error correction and encryption functionality into one block cipher, which we call High Diffusion (HD) cipher. The error correcting property of this ci...