2018 search results - page 254 / 404 » Code Normal Forms |
99
Voted
SODA
2003
ACM
15 years 3 months ago
2003
ACM
With random inputs, certain decision problems undergo a “phase transition”. We prove similar behavior in an optimization context. Given a conjunctive normal form (CNF) formula...
111
click to vote
SPIESR
2000
15 years 3 months ago
2000
Color object recognition methods that are based on image retrieval algorithms can handle changes of illumination via image normalization, e.g. simple color-channel-normalization1 ...
124
click to vote
UAI
2000
15 years 3 months ago
2000
In this paper we present decomposable priors, a family of priors over structure and parameters of tree belief nets for which Bayesian learning with complete observations is tracta...
128
Voted
DAGSTUHL
1996
15 years 3 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
118
Voted
UAI
1993
15 years 3 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...