1805 search results - page 132 / 361 » A Theory of Closure Operators |
163
click to vote
VSTTE
2012
Springer
14 years 6 days ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
124
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
132
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
148
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
141
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...