213 search results - page 26 / 43 » Modeling and Testing Hierarchical GUIs |
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
BMVC
2010
13 years 5 months ago
2010
This work proposes a biologically inspired approach to integrate latent topic model with saliency detection. Firstly, a saliency detection algorithm is presented to discriminate s...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
We describe a simple model for parsing pedestrians based on shape. Our model assembles candidate parts from an oversegmentation of the image and matches them to a library of exemp...
IFIP
2001
Springer
14 years 3 hour ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
JOLLI
2010
13 years 6 months ago
2010
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...