2451 search results - page 161 / 491 » The Octagon Abstract Domain |
174
Voted
FMCO
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
188
Voted
SCALESPACE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We present a technique for texture mapping arbitrary sphere-like surfaces with minimal distortions by spherical embedding. The embedding is computed using spherical multi...
169
Voted
GCC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Multicast is an effective means for conducting the cooperative P2P communications. This paper studies an algorithm to construct a scalable and efficient end host multica...
172
click to vote
ICA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Frequency domain ICA has been used successfully to separate the utterances of interfering speakers in convolutive environments, see e.g. [6],[7]. Improved separation resu...
168
Voted
AUSAI
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...