Sciweavers

5830 search results - page 109 / 1166
» Automatic link generation
Sort
View
GECCO
2009
Springer
209views Optimization» more  GECCO 2009»
15 years 9 months ago
MC/DC automatic test input data generation
Zeina Awedikian, Kamel Ayari, Giuliano Antoniol
CP
2001
Springer
15 years 9 months ago
Automatic Generation of Implied Clauses for SAT
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
Lyndon Drake
CODES
2000
IEEE
15 years 8 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
ICMCS
2000
IEEE
137views Multimedia» more  ICMCS 2000»
15 years 8 months ago
Automatic Query Generation for Content-Based Image Retrieval
We describe a subsystem of a content-based image retrieval (CBIR) environment that supports a user in the definition of image similarity. Out of a single image or a set of query i...
Christian Breiteneder, Horst Eidenberger