1004 search results - page 50 / 201 » Subspace Models for Functional MRI Data Analysis |
JISE
1998
14 years 9 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
108
click to vote
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Principal ComponentAnalysis (PCA) has been successfully applied to construct linear models of shape, graylevel, and motion. In particular, PCA has been widely used to model the var...
SMA
2006
ACM
15 years 3 months ago
2006
ACM
Many applications require the extraction of isolines and isosurfaces from scalar functions defined on regular grids. These scalar functions may have many different origins: from ...