1494 search results - page 57 / 299 » Less Extreme Programming |
MICAI
2000
Springer
15 years 3 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
KDD
2006
ACM
16 years 7 days ago
2006
ACM
Let R be a set of objects. An object o R is an outlier, if there exist less than k objects in R whose distances to o are at most r. The values of k, r, and the distance metric ar...
IJCV
2007
14 years 11 months ago
2007
This paper presents a method based on AdaBoost to identify the sex of a person from a low resolution grayscale picture of their face. The method described here is implemented in a...
HASKELL
2009
ACM
15 years 6 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...