Sciweavers

1253 search results - page 6 / 251

» order 2000

147

Voted

IANDC
2000

53views more IANDC 2000»

On the Undecidability of Second-Order Unification

15 years 7 months ago

On the Undecidability of Second-Order Unification

Download www.iiia.csic.es

Jordi Levy, Margus Veanes

claim paper

Read More »

144

Voted

INFORMS
2000

46views more INFORMS 2000»

An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem

15 years 7 months ago

An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem

Download www.idsia.ch

Luca Maria Gambardella, Marco Dorigo

claim paper

Read More »

164

Voted

JAR
2000

87views more JAR 2000»

Managing Structural Information by Higher-Order Colored Unification

15 years 7 months ago

Managing Structural Information by Higher-Order Colored Unification

Download kwarc.info

Dieter Hutter, Michael Kohlhase

claim paper

Read More »

112

Voted

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

15 years 7 months ago

Topological Completeness for Higher-Order Logic

Download www.brics.dk

Steven Awodey, Carsten Butz

claim paper

Read More »

116

Voted

NECO
2000

55views more NECO 2000»

Clustering Irregular Shapes Using High-Order Neurons

15 years 7 months ago

Clustering Irregular Shapes Using High-Order Neurons

Download www.cs.umass.edu

Hod Lipson, Hava T. Siegelmann

claim paper

Read More »

« Prev « First page 6 / 251 Last » Next »