4211 search results - page 300 / 843 » A formal approach to MASQ |
175
click to vote
ACCV
2006
Springer
16 years 23 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...
164
click to vote
ECAL
2005
Springer
16 years 9 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
Voted
ER
2005
Springer
16 years 8 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...
165
click to vote
ECAI
2004
Springer
16 years 4 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...
178
click to vote
PPDP
2004
Springer
16 years 3 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...