2272 search results - page 266 / 455 » A Calculus for |
140
click to vote
LMO
1996
15 years 5 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
142
click to vote
LFP
1992
15 years 5 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
158
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
⎯This paper presents an improved multi-object segmentation algorithm based on probabilistic labeling. First, a critical look is focused on utilizing vector calculus operator and ...
154
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...