Sciweavers

2531 search results - page 230 / 507
» Group testing in graphs
Sort
View
ICDAR
2009
IEEE
15 years 4 months ago
HCL2000 - A Large-scale Handwritten Chinese Character Database for Handwritten Character Recognition
In this paper, we present a large scale off-line handwritten Chinese character database-HCL2000 which will be made public available for the research community. The database contai...
Honggang Zhang, Jun Guo, Guang Chen, Chun-Guang Li
PLDI
2009
ACM
16 years 1 months ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan
APPROX
2004
Springer
135views Algorithms» more  APPROX 2004»
15 years 12 months ago
The Diameter of Randomly Perturbed Digraphs and Some Applications.
The central observation of this paper is that if ǫn random arcs are added to any n-node strongly connected digraph with bounded degree then the resulting graph has diameter O(ln ...
Abraham Flaxman, Alan M. Frieze
ICDM
2008
IEEE
109views Data Mining» more  ICDM 2008»
16 years 28 days ago
Quantitative Association Analysis Using Tree Hierarchies
Association analysis arises in many important applications such as bioinformatics and business intelligence. Given a large collection of measurements over a set of samples, associ...
Feng Pan, Lynda Yang, Leonard McMillan, Fernando P...
ATAL
2010
Springer
15 years 7 months ago
Asynchronous algorithms for approximate distributed constraint optimization with quality bounds
Distributed Constraint Optimization (DCOP) is a popular framework for cooperative multi-agent decision making. DCOP is NPhard, so an important line of work focuses on developing f...
Christopher Kiekintveld, Zhengyu Yin, Atul Kumar, ...