1746 search results - page 195 / 350 » A linear implementation of PACMAN |
149
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
133
click to vote
AICOM
2010
15 years 4 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
122
Voted
CGF
2010
15 years 4 months ago
2010
We propose a modular framework for robust 3D reconstruction from unorganized, unoriented, noisy, and outlierridden geometric data. We gain robustness and scalability over previous...
102
click to vote
CGF
2010
15 years 4 months ago
2010
We present an automatic image-recoloring technique for enhancing color contrast for dichromats whose computational cost varies linearly with the number of input pixels. Our approa...
132
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In some real world situations, linear models are not sufficient to represent accurately complex relations between input variables and output variables of a studied system. Multila...