Sciweavers

894 search results - page 85 / 179
» Optimizations for LTL Synthesis
Sort
View
GLVLSI
2009
IEEE
164views VLSI» more  GLVLSI 2009»
15 years 7 months ago
Capturing topology-level implications of link synthesis techniques for nanoscale networks-on-chip
In the context of nanoscale networks-on-chip (NoCs), each link implementation solution is not just a specific synthesis optimization technique with local performance and power im...
Daniele Ludovici, Georgi Nedeltchev Gaydadjiev, Da...
87
Voted
GECCO
2007
Springer
392views Optimization» more  GECCO 2007»
15 years 6 months ago
Electronic synthesis using genetic algorithms for automatic music transcription
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
Gustavo Reis, Francisco Fernández de Vega
104
Voted
GECCO
2007
Springer
345views Optimization» more  GECCO 2007»
15 years 6 months ago
A novel approach to automatic music transcription using electronic synthesis and genetic algorithms
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
Gustavo Reis, Francisco Fernández de Vega
VLSID
2000
IEEE
94views VLSI» more  VLSID 2000»
15 years 5 months ago
A Genetic Algorithm for the Synthesis of Structured Data Paths
The technique presented here achieves simultaneous optimization of schedule time and data path component cost within a structured data path architecture, using a genetic algorithm...
Chittaranjan A. Mandal, R. M. Zimmer
94
Voted
CVRMED
1997
Springer
15 years 4 months ago
Geometric constraint analysis and synthesis: methods for improving shape-based registration accuracy
Shape-based registration is a process for estimating the transformation between two shape representations of an object. It is used in many image-guided surgical systems to establis...
David A. Simon, Takeo Kanade