2139 search results - page 397 / 428 » Modeling Aspect-Oriented Compositions |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
TCIAIG
2010
13 years 4 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
TVCG
2010
13 years 4 months ago
2010
Focus+context interaction techniques based on the metaphor of lenses are used to navigate and interact with objects in large information spaces. They provide in-place magnification...
AGI
2011
13 years 1 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
PLDI
2011
ACM
13 years 21 days ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...