4290 search results - page 277 / 858 » Formal Approaches to Teamwork |
177
click to vote
ACCV
2006
Springer
16 years 24 days ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
165
Voted
ECAL
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
133
click to vote
ER
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
166
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
180
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...