190 search results - page 19 / 38 » Exponential Propagation for Set Variables |
111
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
150
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
104
Voted
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
132
Voted
WDAG
2007
Springer
15 years 8 months ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
135
click to vote
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
We present a kernel-based algorithm for hierarchical text classification where the documents are allowed to belong to more than one category at a time. The classification model is...