Sciweavers

288 search results - page 19 / 58
» Recent progress in quantum algorithms
Sort
View
JCDL
2009
ACM
154views Education» more  JCDL 2009»
14 years 3 months ago
An alignment based system for chord sequence retrieval
Music retrieval systems for Western tonal music digital libraries have to consider rhythmic, timbral, melodic and harmonic information. Most existing retrieval systems only take i...
Pierre Hanna, Matthias Robine, Thomas Rocher
COCO
2008
Springer
146views Algorithms» more  COCO 2008»
13 years 10 months ago
A Direct Product Theorem for Discrepancy
Discrepancy is a versatile bound in communication complexity which can be used to show lower bounds in the distributional, randomized, quantum, and even unbounded error models of ...
Troy Lee, Adi Shraibman, Robert Spalek
POPL
2009
ACM
14 years 9 months ago
Semi-sparse flow-sensitive pointer analysis
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
Ben Hardekopf, Calvin Lin
ASUNAM
2010
IEEE
13 years 10 months ago
Detecting Highly Overlapping Communities with Model-Based Overlapping Seed Expansion
Abstract--As research into community finding in social networks progresses, there is a need for algorithms capable of detecting overlapping community structure. Many algorithms hav...
Aaron McDaid, Neil Hurley
ASPDAC
2008
ACM
116views Hardware» more  ASPDAC 2008»
13 years 10 months ago
Faster projection based methods for circuit level verification
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
Chao Yan, Mark R. Greenstreet