44 search results - page 3 / 9 » Design Method for Numerical Function Generators Using Recurs... |
IFIP
2001
Springer
13 years 12 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
TMI
2002
13 years 7 months ago
2002
Active model-based segmentation has frequently been used in medical image processing with considerable success. Although the active model-based method was initially viewed as an op...
JUCS
2008
13 years 7 months ago
2008
: In this paper, a new multi-layer level set method is proposed for multi-phase image segmentation. The proposed method is based on the conception of image layer and improved numer...
ICCBR
2005
Springer
14 years 25 days ago
2005
Springer
An adaptation phase is crucial for a good and reasonable Case-Based Planning (CBP) system. The adaptation phase is responsible for finding a solution in order to solve a new proble...
EUSFLAT
2009
13 years 5 months ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...