10568 search results - page 314 / 2114 » Computer Intelligence and Formalization |
129
click to vote
IEAAIE
2003
Springer
15 years 9 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
120
Voted
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
127
Voted
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
132
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
120
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...