3394 search results - page 128 / 679 » A Modal Model of Memory |
115
Voted
AAAI
2004
15 years 5 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
125
Voted
AE
2003
Springer
15 years 7 months ago
2003
Springer
ParaDisEO is a framework dedicated to the design of parallel and distributed metaheuristics including local search methods and evolutionary algorithms. This paper focuses on the la...
114
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
136
Voted
AVSS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper examines the the effectiveness of feature modelling to conduct 2D and 3D face recognition. In particular, PCA difference vectors are modelled using Gaussian Mixture Mod...
235
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...