Sciweavers

1941 search results - page 4 / 389
» On the Hardness of Approximate Reasoning
Sort
View
TOSEM
2008
75views more  TOSEM 2008»
13 years 8 months ago
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
FOCS
1995
IEEE
14 years 3 days ago
Free Bits, PCPs and Non-Approximability - Towards Tight Results
This paper continues the investigation of the connection between probabilistically checkable proofs PCPs the approximability of NP-optimization problems. The emphasis is on prov...
Mihir Bellare, Oded Goldreich, Madhu Sudan
CORR
2007
Springer
217views Education» more  CORR 2007»
13 years 8 months ago
Hard constraint satisfaction problems have hard gaps at location 1
An instance of the maximum constraint satisfaction problem (Max CSP) is a nite collection of constraints on a set of variables, and the goal is to assign values to the variables ...
Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen
NIPS
2007
13 years 10 months ago
Structured Learning with Approximate Inference
In many structured prediction problems, the highest-scoring labeling is hard to compute exactly, leading to the use of approximate inference methods. However, when inference is us...
Alex Kulesza, Fernando Pereira
CCS
2006
ACM
14 years 8 days ago
Evading network anomaly detection systems: formal reasoning and practical techniques
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
Prahlad Fogla, Wenke Lee