Sciweavers

12264 search results - page 162 / 2453
» An Analysis of the XSL Algorithm
Sort
View
VMCAI
2007
Springer
16 years 4 days ago
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
Sigmund Cherem, Radu Rugina
ACIVS
2010
Springer
15 years 3 months ago
Watershed Based Document Image Analysis
Document image analysis is used to segment and classify regions of a document image into categories such as text, graphic and background. In this paper we first review existing doc...
Pasha Shadkami, Nicolas Bonnier
PODS
2008
ACM
153views Database» more  PODS 2008»
16 years 6 months ago
Approximation algorithms for co-clustering
Co-clustering is the simultaneous partitioning of the rows and columns of a matrix such that the blocks induced by the row/column partitions are good clusters. Motivated by severa...
Aris Anagnostopoulos, Anirban Dasgupta, Ravi Kumar
IPPS
2005
IEEE
15 years 11 months ago
PDM Sorting Algorithms That Take A Small Number of Passes
We live in an era of data explosion that necessitates the discovery of novel out-of-core techniques. The I/O bottleneck has to be dealt with in developing out-of-core methods. The...
Sanguthevar Rajasekaran, Sandeep Sen
SPAA
2000
ACM
15 years 10 months ago
An experimental study of a simple, distributed edge coloring algorithm
We conduct an experimental analysis of a distributed, randomized algorithm for edge coloring graphs. The algorithm is extremely simple, yet, according to the probabilistic analysi...
Madhav V. Marathe, Alessandro Panconesi, Larry D. ...