DAGSTUHL
2001
13 years 6 months ago
2001
We first give an overview of the features of the GANIMAL Framework introducing several new concepts not present in any previous algorithm animation system. Then we focus on its me...
DAGSTUHL
2001
13 years 6 months ago
2001
DAGSTUHL
2001
13 years 6 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
DAGSTUHL
2001
13 years 6 months ago
2001
DAGSTUHL
2001
13 years 6 months ago
2001
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...
DAGSTUHL
2001
13 years 6 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
DAGSTUHL
2006
13 years 6 months ago
2006
Human activity is extremely complex. Current technology allows us to handcraft real-time perception systems for a specific perceptual task. However, such an approach is inadequate...
DAGSTUHL
2006
13 years 6 months ago
2006
DAGSTUHL
2006
13 years 6 months ago
2006
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...
DAGSTUHL
2006
13 years 6 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...