4491 search results - page 108 / 899 » Algorithm Engineering |
FASE
2010
Springer
14 years 5 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...
ISPAN
1997
IEEE
14 years 2 months ago
1997
IEEE
Abstract- String matching problem received much attention over the years due to its importance in various applications such as text/file comparison, DNA sequencing, search engines,...
ISCC
2005
IEEE
14 years 3 months ago
2005
IEEE
- Traffic Engineering objective is to optimize network resource utilization. Although several works have been published about minimizing network resource utilization, few works hav...
EDBTW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Algorithms for processing Structural Joins embody essential building blocks for XML query evaluation. Their design is a difficult task, because they have to satisfy many ...
SOCO
2010
Springer
13 years 8 months ago
2010
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...