Sciweavers

2152 search results - page 290 / 431
» An Abstract Account of Composition
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 9 months ago
From IF to BI: a tale of dependence and separation
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...
Samson Abramsky, Jouko A. Väänänen
141
Voted
STVR
2010
80views more  STVR 2010»
14 years 8 months ago
Testing coupling relationships in object-oriented programs
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...
Roger T. Alexander, Jeff Offutt, Andreas Stefik
TCIAIG
2010
14 years 8 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
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...
Arnav Jhala, R. Michael Young
117
Voted
TSMC
2010
14 years 8 months ago
A Benchmark Diagnostic Model Generation System
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
Jun Wang, Gregory M. Provan
ISVC
2009
Springer
15 years 6 months ago
Visualization of the Molecular Dynamics of Polymers and Carbon Nanotubes
Abstract. Research domains that deal with complex molecular systems often employ computer-based thermodynamics simulations to study molecular interactions and investigate phenomena...
Sidharth Thakur, Syamal Tallury, Melissa A. Pasqui...