5879 search results - page 96 / 1176 » Separation - Past, Present, and Future |
186
click to vote
SWWS
2008
15 years 7 months ago
2008
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...
143
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
: This work presents initial findings from an investigation into the use of otoacoustic emissions (OAEs) for identifying individuals. A data set of 2009 neonate transient otoacous...
128
click to vote
CATA
2001
15 years 7 months ago
2001
In this paper, we present a novel eyelash detection model based on three criterions: 1) separable eyelash condition, 2) non-informative condition and 3) connective criterion. The f...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
141
click to vote
BROADNETS
2007
IEEE
16 years 21 days ago
2007
IEEE
—Attacks launched over the Internet have become a pressing problem. Attackers make use of a variety of techniques to anonymize their traffic, in order to escape detection and pr...