324 search results - page 24 / 65 » What's in a Step |
AIME
2001
Springer
14 years 3 months ago
2001
Springer
Asbru is a language for specifying treatment plans. These plans are then used by an execution unit to give advice to the medical staff what actions to take (open-loop system). In ...
ICPR
2000
IEEE
14 years 3 months ago
2000
IEEE
Fingerprint enhancement is a critical step in fingerprint identification. Most of the existing enhancement algorithms are based on local ridge direction. The main drawback of thes...
TPHOL
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
IH
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
NSDI
2008
14 years 1 months ago
2008
In 2008, the systems and networks research communities find themselves victims of their own successes. This white paper reviews some of the evidence that the two areas are under e...