3713 search results - page 489 / 743 » Constructing a Calculus of Programs |
135
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
165
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
131
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Application development for distributed-computing ``Grids'' can benefit from tools that variously hide or enable application-level management of critical aspects of the ...
169
click to vote
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
132
Voted
INTENV
2010
14 years 11 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...