2335 search results - page 201 / 467 » Type Checking Type Classes |
IJCAI
1989
13 years 11 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
CHINAF
2008
13 years 10 months ago
2008
We introduce a set of criterions for classifying signature-only signature models. By the criterions, we classify signature models into 5 basic types and 69 general classes. Theoret...
ML
2006
ACM
13 years 10 months ago
2006
ACM
Abstract This paper introduces cost curves, a graphical technique for visualizing the performance (error rate or expected cost) of 2-class classifiers over the full range of possib...
WISE
2000
Springer
14 years 2 months ago
2000
Springer
In this paper, we introduce a frame metadata model to facilitate the continuous association rules of web transactions. A new set of association rules can be derived with the updat...
OOPSLA
2000
Springer
14 years 1 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...