7811 search results - page 993 / 1563 » computing 2004 |
217
click to vote
RTA
2004
Springer
16 years 14 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
153
click to vote
SOFSEM
2004
Springer
16 years 14 days ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
185
click to vote
CG
2005
Springer
15 years 7 months ago
2005
Springer
Two experiments were carried out to explore the effect of rendering and interface fidelity on subjective impressions of illumination and perceived presence after exposure to a vir...
177
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
We treat feature selection and basis selection in a unified framework by introducing the masking matrix. If one considers feature selection as finding a binary mask vector that de...
251
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
We describe a learning based method for recovering 3D human body pose from single images and monocular image sequences. Our approach requires neither an explicit body model nor pr...