Sciweavers

536 search results - page 56 / 108
» paste 2010
Sort
View
SERSCISA
2010
Springer
13 years 10 months ago
A Novel Approach Based on Fault Tolerance and Recursive Segmentation to Query by Humming
With the explosive growth of digital music, content-based music information retrieval especially query by humming/singing have been attracting more and more attention and are beco...
Xiaohong Yang, Qingcai Chen, Xiaolong Wang
CEC
2010
IEEE
13 years 9 months ago
A modified Invasive Weed Optimization algorithm for time-modulated linear antenna array synthesis
: Time modulated antenna arrays attracted the attention of researchers for the synthesis of low/ultra-low side lobes in recent past. In this article we propose an improved variant ...
Aniruddha Basak, Siddharth Pal, Swagatam Das, Ajit...
CEC
2010
IEEE
13 years 9 months ago
On convergence of multi-objective Particle Swarm Optimizers
Several variants of the Particle Swarm Optimization (PSO) algorithm have been proposed in recent past to tackle the multi-objective optimization problems based on the concept of Pa...
Prithwish Chakraborty, Swagatam Das, Ajith Abraham...
CONCUR
2010
Springer
13 years 9 months ago
Reasoning about Optimistic Concurrency Using a Program Logic for History
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
ETS
2010
IEEE
150views Hardware» more  ETS 2010»
13 years 9 months ago
Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
Daniel Tille, Stephan Eggersglüß, Rene ...