134 search results - page 20 / 27 » A quadrilateral rendering primitive |
109
click to vote
CADE
2000
Springer
15 years 4 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
120
click to vote
SIGGRAPH
1996
ACM
15 years 3 months ago
1996
ACM
Sketching communicates ideas rapidly through approximate visual images with low overhead (pencil and paper), no need for precision or specialized knowledge, and ease of low-level ...
GEOINFO
2004
15 years 1 months ago
2004
: The performance of a walkthrough over terrain models is deeply influenced by the real scenario high level of details. To guarantee natural and smooth changes in a sequence of sce...
TIM
2011
14 years 6 months ago
2011
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
101
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present a generative, high resolution face representation which extends the well-known active appearance model (AAM)[5, 6, 7] with two additional layers. (i) One ...