6129 search results - page 831 / 1226 » A parallel LLL algorithm |
182
click to vote
PARA
2004
Springer
2004
Springer
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
16 years 4 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...
174
click to vote
HLK
2003
IEEE
16 years 2 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...
181
Voted
CONCUR
2003
Springer
16 years 23 hour 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” ...
167
Voted
GCC
2003
Springer
16 years 13 hour 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 ...
195
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...