Sciweavers

988 search results - page 83 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
TOG
2008
128views more  TOG 2008»
14 years 9 months ago
VirtualStudio2Go: digital video composition for real environments
We synchronize film cameras and LED lighting with off-the-shelf video projectors. Radiometric compensation allows displaying keying patterns and other spatial codes on arbitrary r...
Anselm Grundhöfer, Oliver Bimber
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 1 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
ICWS
2008
IEEE
14 years 11 months ago
A Theory of Role Composition
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
Jeffrey Fischer, Rupak Majumdar
IJMMS
2006
108views more  IJMMS 2006»
14 years 10 months ago
Computational modeling and experimental investigation of effects of compositional elements on interface and design aesthetics
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
Michael Bauerly, Yili Liu
JUCS
2007
121views more  JUCS 2007»
14 years 9 months ago
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...