3136 search results - page 392 / 628 » Genetic programming theory |
151
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
199
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
186
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
167
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
182
click to vote
PPDP
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...