1195 search results - page 90 / 239 » New constructions of SSPDs and their applications |
158
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
149
click to vote
KDD
1997
ACM
15 years 10 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...
124
click to vote
COOPIS
1994
IEEE
15 years 10 months ago
1994
IEEE
We introduce query-free information retrieval, a paradigm in which queries are constructed autonomously and information relevant to a user is offered without explicit request. Que...
161
click to vote
PDIS
1994
IEEE
15 years 10 months ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
171
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...