4592 search results - page 642 / 919 » Framework for Studying Substitution |
ICFP
2004
ACM
16 years 23 days ago
2004
ACM
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 ...
100
Voted
PERCOM
2004
ACM
16 years 12 days ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...
143
Voted
MOBISYS
2003
ACM
16 years 11 days ago
2003
ACM
This work explores several system issues regarding the design and implementation of routing protocols for ad-hoc wireless networks. We examine the routing architecture in current ...
119
Voted
MOBIHOC
2008
ACM
16 years 11 days ago
2008
ACM
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
155
Voted
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a new algorithm that solves both the stereo matching and the image denoising problem simultaneously for a pair of noisy stereo images. Most stereo algorit...