1948 search results - page 3 / 390 » Formalizing Mirror Theory |
ENTCS
2008
13 years 7 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a novel method for analyzing reflections on arbitrary surfaces. We model reflections using a broader than usual class of imaging models, which include both perspective ...
DLT
2010
13 years 9 months ago
2010
PRIMA
2009
Springer
14 years 2 months ago
2009
Springer
In recent years, the topic of emotion reading has increasingly received attention from researchers in Cognitive Science and Artificial Intelligence. To study this phenomenon, in th...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
