Sciweavers

1191 search results - page 85 / 239
» A new approach to nonrepetitive sequences
Sort
View
CODES
2000
IEEE
14 years 2 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...
ECCV
2002
Springer
15 years 6 days ago
Surviving Dominant Planes in Uncalibrated Structure and Motion Recovery
In this paper we address the problem of uncalibrated structure and motion recovery from image sequences that contain dominant planes in some of the views. Traditional approaches fa...
Marc Pollefeys, Frank Verbiest, Luc J. Van Gool
EVOW
2005
Springer
14 years 3 months ago
Population Training Heuristics
This work describes a new way of employing problem-specific heuristics to improve evolutionary algorithms: the Population Training Heuristic (PTH). The PTH employs heuristics in ...
Alexandre César Muniz de Oliveira, Luiz Ant...
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
14 years 2 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
FIW
1998
130views Communications» more  FIW 1998»
13 years 11 months ago
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
Maritta Heisel, Jeanine Souquières