2215 search results - page 306 / 443 » Wide open spaces |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
Diffusion Maps (DiffMaps) has recently provided a general framework that unites many other spectral manifold learning algorithms, including Laplacian Eigenmaps, and it has become ...
SAINT
2009
IEEE
14 years 5 months ago
2009
IEEE
The Internet routing system plays an essential role of glueing together tens of thousands of individual networks to create a global data delivery substrate. Over the years many ef...
SIBGRAPI
2009
IEEE
14 years 5 months ago
2009
IEEE
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...
ICDM
2009
IEEE
14 years 5 months ago
2009
IEEE
— Learning Vector Quantization (LVQ) is a popular class of nearest prototype classifiers for multiclass classification. Learning algorithms from this family are widely used becau...