57 search results - page 10 / 12 » Generalizations of matched CNF formulas |
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
ENTCS
2011
13 years 2 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- We consider code division multiple access communication over a binary input additive white Gaussian noise channel using random spreading. For a general class of symmetri...
JCAM
2010
13 years 2 months ago
2010
Asian options, basket options and spread options have been extensively studied in literature. However, few papers deal with the problem of pricing general Asian basket spread opti...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...