2490 search results - page 9 / 498 » Complexity of Contextual Reasoning |
164
click to vote
AFPAC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
LICS
1997
IEEE
15 years 2 months ago
1997
IEEE
KR
2000
Springer
15 years 1 months ago
2000
Springer
KR
1998
Springer
15 years 2 months ago
1998
Springer
