5499 search results - page 201 / 1100 » Generalized Rewrite Theories |
208
click to vote
ICCV
1998
IEEE
16 years 9 months ago
1998
IEEE
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
181
click to vote
KR
2004
Springer
16 years 15 days ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
197
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
212
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
210
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...