Sciweavers

420 search results - page 15 / 84
» Computational Study of Fast Methods For The Eikonal Equation
Sort
View
RTSS
2005
IEEE
15 years 9 months ago
Fast On-the-Fly Parametric Real-Time Model Checking
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...
Dezhuang Zhang, Rance Cleaveland
127
Voted
JMIV
2007
122views more  JMIV 2007»
15 years 3 months ago
Fast Image Inpainting Based on Coherence Transport
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...
Folkmar Bornemann, Tom März
151
Voted
SAC
2012
ACM
13 years 11 months ago
On a hybrid data cloning method and its application in generalized linear mixed models
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...
Hossein Baghishani, Håvard Rue, Mohsen Moham...
144
Voted
VC
2010
217views more  VC 2010»
15 years 1 months ago
Solving the Shallow Water equations using 2D SPH particles for interactive applications
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...
Hyokwang Lee, Soonhung Han
111
Voted
IJON
2000
76views more  IJON 2000»
15 years 3 months ago
Fast neural network simulations with population density methods
The complexity of neural networks of the brain makes studying these networks through computer simulation challenging. Conventional methods, where one models thousands of individua...
Duane Q. Nykamp, Daniel Tranchina