2911 search results - page 274 / 583 » A Theory of Expressiveness in Mechanisms |
181
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
172
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
190
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
166
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
175
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...