2259 search results - page 172 / 452 » Separation and information hiding |
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
IUI
1997
ACM
14 years 2 months ago
1997
ACM
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
ECCV
2006
Springer
15 years 6 days ago
2006
Springer
We present a unified framework for separating specular and diffuse reflection components in images and videos of textured scenes. This can be used for specularity removal and for i...
DCC
2007
IEEE
14 years 10 months ago
2007
IEEE
We consider the distributed computation of a function of random sources with minimal communication. Specifically, given two discrete memoryless sources, X and Y , a receiver wishe...
PLPV
2011
ACM
13 years 1 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...