503 search results - page 23 / 101 » Equality In Lazy Computation Systems |
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
The Support Vector Machine (SVM) solution corresponds to the centre of the largest sphere inscribed in version space. Alternative approaches like Bayesian Point Machines (BPM) and...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
—In the next generation mobile communication systems, high-speed and high-quality packet data services are demanded. Hybrid ARQ (HARQ) is known as one of the promising error cont...
RTCSA
2009
IEEE
14 years 4 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
LFP
1990
13 years 10 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...