Sciweavers

660 search results - page 20 / 132
» Improving AOR method for consistent linear systems
Sort
View
PARA
2004
Springer
15 years 2 months ago
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
Keita Teranishi, Padma Raghavan
MKM
2007
Springer
15 years 3 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
ICCV
2011
IEEE
13 years 9 months ago
Learning a Category Independent Object Detection Cascade
Cascades are a popular framework to speed up object detection systems. Here we focus on the first layers of a category independent object detection cascade in which we sample a l...
Esa Rahtu, Juho Kannala, Matthew Blaschko
ICIP
2010
IEEE
15 years 4 months ago
Real-time content-aware image resizing using reduced linear model
In this paper is presented an effective and efficient method for content-aware image resizing. It is based on the solution of a linear system where each pixel displacement (compres...
Edoardo Ardizzone, Roberto Gallea, Roberto Pirrone
GECCO
2006
Springer
177views Optimization» more  GECCO 2006»
15 years 1 months ago
Hyper-ellipsoidal conditions in XCS: rotation, linear approximation, and solution structure
The learning classifier system XCS is an iterative rulelearning system that evolves rule structures based on gradient-based prediction and rule quality estimates. Besides classifi...
Martin V. Butz, Pier Luca Lanzi, Stewart W. Wilson