Sciweavers

54 search results - page 2 / 11
» A framework for numeric analysis of array operations
Sort
View
ICDE
2012
IEEE
267views Database» more  ICDE 2012»
11 years 7 months ago
Scalable and Numerically Stable Descriptive Statistics in SystemML
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
Yuanyuan Tian, Shirish Tatikonda, Berthold Reinwal...
ICDE
2010
IEEE
189views Database» more  ICDE 2010»
14 years 5 months ago
I/O-Efficient Statistical Computing with RIOT
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
Jun Yang 0001, Weiping Zhang, Yi Zhang
STOC
2010
ACM
176views Algorithms» more  STOC 2010»
13 years 10 months ago
Complexity Theory for Operators in Analysis
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
Akitoshi Kawamura and Stephen Cook
POPL
2009
ACM
14 years 5 months ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
TASLP
2010
123views more  TASLP 2010»
13 years 3 months ago
Plane-Wave Decomposition of Acoustical Scenes Via Spherical and Cylindrical Microphone Arrays
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
Dmitry N. Zotkin, Ramani Duraiswami, Nail A. Gumer...