1195 search results - page 61 / 239 » What, Where |
WWW
2007
ACM
14 years 9 months ago
2007
ACM
The environment generated media (EGM) are defined here as being generated from a massive amount of and/or incomprehensible environmental data by compressing them into averages or ...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— The problem of safe locomotion of legged and wheeled robots, when trying to avoid falling, tipping over or hitting obstacles, appears to be a problem of viability and not of Ly...
CICLING
2006
Springer
14 years 17 days ago
2006
Springer
Documents in a wide range of genres often contain references to their own sections, pictures etc. We call such referring expressions instances of Document Deixis. The present work ...
JANCL
2007
13 years 8 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
AMAI
2004
Springer
14 years 2 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...