Sciweavers

16513 search results - page 363 / 3303
» Numerical Analysis Methods
Sort
View
SIAMIS
2011
15 years 1 months ago
NESTA: A Fast and Accurate First-Order Method for Sparse Recovery
Abstract. Accurate signal recovery or image reconstruction from indirect and possibly undersampled data is a topic of considerable interest; for example, the literature in the rece...
Stephen Becker, Jérôme Bobin, Emmanue...
VLDB
2002
ACM
108views Database» more  VLDB 2002»
15 years 6 months ago
Energy-performance trade-offs for spatial access methods on memory-resident data
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
Ning An, Sudhanva Gurumurthi, Anand Sivasubramania...
SIAMSC
2011
151views more  SIAMSC 2011»
15 years 1 months ago
Inexact Newton Methods with Restricted Additive Schwarz Based Nonlinear Elimination for Problems with High Local Nonlinearity
The classical inexact Newton algorithm is an efficient and popular technique for solving large sparse nonlinear system of equations. When the nonlinearities in the system are wellb...
Xiao-Chuan Cai, Xuefeng Li
SAS
2004
Springer
239views Formal Methods» more  SAS 2004»
16 years 1 days ago
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 11 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...