2316 search results - page 30 / 464 » The many forms of hypercomputation |
107
Voted
ACL
1996
15 years 5 months ago
1996
Optimality Theory, a constraint-based phonology and morphology paradigm, has allowed linguists to make elegant analyses of many phenomena, including infixation and reduplication. ...
120
click to vote
IGPL
2007
15 years 3 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
126
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
126
Voted
COMBINATORICS
2002
15 years 3 months ago
2002
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is ...
133
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
Representing images with layers has many important applications, such as video compression, motion analysis, and 3D scene analysis. This paper presents an approach to reliably ext...