Sciweavers

605 search results - page 78 / 121
» Parameterized Dynamic Tables
Sort
View
ICAT
2003
IEEE
15 years 4 months ago
Interactive 3-D Visualization of Real Forests
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
Qizhi Yu, Chongcheng Chen, Zhigeng Pan, Tianhe Chi
FM
2003
Springer
108views Formal Methods» more  FM 2003»
15 years 4 months ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
PG
2002
IEEE
15 years 3 months ago
A Physics-Based Framework for Subdivision Surface Design with Automatic Rules Control
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
Hui Xie, Hong Qin
CDC
2009
IEEE
225views Control Systems» more  CDC 2009»
15 years 3 months ago
High performance adaptive robust control for nonlinear system with unknown input backlash
—A high performance adaptive robust control (ARC) algorithm is developed for a class of nonlinear system with unknown input backlash, parametric uncertainties and uncertain nonli...
Jian Guo, Bin Yao, Qingwei Chen, Xiaobei Wu
RT
2001
Springer
15 years 3 months ago
Realistic Reflections and Refractions on Graphics Hardware with Hybrid Rendering and Layered Environment Maps
We introduce hybrid rendering, a scheme that dynamically ray traces the local geometry of reflective and refractive objects, but approximates more distant geometry by hardwaresupp...
Ziyad S. Hakura, John M. Snyder