12257 search results - page 233 / 2452 » Analysis of Algorithms |
FASE
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
128
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
112
click to vote
DAM
2010
15 years 2 months ago
2010
Many applications like pointer analysis and incremental compilation require maintaining a topological ordering of the nodes of a directed acyclic graph (DAG) under dynamic updates...
126
click to vote
SIGIR
2009
ACM
2009
ACM
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
15 years 8 months ago
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...
124
click to vote
ICA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we propose to use the Huber M-estimator cost function as a contrast function within the complex FastICA algorithm of Bingham and Hyvarinen for the blind separation o...