527 search results - page 72 / 106 » Towards a Natural Way of Reasoning |
SMI
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
IJCAI
1989
13 years 9 months ago
1989
This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
SSPR
2004
Springer
14 years 1 months ago
2004
Springer
Many attempts have been made to represent families of 2D shapes in a simpler way. These approaches lead to so-called structures as the Symmetry Set (SS) and a subset of it, the Med...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...