107 search results - page 15 / 22 » Applicative Lifting |
178
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
100
click to vote
CCR
2004
14 years 10 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
CONCUR
2008
Springer
15 years 5 days ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
105
click to vote
APPROX
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we develop a new "robust mixing" framework for reasoning about adversarially modified Markov Chains (AMMC). Let P be the transition matrix of an irreducib...
ICIP
2000
IEEE
15 years 12 months ago
2000
IEEE
We describe an algorithm for the embedded coding of 3D oceanographic images. These images differ from those arising in other applications in that valid data exists only at grid po...