Sciweavers

3299 search results - page 193 / 660
» A general mathematics of names
Sort
View
CAISE
2009
Springer
16 years 1 months ago
Measuring and Comparing Effectiveness of Data Quality Techniques
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
Lei Jiang, Daniele Barone, Alexander Borgida, John...
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
16 years 1 months ago
Symmetry reduction for stochastic hybrid systems
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
Manuela L. Bujorianu, Joost-Pieter Katoen
ICDM
2008
IEEE
112views Data Mining» more  ICDM 2008»
16 years 1 months ago
Supervised Inductive Learning with Lotka-Volterra Derived Models
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
ICPR
2008
IEEE
16 years 1 months ago
Tree-serial dynamic programming for image processing
A lot of image analysis problems lend themselves to a unified mathematical formulation as optimization problems. Tree-serial dynamic programming is a particular case of the so-cal...
Andrey Kopylov
ISMVL
2008
IEEE
148views Hardware» more  ISMVL 2008»
16 years 29 days ago
Quantum Logic Implementation of Unary Arithmetic Operations
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
Mitchell A. Thornton, David W. Matula, Laura Spenn...