2335 search results - page 242 / 467 » Type Checking Type Classes |
94
Voted
EUROPAR
1995
Springer
15 years 4 months ago
1995
Springer
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...
94
Voted
EUSFLAT
2003
15 years 2 months ago
2003
A typical task in technical fault detection or medical diagnosis problems is to discriminate normal behavior from one or more types of abnormal behavior by means of different meas...
101
Voted
SDM
2004
SIAM
15 years 2 months ago
2004
SIAM
Previous approaches for mining association rules generate large sets of association rules. Such sets are difficult for users to understand and manage. Here, the concept of a restri...
105
Voted
SERP
2003
15 years 2 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
124
click to vote
PPSC
1997
15 years 1 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...