3639 search results - page 371 / 728 » Provenance as Dependency Analysis |
191
click to vote
ICDAR
2005
IEEE
16 years 12 days ago
2005
IEEE
Many diagrams contain compound objects composed of parts. We propose a recognition framework that learns parts in an unsupervised way, and requires training labels only for compou...
181
click to vote
ICIP
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a new technique for noise removal in images. It benefits both from the recent advances in waveletbased and variational denoising. Whereas wavelet-based analys...
206
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
168
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
203
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...