2604 search results - page 142 / 521 » Process Change Support Features |
166
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
168
click to vote
CIDR
2007
15 years 8 months ago
2007
Sensor networks are becoming an important part of the IT landscape. Existing systems, however, are limited in two fundamental ways: lack of data independence, and poor integration...
172
click to vote
JMLR
2002
15 years 6 months ago
2002
Approximate Bayesian Gaussian process (GP) classification techniques are powerful nonparametric learning methods, similar in appearance and performance to support vector machines....
224
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
To achieve high reliability and scalability, most large-scale data warehouse systems have adopted the cluster-based architecture. In this paper, we propose the design of a new clu...
183
click to vote
ICIP
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a view independent face recognition method based on kernel principal component analysis (KPCA) of local parts. View changes induce large variation in feature s...