8141 search results - page 84 / 1629 » Higher Order Generalization |
JSAI
2005
Springer
15 years 6 months ago
2005
Springer
: In this paper, we introduce ordered clauses as defined a sequence of literals, and investigate the properties of generalizations for ordered clauses. Furthermore, we show that t...
107
Voted
GIAE
2004
Springer
15 years 6 months ago
2004
Springer
For a first order autonomous ODE, we give a polynomial time algorithm to decide whether it has a polynomial general solution and to compute one if it exists. Experiments show that...
AAAI
1998
15 years 2 months ago
1998
RecentlyFtwo new backtracking algorithmsF dynamic backtracking (DB)and partial order dynamicbacktracking (PDB) have been presented. These algorithms have the property to be additi...
84
Voted
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We generalize Sudan’s list decoding algorithm without multiplicity to evaluation codes coming from arbitrary order domains. The number of correctable errors by the prop...
106
click to vote
ILP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...