8512 search results - page 192 / 1703 » Computing Theory With Relevance |
124
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
163
click to vote
FOSSACS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
143
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
124
click to vote
PKDD
2005
Springer
15 years 10 months ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
128
click to vote
MFPS
1993
15 years 8 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...