4074 search results - page 511 / 815 » Defining Computational Aesthetics |
193
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
105
click to vote
CHI
2010
ACM
16 years 1 days ago
2010
ACM
We define occlusion-aware interfaces as interaction techniques which know what area of the display is currently occluded, and use this knowledge to counteract potential problems a...
168
click to vote
ACSAC
2003
IEEE
16 years 18 hour ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
223
click to vote
ACSC
2003
IEEE
16 years 18 hour ago
2003
IEEE
We introduced a novel method employing a hierarchical domain ontology structure to extract features representing documents in our previous publication (Wang 2002). All raw words i...
195
click to vote
CVPR
2003
IEEE
16 years 14 hour ago
2003
IEEE
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...