1863 search results - page 220 / 373 » Unifying Theories of Objects |
MFCS
2005
Springer
14 years 2 months ago
2005
Springer
A sequential algorithm just follows its instructions and thus cannot make a nondeterministic choice all by itself, but it can be instructed to solicit outside help to make a choic...
AH
2004
Springer
14 years 2 months ago
2004
Springer
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
CA
1997
IEEE
14 years 1 months ago
1997
IEEE
In this paper we present a framework for behavioural simulation. A uniform voxel space representation is used to implement the environment mechanism of the framework. An example e...
KR
1998
Springer
14 years 1 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
ICFP
1996
ACM
14 years 1 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...