Sciweavers

4205 search results - page 385 / 841
» Typed Mobile Objects
Sort
View
ICALP
2003
Springer
15 years 12 months ago
Secrecy in Untrusted Networks
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vlad...
ACL
2008
15 years 8 months ago
Intensional Summaries as Cooperative Responses in Dialogue: Automation and Evaluation
Despite its long history, and a great deal of research producing many useful algorithms and observations, research in cooperative response generation has had little impact on the ...
Joseph Polifroni, Marilyn A. Walker
ACSW
2003
15 years 8 months ago
Location Management in Pervasive Systems
Pervasive systems require context awareness in order to be able to provide “anywhere, anytime” computing to mobile users. One type of context information is location informati...
Jadwiga Indulska, Peter Sutton
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 6 months ago
Capacity Analysis for Continuous Alphabet Channels with Side Information, Part II: MIMO Channels
In this part, we consider the capacity analysis for wireless mobile systems with multiple antenna architectures. We apply the results of the first part to a commonly known baseban...
Majid Fozunbal, Steven W. McLaughlin, Ronald W. Sc...
CVPR
2003
IEEE
16 years 8 months ago
Shape and Materials by Example: A Photometric Stereo Approach
This paper presents a technique for computing the geometry of objects with general reflectance properties from images. For surfaces with varying material properties, a full segmen...
Aaron Hertzmann, Steven M. Seitz