Sciweavers

420 search results - page 15 / 84
» Computational Study of Fast Methods For The Eikonal Equation
Sort
View
110
Voted
RTSS
2005
IEEE
15 years 6 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
99
Voted
JMIV
2007
122views more  JMIV 2007»
15 years 11 days 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
116
Voted
SAC
2012
ACM
13 years 8 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...
117
Voted
VC
2010
217views more  VC 2010»
14 years 10 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
85
Voted
IJON
2000
76views more  IJON 2000»
15 years 8 days 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