Sciweavers

34170 search results - page 733 / 6834
» Optimization
Sort
View
ICML
2003
IEEE
16 years 29 days ago
Evolutionary MCMC Sampling and Optimization in Discrete Spaces
The links between genetic algorithms and population-based Markov Chain Monte Carlo (MCMC) methods are explored. Genetic algorithms (GAs) are well-known for their capability to opt...
Malcolm J. A. Strens
SBCCI
2003
ACM
115views VLSI» more  SBCCI 2003»
16 years 29 days ago
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
16 years 28 days ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha
GCC
2003
Springer
16 years 27 days ago
Optimizing Java Based Web Services by Partial Evaluation
Recently, web service is growing more and more popular. Java is a representative language to implement web based services. But its platform independency slows its running speed. Pa...
Lin Lin, Linpeng Huang, Yongqiang Sun
GECCO
2003
Springer
16 years 27 days ago
Parameter Optimization by a Genetic Algorithm for a Pitch Tracking System
The emergence of multimedia data in databases requires adequate methods for information retrieval. In a music data retrieval system by humming, the first stage is to extract exact...
Yoon-Seok Choi, Byung Ro Moon