9370 search results - page 237 / 1874 » An Abstract Notion of Application |
152
click to vote
IFIP
2004
Springer
16 years 17 hour ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
194
click to vote
LPNMR
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
187
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
142
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
137
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...