4609 search results - page 348 / 922 » Automatic Generation of Sigma-Protocols |
202
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
288
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
The emergence of a large number of bioinformatics datasets on the Internet has resulted in the need for flexible and efficient approaches to integrate information from multiple bio...
191
click to vote
COLING
2002
15 years 6 months ago
2002
Today there is a relatively large body of work on automatic acquisition of lexicosyntactical preferences (subcategorization) from corpora. Various techniques have been developed t...
186
Voted
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
188
click to vote
NAR
2000
15 years 6 months ago
2000
ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...