Sciweavers

399 search results - page 53 / 80
» Scene Modeling Based on Constraint System Decomposition Tech...
Sort
View
JSS
2007
75views more  JSS 2007»
14 years 11 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han
SRDS
1999
IEEE
15 years 4 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
SIGGRAPH
1993
ACM
15 years 3 months ago
Radioptimization: goal based rendering
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
John K. Kawai, James S. Painter, Michael F. Cohen
IVC
2008
94views more  IVC 2008»
14 years 11 months ago
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
CGF
2002
91views more  CGF 2002»
14 years 11 months ago
Modeling Surperspective Projection of Landscapes for Geographical Guide-Map Generation
It is still challenging to generate hand-drawn pictures because they differ from ordinary photographs in that they are often drawn as seen from multiple viewpoints. This paper pre...
Shigeo Takahashi, Naoya Ohta, Hiroko Nakamura, Yur...