1393 search results - page 113 / 279 » Home, work, (play) |
203
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months 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...
179
click to vote
TYPES
2004
Springer
15 years 12 months 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...
159
click to vote
SRDS
2003
IEEE
15 years 11 months 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...
150
click to vote
MIR
2003
ACM
15 years 11 months 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...
142
click to vote
ISAAC
2003
Springer
15 years 11 months 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...