1989 search results - page 259 / 398 » Set functions for functional logic programming |
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this work, our objective is to heuristically discover a simplified form of functional dependencies between variables called weak dependencies. Once discovered, these relations...
115
click to vote
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
135
click to vote
APL
1993
ACM
15 years 7 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
151
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
134
click to vote
NIPS
2008
15 years 4 months ago
2008
We consider the problem of binary classification where the classifier may abstain instead of classifying each observation. The Bayes decision rule for this setup, known as Chow�...