5451 search results - page 763 / 1091 » Typed Operational Semantics |
164
click to vote
ENGL
2007
15 years 6 months ago
2007
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
158
click to vote
ENGL
2007
15 years 6 months ago
2007
—Genetic Algorithms (GA) and Evolutionary Programming (EP) are two well-known optimization methods that belong to the class of Evolutionary Algorithms (EA). Both methods have gen...
169
click to vote
MST
2008
15 years 6 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
132
click to vote
HEURISTICS
2007
15 years 6 months ago
2007
: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...
175
click to vote
PAMI
2006
15 years 6 months ago
2006
Understanding the structure of multidimensional patterns, especially in unsupervised case, is of fundamental importance in data mining, pattern recognition and machine learning. Se...