1620 search results - page 205 / 324 » eg 2010 |
87
Voted
SAS
2010
Springer
14 years 9 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
164
click to vote
SEKE
2010
Springer
14 years 9 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
101
click to vote
SIAMCOMP
2010
14 years 9 months ago
2010
Abstract. We study the Edge Disjoint Paths (EDP) problem in undirected graphs: Given a graph G with n nodes and a set T of pairs of terminals, connect as many terminal pairs as pos...
SISAP
2010
IEEE
14 years 9 months ago
2010
IEEE
The efficient similarity search in metric spaces is usually based on several low-level partitioning principles, which allow filtering of non-relevant objects during the search. I...
SMI
2010
IEEE
14 years 9 months ago
2010
IEEE
—The level set method can implement a wide variety of shape modeling operations (e.g. offsetting, skeletonization, morphing, blending, smoothing, sharpening, embossing, denoising...