900 search results - page 66 / 180 » On the observational theory of the CPS-calculus |
188
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we introduce a novel approach for simultaneous restoration and segmentation of blurred, noisy images by approaching a variant of the Mumford-Shah functional from a ...
274
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
155
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Individuals with cognitive deficits and their families are prime examples of collaborative "systems" that seek to perform everyday tasks together. Yet there has been lit...
171
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This project aims to further our understanding of the practice of user-centered design (UCD) by observing the argumentation strategies used by designers in faceto-face meetings in...
170
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
Several centralized and distributed algorithms have been recently proposed to maximize the multicast lifetime for directional communications in wireless ad-hoc networks. Their per...