3353 search results - page 240 / 671 » Laver and set theory |
169
click to vote
COLING
2002
15 years 6 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
183
click to vote
APIN
1998
15 years 6 months ago
1998
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
158
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
134
click to vote
TIT
1998
15 years 6 months ago
1998
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...
130
click to vote
JCAMD
2010
15 years 5 months ago
2010
An account is given of our contributions to the SAMPL2 challenge for vacuum-water transfer energies. These contributions include different charge sets and radii used with Poissonâ€...