Sciweavers

1159 search results - page 79 / 232
» Binary Decision Graphs
Sort
View
ICALP
2001
Springer
14 years 2 months ago
Improved Lower Bounds on the Randomized Complexity of Graph Properties
We prove a lower bound of (n4/3 log1/3 n) on the randomized decision tree complexity of any nontrivial monotone n-vertex graph property, and of any nontrivial monotone bipartite g...
Amit Chakrabarti, Subhash Khot
ENTCS
2006
126views more  ENTCS 2006»
13 years 10 months ago
An Applicative Control-Flow Graph Based on Huet's Zipper
We are using ML to build a compiler that does low-level optimization. To support optimizations in classic imperative style, we built a control-flow graph using mutable pointers an...
Norman Ramsey, João Dias
CVPR
2005
IEEE
15 years 6 days ago
Part-Based Statistical Models for Object Classification and Detection
We propose using simple mixture models to define a set of mid-level binary local features based on binary oriented edge input. The features capture natural local structures in the...
Elliot Joel Bernstein, Yali Amit
ISSRE
2006
IEEE
14 years 4 months ago
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
Nachiappan Nagappan, Thomas Ball, Brendan Murphy
ICALP
1995
Springer
14 years 1 months ago
Parallel Algorithms with Optimal Speedup for Bounded Treewidth
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
Hans L. Bodlaender, Torben Hagerup