Sciweavers

2530 search results - page 257 / 506
» Dynamic topological logic
Sort
View
VISUALIZATION
2003
IEEE
15 years 12 months ago
Image Space Based Visualization of Unsteady Flow on Surfaces
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
Robert S. Laramee, Bruno Jobard, Helwig Hauser
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 12 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
IJCNN
2000
IEEE
15 years 11 months ago
Predictive Multiple Model Switching Control with the Self-Organizing Map
—A predictive, multiple model control strategy is developed by extension of self-organizing map (SOM) local dynamic modeling of nonlinear autonomous systems to a control framewor...
Mark A. Motter
INFOCOM
2000
IEEE
15 years 11 months ago
Virtual Backbone Generation and Maintenance in Ad Hoc Network Mobility Management
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
Ben Liang, Zygmunt J. Haas
IMAMS
1994
109views Mathematics» more  IMAMS 1994»
15 years 8 months ago
Physics-Based NURBS Swung Surfaces
We develop a dynamic, free-form surface model which is useful for representing a broad class of objects with symmetries and topological variability. The new model is based upon sw...
Hong Qin, Demetri Terzopoulos