1076 search results - page 19 / 216 » Operations on proofs and labels |
115
click to vote
CPP
2011
14 years 1 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
111
Voted
ORL
2006
15 years 1 months ago
2006
For a re-entrant line operating under the last-buffer
101
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
97
Voted
COCO
2009
Springer
15 years 8 months ago
2009
Springer
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
132
Voted
BIOCOMP
2008
15 years 3 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 ...