6456 search results - page 75 / 1292 » Constraint Solving on Terms |
111
Voted
ECAI
1998
Springer
15 years 5 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
77
Voted
AMC
2005
15 years 23 days ago
2005
As competition from emerging economies such as China and India puts pressure on global supply chains and as new constraints emerge, it presents opportunities for approaches such a...
107
click to vote
AAAI
1998
15 years 2 months ago
1998
We present a technique for computing approximately optimal solutions to stochastic resource allocation problems modeled as Markov decision processes (MDPs). We exploit two key pro...
63
Voted
ESANN
2007
15 years 2 months ago
2007
The so called MSO-problem, – a simple superposition of two or more sinusoidal waves –, has recently been discussed as a benchmark problem for reservoir computing and was shown ...
100
click to vote
ICAI
2004
15 years 2 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...