Sciweavers

611 search results - page 38 / 123
» The Cardinality Matrix Constraint
Sort
View
STOC
1993
ACM
123views Algorithms» more  STOC 1993»
15 years 1 months ago
Constructing small sample spaces satisfying given constraints
Abstract. The subject of this paper is nding small sample spaces for joint distributions of n discrete random variables. Such distributions are often only required to obey a certa...
Daphne Koller, Nimrod Megiddo
TASE
2010
IEEE
14 years 4 months ago
Coverage of a Planar Point Set With Multiple Robots Subject to Geometric Constraints
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
Nilanjan Chakraborty, Srinivas Akella, John T. Wen
ISBI
2007
IEEE
15 years 4 months ago
A Hybrid Filtering Approach to Retinal Vessel Segmentation
We propose a novel vessel enhancement filter for retinal images. The filter can be used as a preprocessing step in applications such as vessel segmentation/visualization, and pa...
Chang-Hua Wu, Gady Agam, Peter Stanchev
CP
2011
Springer
13 years 9 months ago
Hierarchically Nested Convex VCSP
We introduce tractable classes of VCSP instances based on convex cost functions. Firstly, we show that the class of VCSP instances satisfying the hierarchically nested convexity pr...
Martin C. Cooper, Stanislav Zivny
LICS
2009
IEEE
15 years 4 months ago
Logics with Rank Operators
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Lau...