1389 search results - page 88 / 278 » Lightweight dependent classes |
FOCS
2008
IEEE
14 years 4 months ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...
NETWORKING
2004
13 years 11 months ago
2004
The goal of this paper is to study pricing of differentiated services and its impact on the choice of service priority at equilibrium. We consider both TCP connections as well as n...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
ALT
2005
Springer
14 years 6 months ago
2005
Springer
Within learning theory teaching has been studied in various ways. In a common variant the teacher has to teach all learners that are restricted to output only consistent hypotheses...