5269 search results - page 44 / 1054 » order 2007 |
131
click to vote
ISMVL
2007
IEEE
16 years 1 days ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
181
click to vote
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
121
click to vote
AAAI
2007
15 years 8 months ago
2007
Various approaches for dealing with missing data have been developed so far. In this paper, two strategies are proposed for cost-sensitive iterative imputing missing values with o...
139
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We prove an n-exptime lower bound for the problem of deciding the winner in a reachability game on Higher Order Pushdown Automata (HPDA) of level n. This bound matches th...
161
click to vote
EOR
2007
15 years 5 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...