Sciweavers

11129 search results - page 56 / 2226
» Modeling Search Computing Applications
Sort
View
FMCAD
2000
Springer
15 years 1 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
CHI
1999
ACM
15 years 2 months ago
Learning and Performing by Exploration: Label Quality Measured by Latent Semantic Analysis
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
Rodolfo Soto
ICCV
2001
IEEE
15 years 12 months ago
Learning the Semantics of Words and Pictures
We present a statistical model for organizing image collections which integrates semantic information provided by associated text and visual information provided by image features...
Kobus Barnard, David A. Forsyth
IJON
2007
96views more  IJON 2007»
14 years 10 months ago
Suppressive effects in visual search: A neurocomputational analysis of preview search
In the real world, visual information is selected over time as well as space, when we prioritise new stimuli for attention. Watson and Humphreys [Visual marking: prioritising sele...
Eirini Mavritsaki, Dietmar Heinke, Glyn W. Humphre...
CHI
2006
ACM
15 years 10 months ago
Integrating models of human-computer visual interaction
Predicting visual search behavior in human-computer interaction is a challenging problem. It is important for predictive modeling of human-computer interaction to integrate the vi...
Tim Halverson