4372 search results - page 196 / 875 » Algorithmic Theories of Everything |
92
Voted
ACL
2004
15 years 2 months ago
2004
This paper describes an algorithm for detecting empty nodes in the Penn Treebank (Marcus et al., 1993), finding their antecedents, and assigning them function tags, without access...
CORR
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
107
click to vote
CORR
2008
Springer
15 years 26 days ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
91
Voted
SIAMIS
2008
15 years 21 days ago
2008
The area distance to a convex plane curve is an important concept in computer vision. In this paper we describe a strong link between area distances and improper affine spheres. Th...
99
Voted
JCB
2000
15 years 17 days ago
2000
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...