Sciweavers

3798 search results - page 163 / 760
» Automatic creation of user interfaces for information system
Sort
View
MM
2009
ACM
174views Multimedia» more  MM 2009»
15 years 4 months ago
Comparing fact finding tasks and user survey for evaluating a video browsing tool
There are still no established methods for the evaluation of browsing and exploratory search tools. In the (multimedia) information retrieval community evaluations following the C...
Werner Bailer, Herwig Rehatschek
83
Voted
IUI
2004
ACM
15 years 3 months ago
Designing example-critiquing interaction
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
Boi Faltings, Pearl Pu, Marc Torrens, Paolo Viappi...
JCDL
2004
ACM
151views Education» more  JCDL 2004»
15 years 3 months ago
Automatic organization for digital photographs with geographic coordinates
We describe PhotoCompas, a system that utilizes the time and location information embedded in digital photographs to automatically organize a personal photo collection. PhotoCompa...
Mor Naaman, Yee Jiun Song, Andreas Paepcke, Hector...
FROCOS
2011
Springer
13 years 9 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
CIVR
2009
Springer
229views Image Analysis» more  CIVR 2009»
15 years 4 months ago
A human-machine collaborative approach to tracking human movement in multi-camera video
Although the availability of large video corpora are on the rise, the value of these datasets remain largely untapped due to the difficulty of analyzing their contents. Automatic ...
Philip DeCamp, Deb Roy