20441 search results - page 3771 / 4089 » Locally Computable Structures |
142
click to vote
GPEM
2000
15 years 3 months ago
2000
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...
143
Voted
IJAIT
2000
15 years 3 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
150
click to vote
ENTCS
2002
15 years 3 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
137
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
126
click to vote
JAR
2000
15 years 3 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...