Sciweavers

8141 search results - page 72 / 1629

» Higher Order Generalization

37

JFLP
2000

30views more JFLP 2000»

Stepwise Enhancement and Higher-Order Programming in Prolog

15 years 2 months ago

Stepwise Enhancement and Higher-Order Programming in Prolog

Download scholar.lib.vt.edu

Lee Naish, Leon Sterling

claim paper

Read More »

65

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

15 years 2 months ago

Topological Completeness for Higher-Order Logic

Download www.brics.dk

Steven Awodey, Carsten Butz

claim paper

Read More »

120

FUIN
2002

109views more FUIN 2002»

Another Example of Higher Order Randomness

15 years 2 months ago

Another Example of Higher Order Randomness

Download www.glyc.dc.uba.ar

We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability

Verónica Becher, Gregory J. Chaitin

claim paper

Read More »

85

JC
2002

50views more JC 2002»

Verifying Topological Indices for Higher-Order Rank Deficiencies

15 years 2 months ago

Verifying Topological Indices for Higher-Order Rank Deficiencies

Download interval.louisiana.edu

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

claim paper

Read More »

105

Voted

TNN
1998

73views more TNN 1998»

Long-term attraction in higher order neural networks

15 years 2 months ago

Long-term attraction in higher order neural networks

Download www.niisi.ru

David Burshtein

claim paper

Read More »

« Prev « First page 72 / 1629 Last » Next »