689 search results - page 12 / 138 » Focusing in Linear Meta-logic |
CADE
1992
Springer
15 years 4 months ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...
124
click to vote
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract In this paper, we propose a resource allocation algorithm for ergodic weighted-sum rate maximization in downlink OFDMA systems. In contrast to most previous research tha...
97
Voted
IJAR
2010
14 years 10 months ago
2010
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
183
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
106
Voted
AMC
2006
15 years 5 days ago
2006
Focus in the paper is on the definition of linear bilevel programming problems, the existence of optimal solutions and necessary as well as sufficient optimality conditions. In th...