Sciweavers

1941 search results - page 70 / 389
» On the Hardness of Approximate Reasoning
Sort
View
JCB
2007
168views more  JCB 2007»
14 years 11 months ago
Fast Molecular Shape Matching Using Contact Maps
In this paper, we study the problem of computing the similarity of two protein structures ring their contact-map overlap. Contact-map overlap abstracts the problem of computing th...
Pankaj K. Agarwal, Nabil H. Mustafa, Yusu Wang
SIGIR
2003
ACM
15 years 5 months ago
Error analysis of difficult TREC topics
Given the experimental nature of information retrieval, progress critically depends on analyzing the errors made by existing retrieval approaches and understanding their limitatio...
Xiao Hu, Sindhura Bandhakavi, ChengXiang Zhai
NIPS
2008
15 years 1 months ago
An interior-point stochastic approximation method and an L1-regularized delta rule
The stochastic approximation method is behind the solution to many important, actively-studied problems in machine learning. Despite its farreaching application, there is almost n...
Peter Carbonetto, Mark Schmidt, Nando de Freitas
SAT
2010
Springer
178views Hardware» more  SAT 2010»
15 years 3 months ago
Proof Complexity of Propositional Default Logic
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
Olaf Beyersdorff, Arne Meier, Sebastian Mülle...
APPROX
2008
Springer
134views Algorithms» more  APPROX 2008»
15 years 1 months ago
Inapproximability of Survivable Networks
In the Survivable Network Design Problem (SNDP) one seeks to find a minimum cost subgraph that satisfies prescribed node-connectivity requirements. We give a novel approximation r...
Yuval Lando, Zeev Nutov