SPATIALCOGNITION
2004
Springer
14 years 5 months ago
2004
Springer
SPATIALCOGNITION
2004
Springer
14 years 5 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...
SPATIALCOGNITION
2004
Springer
14 years 5 months ago
2004
Springer
In contrast to most research on spatial reference, the scenario in our human-robot experiments focuses on identifying rather than localising objects using spatial language. The rel...
SPATIALCOGNITION
2004
Springer
14 years 5 months ago
2004
Springer
Results suggesting that changing perspective and switching across spatial environments held in memory are processes that take place in parallel were obtained from a task-switching ...
SOFSEM
2004
Springer
14 years 5 months ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
SEMWEB
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
LATIN
2004
Springer
14 years 5 months ago
2004
Springer
We study the problem of non-interactive correlation distillation (NICD). Suppose Alice and Bob each has a string, denoted by A = a0a1 · · · an−1 and B = b0b1 · · · bn−1,...
LATIN
2004
Springer
14 years 5 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
LATIN
2004
Springer
14 years 5 months ago
2004
Springer
We consider the problem of protein folding in the HP model on the 3D square lattice. This problem is combinatorially equivalent to folding a string of 0’s and 1’s so that the s...
LATIN
2004
Springer
14 years 5 months ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...