Sciweavers

351 search results - page 33 / 71
» Perfect Constraints Are Tractable
Sort
View
JMLR
2012
11 years 10 months ago
Approximate Inference in Additive Factorial HMMs with Application to Energy Disaggregation
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
J. Zico Kolter, Tommi Jaakkola
CSL
2007
Springer
14 years 1 months ago
Qualitative Temporal and Spatial Reasoning Revisited
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
Manuel Bodirsky, Hubie Chen
PODS
2010
ACM
197views Database» more  PODS 2010»
13 years 8 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
CORR
2008
Springer
142views Education» more  CORR 2008»
13 years 7 months ago
The Impact of QoS Constraints on the Energy Efficiency of Fixed-Rate Wireless Transmissions
Transmission over wireless fading channels under quality of service (QoS) constraints is studied when only the receiver has channel side information. Being unaware of the channel c...
Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar
CP
2009
Springer
14 years 8 months ago
Approximating Weighted Max-SAT Problems by Compensating for Relaxations
We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its str...
Arthur Choi, Trevor Standley, Adnan Darwiche