3092 search results - page 445 / 619 » Where are you pointing |
RIAO
2000
13 years 11 months ago
2000
We have developed a method for answering single answer questions automatically using a collection of documents or the Internet as a source of data for the production of the answer...
SODA
2000
ACM
13 years 11 months ago
2000
ACM
In this paper we give approximation algorithms for several proximity problems in high dimensional spaces. In particular, we give the rst Las Vegas data structure for (1 + )-neares...
UAI
2000
13 years 11 months ago
2000
In this paper we present decomposable priors, a family of priors over structure and parameters of tree belief nets for which Bayesian learning with complete observations is tracta...
FORTE
1994
13 years 11 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
SPIESR
1993
13 years 11 months ago
1993
Autosophy, an emerging new science, explains "Self-assembling Structures", such crystals or living trees, in mathematical terms. This research provides a new mathematica...