450 search results - page 41 / 90 » Satisfiability with Exponential Families |
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
DCC
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper studies quantization error in the context of Matching Pursuit coded streams and proposes a new coefficient quantization scheme taking benefit of the Matching Pursuit pr...
108
click to vote
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
136
click to vote
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
110
click to vote
ALGORITHMICA
2007
14 years 12 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...