2490 search results - page 9 / 498 » Complexity of Contextual Reasoning |
276
click to vote
AFPAC
2000
Springer
15 years 10 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...
181
click to vote
BIRTHDAY
2010
Springer
15 years 6 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...
152
Voted
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
143
Voted
KR
2000
Springer
15 years 9 months ago
2000
Springer
