Sciweavers

3113 search results - page 37 / 623
» Numerical Methods
Sort
View
101
Voted
KDD
2006
ACM
123views Data Mining» more  KDD 2006»
16 years 3 months ago
Mining rank-correlated sets of numerical attributes
We study the mining of interesting patterns in the presence of numerical attributes. Instead of the usual discretization methods, we propose the use of rank based measures to scor...
Toon Calders, Bart Goethals, Szymon Jaroszewicz
SDM
2007
SIAM
106views Data Mining» more  SDM 2007»
15 years 4 months ago
Approximating Representations for Large Numerical Databases
The paper introduces a notion of support for realvalued functions. It is shown how to approximate supports of a large class of functions based on supports of so called polynomial ...
Szymon Jaroszewicz, Marcin Korzen
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 29 days ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
ISMVL
2010
IEEE
156views Hardware» more  ISMVL 2010»
15 years 7 months ago
Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs
This paper proposes a new architecture for memorybased floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multivalued decision ...
Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler
106
Voted
SCALESPACE
2007
Springer
15 years 8 months ago
Numerical Invariantization for Morphological PDE Schemes
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...
Martin Welk, Pilwon Kim, Peter J. Olver