Sciweavers

1028 search results - page 135 / 206
» Stochastic Differential Equations
Sort
View
HYBRID
2004
Springer
14 years 3 months ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
IEAAIE
2004
Springer
14 years 3 months ago
Cell Modeling Using Agent-Based Formalisms
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...
Ken Webb, Tony White
PARA
2004
Springer
14 years 3 months ago
Analyzing Advanced PDE Solvers Through Simulation
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
Henrik Johansson, Dan Wallin, Sverker Holmgren
ICDAR
2003
IEEE
14 years 2 months ago
Shock Filters for Character Image Enhancement and Peeling
In this paper, we propose a generalized shock model for the enhancement and restoration of degraded gray-level character images. This model is a quasi-linear hyperbolic partial di...
Mohamed Cheriet
CA
2002
IEEE
14 years 2 months ago
Randomly Accessible Procedural Animation of Physically Approximate Turbulent Motion
Complex virtual environments can be simulated with physical or procedural motion. Physical motion is more realistic, but requires the integration of an ordinary differential equat...
Hui Fang, John C. Hart