Sciweavers

1253 search results - page 6 / 251
» order 2000
Sort
View
64
Voted
IANDC
2000
53views more  IANDC 2000»
15 years 12 days ago
On the Undecidability of Second-Order Unification
Jordi Levy, Margus Veanes
66
Voted
INFORMS
2000
46views more  INFORMS 2000»
15 years 12 days ago
An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem
Luca Maria Gambardella, Marco Dorigo
86
Voted
JAR
2000
87views more  JAR 2000»
15 years 11 days ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
55
Voted
JSYML
2000
45views more  JSYML 2000»
15 years 11 days ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
NECO
2000
55views more  NECO 2000»
15 years 11 days ago
Clustering Irregular Shapes Using High-Order Neurons
Hod Lipson, Hava T. Siegelmann