619 search results - page 92 / 124 » Generic Extensions and Generic Polynomials |
214
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
185
click to vote
EAGC
2004
Springer
15 years 11 months ago
2004
Springer
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
202
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a dynamic and adaptive variable ordering heuristic which guides systematic search toward inconsistent or hard parts of a Constraint Satisfaction Problem (...
157
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
185
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...