3951 search results - page 450 / 791 » Automatic amortized analysis |
218
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
225
click to vote
ICIAP
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. The recognition of events in videos is a relevant and challenging task of automatic semantic video analysis. At present one of the most successful frameworks, used for ob...
219
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
213
click to vote
IEEECGIV
2009
IEEE
15 years 4 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
235
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
One important problem in computer vision is to provide a demographic description a person from an image. In practice, many of the state-of-the-art methods use only an analysis of ...