Sciweavers

12334 search results - page 165 / 2467
» The Use of C
Sort
View
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
15 years 4 months ago
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation"
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
Hadrien Cambazard, Barry O'Sullivan
POPL
2011
ACM
14 years 7 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
SCIA
2005
Springer
113views Image Analysis» more  SCIA 2005»
15 years 10 months ago
Hierarchical Cell Structures for Segmentation of Voxel Images
We compare three hierarchical structures, S15, C15, C19, that are used to steer a segmentation process in 3d voxel images. There is an important topological difference between C19...
Lutz Priese, Patrick Sturm, Haojun Wang
AAAI
1996
15 years 5 months ago
Building Classifiers Using Bayesian Networks
Recent work in supervised learning has shown that a surprisingly simple Bayesian classifier with strong assumptions of independence among features, called naive Bayes, is competit...
Nir Friedman, Moisés Goldszmidt
CCCG
2008
15 years 6 months ago
Searching for Frequent Colors in Rectangles
We study a new variant of colored orthogonal range searching problem: given a query rectangle Q all colors c, such that at least a fraction of all points in Q are of color c, mus...
Marek Karpinski, Yakov Nekrich