CORR
2011
Springer
13 years 6 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
—Dual descent methods are commonly used to solve network optimization problems because their implementation can be distributed through the network. However, their convergence rat...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
We develop a new technique for computing maximum flow in directed planar graphs with multiple sources and a single sink that significantly deviates from previously known techniqu...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
CORR
2011
Springer
2011
Springer
Application of Threshold Techniques for Readability Improvement of Jawi Historical Manuscript Images
13 years 6 months ago
CORR
2011
Springer
13 years 6 months ago
2011
Springer
Research shows that comment spamming (comments which are unsolicited, unrelated, abusive, hateful, commercial advertisements etc) in online discussion forums has become a common p...
CORR
2011
Springer
13 years 6 months ago
2011
Springer