3136 search results - page 392 / 628 » Genetic programming theory |
139
click to vote
ESWS
2007
Springer
16 years 22 days 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...
174
click to vote
TLCA
2007
Springer
16 years 20 days 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...
169
click to vote
VMCAI
2007
Springer
16 years 20 days 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...
146
click to vote
OOPSLA
2005
Springer
16 years 1 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...
161
click to vote
PPDP
2005
Springer
16 years 1 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 ...