3775 search results - page 241 / 755 » The Expression Problem Revisited |
135
click to vote
SLOGICA
2010
15 years 3 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
184
click to vote
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
186
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...
133
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
155
click to vote
ACL
2011
14 years 8 months ago
2011
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...