Sciweavers

3131 search results - page 487 / 627
» Phase-Based Local Features
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
Celadon: a change impact analysis tool for aspect-oriented programs
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
ICFP
2004
ACM
16 years 6 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
PERCOM
2005
ACM
16 years 6 months ago
Supporting Topographic Queries in a Class of Networked Sensor Systems
Topographic querying is the process of extracting data from a sensor network for understanding the graphic delineation of features of interest in a terrain. Query processing techn...
Mitali Singh, Viktor K. Prasanna
DCC
2002
IEEE
16 years 6 months ago
Iterated Denoising for Image Recovery
In this paper we propose an algorithm for image recovery where completely lost blocks in an image/video-frame are recovered using spatial information surrounding these blocks. Our...
Onur G. Guleryuz
MOBIHOC
2003
ACM
16 years 6 months ago
ANODR: anonymous on demand routing with untraceable routes for mobile ad-hoc networks
In hostile environments, the enemy can launch traffic analysis against interceptable routing information embedded in routing messages and data packets. Allowing adversaries to tra...
Jiejun Kong, Xiaoyan Hong