713 search results - page 81 / 143 » Reasoning with Projected Contours |
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
PG
2007
IEEE
14 years 3 months ago
2007
IEEE
Both hair rendering and global illumination are known to be computationally expensive, and for this reason we see very few examples using global illumination techniques in hair re...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
STORYTELLING
2007
Springer
14 years 3 months ago
2007
Springer
The proposal of this research project is to develop a standard connection mechanism to make narrative environments and the external systems that control them interoperable. Thanks ...
HPCS
2006
IEEE
14 years 2 months ago
2006
IEEE
We analyze the behavior of Euler-Maclaurin-based integration schemes with the intention of deriving accurate and economic estimations of the error. These schemes typically provide...