730 search results - page 20 / 146 » Combinatorics of Monotone Computations |
ACL
1992
13 years 9 months ago
1992
Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of informati...
IPL
2007
13 years 8 months ago
2007
We consider the problem Monet—given two monotone formulas ϕ in DNF and ψ in CNF, decide whether they are equivalent. While Monet is probably not coNPhard, it is a long standin...
CGI
1999
IEEE
14 years 29 days ago
1999
IEEE
This paper describes the use of cubic splines for interpolating monotonic data sets. Interpolating cubic splines are popular for
DIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper, we extend monotone monomials as large itemsets in association rule mining to monotone DNF formulas. First, we introduce not only the minimum support but al...
APAL
2005
13 years 8 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...