1888 search results - page 69 / 378 » Proof theory and computational analysis |
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
143
Voted
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
82
Voted
NGC
2002
Springer
15 years 3 days ago
2002
Springer
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
CHI
2006
ACM
16 years 25 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
119
Voted
SMI
2003
IEEE
15 years 5 months ago
2003
IEEE
Partitioning is a fundamental operation on graphs. In this paper we briefly review the basic concepts of graph partitioning and its relationship to digital mesh processing. We als...