420 search results - page 15 / 84 » Computational Study of Fast Methods For The Eikonal Equation |
RTSS
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
JMIV
2007
13 years 7 months ago
2007
High-quality image inpainting methods based on nonlinear higher-order partial differential equations have been developed in the last few years. These methods are iterative by natur...
SAC
2012
ACM
12 years 2 months ago
2012
ACM
Data cloning method is a new computational tool for computing maximum likelihood estimates in complex statistical models such as mixed models. This method is synthesized with inte...
VC
2010
13 years 5 months ago
2010
In this paper, we introduce a 2D particle-based approach to achieve realistic water surface behaviors for interactive applications. We formulate 2D particle-based Shallow Water equ...
IJON
2000
13 years 7 months ago
2000
The complexity of neural networks of the brain makes studying these networks through computer simulation challenging. Conventional methods, where one models thousands of individua...