20511 search results - page 285 / 4103 » On the level |
199
click to vote
DAGM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the problem of non-rigid, point-to-point registration of two 3D surfaces. To avoid restrictions on the topology, we represent the surfaces as a level-set of t...
206
click to vote
DALT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
166
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
TELOS is a new eLearning system being built within the Canadian LORNET project. TELOS aims to provide an open operating system in which users can develop and use eLearning and know...
152
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...