2514 search results - page 326 / 503 » The use of industrial-strength formal methods |
151
click to vote
CISST
2003
15 years 7 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
146
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...
326
click to vote
TKDE
2012
13 years 9 months ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...
174
click to vote
TNN
2011
15 years 1 months ago
2011
Abstract—Most signal processing problems involve the challenging task of multidimensional probability density function (PDF) estimation. In this paper, we propose a solution to t...
179
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...