6105 search results - page 857 / 1221 » A Parallel Algorithm for Bound-Smoothing |
159
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
To improve popular services discovery mechanism (UDDI mainly), we propose an agent-based services discovery mechanism. In this mechanism, services information is stored in distribu...
182
click to vote
PARA
2004
Springer
2004
Springer
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
16 years 3 days ago
Abstract. We propose a new two-level nonlinear additive Schwarz preconditioned inexact Newton algorithm (ASPIN). The two-level nonlinear preconditioner combines a local nonlinear a...
170
click to vote
HLK
2003
IEEE
16 years 1 days ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
180
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...