1914 search results - page 227 / 383 » Abstract lambda-Calculus Machines |
135
click to vote
ICCS
2005
Springer
15 years 10 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...
153
Voted
ICWE
2005
Springer
15 years 10 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...
130
click to vote
ISCIS
2005
Springer
15 years 10 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 ...
133
Voted
LCPC
2005
Springer
15 years 10 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...
146
click to vote
MLMI
2005
Springer
15 years 10 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...