203 search results - page 8 / 41 » Real Arguments Are Approximate Arguments |
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
JANCL
2002
13 years 7 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
AGI
2011
12 years 11 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
CGA
2000
13 years 7 months ago
2000
ing graphics from reality as among the top ten challenges in computer graphics while Cohen [4] argues computer graphics real role is to enable imagination amplification beyond real...
SIAMNUM
2011
13 years 2 months ago
2011
We prove a posteriori error estimates for time discrete approximations, for semilinear parabolic equations with solutions that might blow-up in finite time. In particular we consi...