5553 search results - page 809 / 1111 » Parallel Implementation of Sch |
165
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
138
click to vote
ILP
2004
Springer
16 years 1 days ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
144
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
The realisation and evaluation of a musical key extraction algorithm that works directly on raw audio data is presented. Its implementation is based on models of human auditory pe...
148
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
We propose an adaptive middleware design for context-aware applications that abstracts the applications from the sensors that provide context. Further, we use application-specifi...
161
click to vote
PVM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. TEG is a new component-based methodology for point-to-point messaging. Developed as part of the Open MPI project, TEG provides a configurable fault-tolerant capability f...