5456 search results - page 109 / 1092 » General Equilibrium Theory |
115
click to vote
SLP
1990
15 years 5 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
113
click to vote
EOR
2010
15 years 4 months ago
2010
Semidefinite Programming (SDP) may be seen as a generalization of Linear Programming (LP). In particular, one may extend interior point algorithms for LP to SDP, but it has proven...
154
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
135
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
129
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
The goal of this paper is to show that generalizing the notion of support can be useful in extending association analysis to non-traditional types of patterns and non-binary data....