Sciweavers

682 search results - page 51 / 137
» Environment Matting and Compositing
Sort
View
CSFW
1999
IEEE
13 years 12 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
ICMCS
1999
IEEE
155views Multimedia» more  ICMCS 1999»
13 years 12 months ago
Real-Time Composition of Stereo Images for Video See-Through Augmented Reality
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
Masayuki Kanbara, Takashi Okuma, Haruo Takemura, N...
FASE
2009
Springer
13 years 11 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ICWS
2007
IEEE
13 years 9 months ago
Improved Adaptation of Web Service Compositions Using Value of Changed Information
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...
Girish Chafle, Prashant Doshi, John Harney, Sumit ...
FLAIRS
2003
13 years 9 months ago
Learning from Reinforcement and Advice Using Composite Reward Functions
1 Reinforcement learning has become a widely used methodology for creating intelligent agents in a wide range of applications. However, its performance deteriorates in tasks with s...
Vinay N. Papudesi, Manfred Huber