Sciweavers

3136 search results - page 311 / 628
» Comparison of Clique-Listing Algorithms
Sort
View
WACV
2005
IEEE
16 years 6 days ago
Measures of Similarity
Quantitative evaluation and comparison of image segmentation algorithms is now feasible owing to the recent availability of collections of hand-labeled images. However, little att...
Ranjith Unnikrishnan, Martial Hebert
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 5 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
GECCO
2005
Springer
156views Optimization» more  GECCO 2005»
16 years 5 days ago
Enhancing differential evolution performance with local search for high dimensional function optimization
In this paper, we proposed Fittest Individual Refinement (FIR), a crossover based local search method for Differential Evolution (DE). The FIR scheme accelerates DE by enhancing...
Nasimul Noman, Hitoshi Iba
ISCIS
2005
Springer
16 years 4 days ago
Computing Communities in Large Networks Using Random Walks
Dense subgraphs of sparse graphs (communities), which appear in most real-world complex networks, play an important role in many contexts. Computing them however is generally expe...
Pascal Pons, Matthieu Latapy
ISMIR
2005
Springer
165views Music» more  ISMIR 2005»
16 years 4 days ago
Using a Pitch Detector for Onset Detection
A segmentation strategy is explored for monophonic instrumental pitched non-percussive material (PNP) which proceeds from the assertion that human-like event analysis can be found...
Nick Collins