Sciweavers

4190 search results - page 240 / 838
» Type Class Directives
Sort
View
SSDBM
1994
IEEE
153views Database» more  SSDBM 1994»
15 years 8 months ago
An Object-Oriented Data Model for a Time Series Management System
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...
Werner Dreyer, Angelika Kotz Dittrich, Duri Schmid...
TAPSOFT
1993
Springer
15 years 8 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
KES
2000
Springer
15 years 8 months ago
Effects of antecedent pruning in fuzzy classification systems
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...
Andreas Nürnberger, Aljoscha Klose, Rudolf Kr...
EUROPAR
1995
Springer
15 years 8 months ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro
FORTE
2001
15 years 5 months ago
Patterns and Rules for Behavioural Subtyping
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
Heike Wehrheim