Sciweavers

988 search results - page 83 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
93
Voted
TOG
2008
128views more  TOG 2008»
15 years 21 days 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
108
Voted
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 4 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
110
Voted
ICWS
2008
IEEE
15 years 2 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
90
Voted
IJMMS
2006
108views more  IJMMS 2006»
15 years 24 days 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
108
Voted
JUCS
2007
121views more  JUCS 2007»
15 years 21 days 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...