17018 search results - page 3283 / 3404 » From the How to the What |
ERCIMDL
2000
Springer
14 years 25 days ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...
ISER
2000
Springer
14 years 24 days ago
2000
Springer
: In addition to researchers in AI and robotics, RoboCup attracts ordinary people, especially kids, high school and university students. Over 3000 people from 35 nations around the...
ATAL
1995
Springer
14 years 24 days ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
CSFW
1995
IEEE
14 years 24 days ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
VW
2000
Springer
14 years 24 days ago
2000
Springer
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...