2335 search results - page 241 / 467 » Type Checking Type Classes |
96
Voted
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
134
click to vote
SSDBM
1994
IEEE
15 years 4 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
100
Voted
TAPSOFT
1993
Springer
15 years 4 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
97
Voted
KES
2000
Springer
15 years 4 months ago
2000
Springer
Fuzzy classification rules are widely considered a well-suited representation of classification knowledge, as they allow readable and interpretable rule bases. The goal of this pa...