8874 search results - page 406 / 1775 » A New Implementation of Automath |
159
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
In many data mining applications we are given a set of training examples and asked to construct a regression machine or a classifier that has low prediction error or low error rat...
197
click to vote
PLILP
1997
Springer
15 years 11 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
212
click to vote
INFOCOM
1993
IEEE
15 years 11 months ago
1993
IEEE
We propose a new service discipline, called the RateControlledStatic-Priority (RCSP) queueingdiscipline, that can provide throughput, delay, delay jitter, and loss free guarantees...
172
click to vote
IDS
1994
15 years 11 months ago
1994
The Concept of Populated Information Terrains (PITS) aims to extend database technology with key ideas from the new fields of Virtual Reality (VR) and Computer Supported Cooperativ...
155
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...