543 search results - page 34 / 109 » A Theory of the Quasi-Static World |
CIE
2007
Springer
15 years 3 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
Symmetric and semisymmetric graphs are used in many scientific domains, especially parallel computation and interconnection networks. The industry and the research world make a h...
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
KR
1998
Springer
15 years 1 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,...
CAS
2004
14 years 9 months ago
2004
This lecture treats some enduring misconceptions about modeling. One of these is that the goal is always prediction. The lecture distinguishes between explanation and prediction a...