Sciweavers

3384 search results - page 72 / 677
» More Testable Properties
Sort
View
ICPR
2004
IEEE
14 years 9 months ago
Car Detection Based on Multi-Cues Integration
In this paper we present a novel fast multi-cues based car detection technique in still outdoor images. On the bottom level, two novel area templates based on edge cue and interes...
Hanqing Lu, James Hu, Keiichi Uchimura, Zhenfeng Z...
CVPR
2010
IEEE
14 years 4 months ago
Automatic Image Annotation Using Group Sparsity
Automatically assigning relevant text keywords to images is an important problem. Many algorithms have been proposed in the past decade and achieved good performance. Efforts have...
Shaoting Zhang, Junzhou Huang, Yuchi Huang, Yang Y...
SI3D
2006
ACM
14 years 2 months ago
Perceptually driven interactive geometry remeshing
Visual patterns on the surface of an object, such as two dimensional texture, are taken into consideration as part of the geometry remeshing process. Given a parameterized mesh an...
Lijun Qu, Gary W. Meyer
ICSE
2001
IEEE-ACM
14 years 1 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
DSN
2000
IEEE
14 years 1 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...