WFLP
2000
Springer
14 years 3 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
WFLP
2000
Springer
14 years 3 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
WDAG
2000
Springer
14 years 3 months ago
2000
Springer
Conventional mechanisms for electronic commerce provide strong means for securing transfer of funds, and for ensuring such things as authenticity and non-repudiation. But they gene...
WDAG
2000
Springer
14 years 3 months ago
2000
Springer
Work to date on algorithms for message-passing systems has explored a wide variety of types of faults, but corresponding work on shared memory systems has usually assumed that only...
WDAG
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents a study of a distributed cooperation problem under the assumption that processors may not be able to communicate for a prolonged time. The problem for n proces...
WDAG
2000
Springer
14 years 3 months ago
2000
Springer
WDAG
2000
Springer
14 years 3 months ago
2000
Springer