10568 search results - page 422 / 2114 » Computer Intelligence and Formalization |
121
click to vote
IWINAC
2007
Springer
15 years 11 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
114
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...
136
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Considerable effort has been put towards developing intelligent and natural interfaces between users and computer systems. This is done by means of a variety of modes of informati...
107
Voted
BVAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We discuss problems of signal– and symbol based representations in terms of three dilemmas which are faced in the design of each vision system. Signal- and symbol-based...
123
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An evolutionary system is presented which employs an embryogeny model to evolve phenotypes in the form of layout of cells in specific patterns and shapes. It is shown th...