Sciweavers

1158 search results - page 31 / 232
» Software is discrete mathematics
Sort
View
JAR
2008
88views more  JAR 2008»
13 years 7 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
ECCV
2008
Springer
14 years 9 months ago
Partial Difference Equations over Graphs: Morphological Processing of Arbitrary Discrete Data
Abstract. Mathematical Morphology (MM) offers a wide range of operators to address various image processing problems. These processing can be defined in terms of algebraic set or a...
Vinh-Thong Ta, Abderrahim Elmoataz, Olivier Lezora...
ICDM
2009
IEEE
141views Data Mining» more  ICDM 2009»
14 years 2 months ago
Discovering Excitatory Networks from Discrete Event Streams with Applications to Neuronal Spike Train Analysis
—Mining temporal network models from discrete event streams is an important problem with applications in computational neuroscience, physical plant diagnostics, and human-compute...
Debprakash Patnaik, Srivatsan Laxman, Naren Ramakr...
SIGGRAPH
2010
ACM
14 years 5 days ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly
AUSDM
2008
Springer
243views Data Mining» more  AUSDM 2008»
13 years 9 months ago
Structure-Based Document Model with Discrete Wavelet Transforms and Its Application to Document Classification
Term signal is an existing text representation that depicts a term as a vector of frequencies of occurrences in a number of user-defined partitions of a document. Although term si...
Supphachai Thaicharoen, Tom Altman, Krzysztof J. C...