Sciweavers

726 search results - page 128 / 146
» A Framework for Constraint Programming Based Column Generati...
Sort
View
SACMAT
2009
ACM
14 years 3 months ago
An algebra for fine-grained integration of XACML policies
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, ...
ICFEM
1997
Springer
14 years 27 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CVGIP
2006
116views more  CVGIP 2006»
13 years 8 months ago
Autonomous behaviors for interactive vehicle animations
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
Jared Go, Thuc D. Vu, James J. Kuffner
AAMAS
2000
Springer
13 years 8 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
CVPR
2009
IEEE
1131views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Continuous Depth Estimation for Multi-view Stereo
Depth-map merging approaches have become more and more popular in multi-view stereo (MVS) because of their flexibility and superior performance. The quality of depth map used fo...
Yebin Liu (Tsinghua University), Xun Cao (Tsinghu...