1999 search results - page 236 / 400 » Finding Reductions Automatically |
110
click to vote
ICIS
2000
15 years 3 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
88
Voted
ANLP
1997
15 years 3 months ago
1997
We describe and experimentally evaluate an efficient method for automatically determining small clause boundaries in spontaneous speech. Our method applies an artificial neural ne...
106
click to vote
CIDR
2009
15 years 2 months ago
2009
Today's sequencing technology allows sequencing an individual genome within a few weeks for a fraction of the costs of the original Human Genome project. Genomics labs are fa...
108
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...