Sciweavers

11394 search results - page 2075 / 2279
» Self-Organizing Data Structures
Sort
View
TODAES
1998
68views more  TODAES 1998»
15 years 4 months ago
Specification and verification of pipelining in the ARM2 RISC microprocessor
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
James K. Huggins, David Van Campenhout
TASLP
2002
109views more  TASLP 2002»
15 years 4 months ago
Particle methods for Bayesian modeling and enhancement of speech signals
This paper applies time-varying autoregressive (TVAR) models with stochastically evolving parameters to the problem of speech modeling and enhancement. The stochastic evolution mod...
Jaco Vermaak, Christophe Andrieu, Arnaud Doucet, S...
TIP
2002
132views more  TIP 2002»
15 years 4 months ago
3-D wavelet compression and progressive inverse wavelet synthesis rendering of concentric mosaic
Using an array of photo shots, the concentric mosaic offers a quick way to capture and model a realistic three-dimensional (3-D) environment. In this work, we compress the concentr...
Lin Luo, Yunnan Wu, Jin Li, Ya-Qin Zhang
133
Voted
TIP
2002
102views more  TIP 2002»
15 years 4 months ago
Multilayered image representation: application to image compression
Abstract--The main contribution of this work is a new paradigm for image representation and image compression. We describe a new multilayered representation technique for images. A...
François G. Meyer, Amir Averbuch, Ronald R....
TMI
2002
143views more  TMI 2002»
15 years 4 months ago
A Support Vector Machine Approach for Detection of Microcalcifications
In this paper, we investigate an approach based on support vector machines (SVMs) for detection of microcalcification (MC) clusters in digital mammograms, and propose a successive ...
Issam El-Naqa, Yongyi Yang, Miles N. Wernick, Niko...
« Prev « First page 2075 / 2279 Last » Next »