Sciweavers

378 search results - page 38 / 76
» Convergence of rank-type equations
Sort
View
GCC
2003
Springer
15 years 5 months ago
Distributed Computation for Diffusion Problem in a P2P-Enhanced Computing System
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...
Jun Ni, Lili Huang, Tao He, Yongxiang Zhang, Shaow...
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 4 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
CCL
1994
Springer
15 years 4 months ago
On Modularity in Term Rewriting and Narrowing
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
Christian Prehofer
ADCM
2010
270views more  ADCM 2010»
14 years 12 months ago
A fast algorithm for the total variation model of image denoising
The total variation model of Rudin, Osher, and Fatemi for image denoising is considered to be one of the best denoising models. In the past, its solutions were based on nonlinear ...
Rong-Qing Jia, Hanqing Zhao
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
14 years 12 months ago
On the infinite time solution to state-constrained stochastic optimal control problems
: For an infinite-horizon optimal control problem, the cost does not, in general, converge. The classical work-around to this problem is to introduce a discount or "forgetting...
Per Rutquist, Claes Breitholtz, Torsten Wik