4745 search results - page 187 / 949 » Discretization: An Enabling Technique |
173
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
215
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
161
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
One of the oldest problems in the study of dynamical systems is the calculation of an optimal control. Though the determination of a numerical solution for the general nonconvex o...
187
click to vote
IEEECGIV
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a novel algorithm to segment a 3D surface mesh into visually meaningful regions. Our approach is based on an analysis of the local geometry of vertices. In particular...
176
click to vote
EMS
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents rough sets generating prediction rules scheme for stock price movement. The scheme was able to extract knowledge in the form of rules from daily stock movement...