Sciweavers

3614 search results - page 119 / 723
» Numerical Computing with MATLAB
Sort
View
135
Voted
SIAMNUM
2010
113views more  SIAMNUM 2010»
14 years 11 months ago
Compactness Properties of the DG and CG Time Stepping Schemes for Parabolic Equations
Abstract. It is shown that for a broad class of equations that numerical solutions computed using the discontinuous Galerkin or the continuous Galerkin time stepping schemes of arb...
Noel Walkington
142
Voted
SAC
2008
ACM
15 years 4 months ago
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
Francesco Logozzo, Manuel Fähndrich
UIST
2004
ACM
15 years 10 months ago
Hierarchical parsing and recognition of hand-sketched diagrams
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
Levent Burak Kara, Thomas F. Stahovich
177
Voted
NIPS
2004
15 years 6 months ago
Hierarchical Eigensolver for Transition Matrices in Spectral Methods
We show how to build hierarchical, reduced-rank representation for large stochastic matrices and use this representation to design an efficient algorithm for computing the largest...
Chakra Chennubhotla, Allan D. Jepson
ACMSE
2010
ACM
15 years 3 months ago
Visualization of the CreSIS Greenland data sets
The Center for Remote Sensing of Ice Sheets (CReSIS) has been compiling Greenland ice sheet thickness data since 1993. The airborne program utilizes a 150 MHz radar echo sounder to...
Shaketia L. McCoy, Michael Austin, Frensha Slaught...