Sciweavers

2145 search results - page 368 / 429
» Answering Queries Using Views
Sort
View
114
Voted
JAR
2000
90views more  JAR 2000»
15 years 2 months ago
Resolution versus Search: Two Strategies for SAT
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
Irina Rish, Rina Dechter
133
Voted
JMLR
2002
140views more  JMLR 2002»
15 years 2 months ago
On Boosting with Polynomially Bounded Distributions
We construct a framework which allows an algorithm to turn the distributions produced by some boosting algorithms into polynomially smooth distributions (w.r.t. the PAC oracle...
Nader H. Bshouty, Dmitry Gavinsky
158
Voted
IS
2011
14 years 9 months ago
Similarity of business process models: Metrics and evaluation
—It is common for large and complex organizations to maintain repositories of business process models in order to document and to continuously improve their operations. Given suc...
Remco M. Dijkman, Marlon Dumas, Boudewijn F. van D...
126
Voted
AAAI
2011
14 years 2 months ago
Stopping Rules for Randomized Greedy Triangulation Schemes
Many algorithms for performing inference in graphical models have complexity that is exponential in the treewidth - a parameter of the underlying graph structure. Computing the (m...
Andrew Gelfand, Kalev Kask, Rina Dechter
CIVR
2007
Springer
280views Image Analysis» more  CIVR 2007»
15 years 8 months ago
Demonstration of image retrieval based on illumination invariant textural MRF features
Content-based image retrieval (CBIR) systems target database images using feature similarities with respect to the query. Our CBIR demonstration utilises novel illumination invari...
Pavel Vacha, Michal Haindl