4460 search results - page 859 / 892 » Formal methods for interactive systems |
CLEF
2009
Springer
13 years 5 months ago
2009
Springer
: This paper presents the results of a user study conducted in the framework of the Interactive Image Retrieval task at CLEF 2009. The main goal of our research is to understand th...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Game analytics is a domain that focuses on the systems and methods used to analyze game-related data. In this paper we present how a visual game analytic tool can be developed to ...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Temporal segmentation of facial gestures in spontaneous facial behavior recorded in real-world settings is an important, unsolved, and relatively unexplored problem in facial imag...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
The photorealistic modeling of large-scale objects, such as urban scenes, requires the combination of range sensing technology and digital photography. In this paper, we attack th...