1393 search results - page 113 / 279 » Home, work, (play) |
219
click to vote
SPATIALCOGNITION
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
188
click to vote
TYPES
2004
Springer
16 years 6 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
171
click to vote
SRDS
2003
IEEE
16 years 4 days ago
2003
IEEE
In multipeer communication decentralised probabilistic protocols have received a lot of attention because of their robustness against faults in the communication traffic and thei...
161
click to vote
MIR
2003
ACM
16 years 4 days ago
2003
ACM
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...
155
click to vote
ISAAC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...