Sciweavers

1521 search results - page 224 / 305
» Efficient Design Validation Based on Cultural Algorithms
Sort
View
123
Voted
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
15 years 9 months ago
Investigating the performance of module acquisition in cartesian genetic programming
Embedded Cartesian Genetic Programming (ECGP) is a form of the graph based Cartesian Genetic Programming (CGP) in which modules are automatically acquired and evolved. In this pap...
James Alfred Walker, Julian Francis Miller
DAC
2003
ACM
15 years 9 months ago
Symbolic analysis of analog circuits with hard nonlinearity
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
Alicia Manthe, Zhao Li, C.-J. Richard Shi
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
IJDAR
2008
136views more  IJDAR 2008»
15 years 3 months ago
Matching word images for content-based retrieval from printed document images
As large quantity of document images is getting archived by the digital libraries, there is a need for an efficient search strategies to make them available as per users informatio...
Million Meshesha, C. V. Jawahar
111
Voted
TASLP
2008
81views more  TASLP 2008»
15 years 3 months ago
Instrument-Specific Harmonic Atoms for Mid-Level Music Representation
Several studies have pointed out the need for accurate mid-level representations of music signals for information retrieval and signal processing purposes. In this paper, we propos...
Pierre Leveau, Emmanuel Vincent, Gaël Richard...