1948 search results - page 139 / 390 » Formalizing Mirror Theory |
147
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
138
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Scale is of great importance to the analysis of real world phenomena, be they enduring objects or perduring processes. This paper presents a new perspective on the concept of scale...
165
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
169
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
161
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...