5600 search results - page 406 / 1120 » Evaluating affective interactions |
189
click to vote
CGF
2007
15 years 7 months ago
2007
This paper describes a fast rendering algorithm for verification of spectacle lens design. Our method simulates refraction corrections of astigmatism as well as myopia or presbyo...
215
click to vote
CGF
2004
15 years 7 months ago
2004
Despite the notable progress in physically-based rendering, there is still a long way to go before we can automatically generate predictable images of biological materials. In thi...
353
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
219
click to vote
MMS
2008
15 years 7 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
214
click to vote
AROBOTS
2004
15 years 7 months ago
2004
In this paper, we report some important results of design and evaluation of a wheelchair-based robotic arm system, named as KARES II (KAIST Rehabilitation Engineering Service Syste...