1389 search results - page 82 / 278 » Lightweight dependent classes |
ICLP
1994
Springer
14 years 1 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
IASTEDSE
2004
13 years 11 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
IANDC
2007
13 years 9 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
ICDM
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper we study the problem of classifier learning where the input data contains unjustified dependencies between some data attributes and the class label. Such cases arise...
ICANN
2009
Springer
14 years 2 months ago
2009
Springer
This paper proposes a modelling of Support Vector Machine (SVM) learning to address the problem of learning with sloppy labels. In binary classification, learning with sloppy labe...