Sciweavers

807 search results - page 124 / 162
» Reflective design
Sort
View
WSCG
2003
142views more  WSCG 2003»
13 years 11 months ago
Three-Dimensional Object Recognition: Statistical Approach
The design of a general purpose artificial vision system capable of recognizing arbitrarily complex threedimensional objects without human intervention is still a challenging task...
R. Abdul Salam, M. A. Rodrigues
ICMAS
2000
13 years 11 months ago
Reasoning About Others: Representing and Processing Infinite Belief Hierarchies
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
Sviatoslav Brainov, Tuomas Sandholm
ACMDIS
2010
ACM
13 years 10 months ago
Open-ended objects: a tool for brainstorming
This paper describes a new tool for use in the process of brainstorming workshops on HCI called "Open-ended objects". Open-ended objects are open-ended interactive exper...
Virginia Cruz, Nicolas Gaudron
CORR
2008
Springer
123views Education» more  CORR 2008»
13 years 10 months ago
Networks become navigable as nodes move and forget
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle...
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 10 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...