1914 search results - page 227 / 383 » Abstract lambda-Calculus Machines |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
ICWE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
ISCIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a novel approach to the problem of estimating and tracking 3D locations of multiple targets in a scene using measurements gathered from multiple calib...