1930 search results - page 152 / 386 » Epistemic comparative conditionals |
149
click to vote
COCOA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...
159
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
175
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...
216
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose efficiency of representation as a criterion for evaluating shape models, then apply this criterion to compare the boundary curve representation with the medial axis. We...
161
click to vote
DCC
1995
IEEE
15 years 10 months ago
1995
IEEE
A JBIG compliant, quadtree based, lossless image compression algorithm is described. In terms of the number of arithmetic coding operations required to code an image, this algorit...