Sciweavers

217 search results - page 44 / 44
» Backdoors To Typical Case Complexity
Sort
View
JSS
2010
120views more  JSS 2010»
12 years 11 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
CORR
2012
Springer
170views Education» more  CORR 2012»
12 years 16 days ago
What Cannot be Learned with Bethe Approximations
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...
Uri Heinemann, Amir Globerson