Sciweavers

8141 search results - page 72 / 1629
» Higher Order Generalization
Sort
View
29
Voted
JFLP
2000
30views more  JFLP 2000»
15 years 16 days ago
Stepwise Enhancement and Higher-Order Programming in Prolog
Lee Naish, Leon Sterling
56
Voted
JSYML
2000
45views more  JSYML 2000»
15 years 15 days ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
FUIN
2002
109views more  FUIN 2002»
15 years 15 days ago
Another Example of Higher Order Randomness
We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability
Verónica Becher, Gregory J. Chaitin
70
Voted
JC
2002
50views more  JC 2002»
15 years 12 days ago
Verifying Topological Indices for Higher-Order Rank Deficiencies
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
R. Baker Kearfott, Jianwei Dian
91
Voted
TNN
1998
73views more  TNN 1998»
15 years 11 days ago
Long-term attraction in higher order neural networks
David Burshtein