Sciweavers

7536 search results - page 205 / 1508
» Localized Components Analysis
Sort
View
ESOP
1994
Springer
15 years 10 months ago
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
Torben Amtoft
199
Voted
AIPR
2002
IEEE
15 years 11 months ago
ICA Mixture Model based Unsupervised Classification of Hyperspectral Imagery
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
Chintan A. Shah, Manoj K. Arora, Stefan A. Robila,...
ASM
2010
ASM
16 years 27 days ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
SADM
2010
141views more  SADM 2010»
15 years 1 months ago
A parametric mixture model for clustering multivariate binary data
: The traditional latent class analysis (LCA) uses a mixture model with binary responses on each subject that are independent conditional on cluster membership. However, in many pr...
Ajit C. Tamhane, Dingxi Qiu, Bruce E. Ankenman
ICDCS
2005
IEEE
16 years 22 hour ago
Optimal Component Composition for Scalable Stream Processing
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...
Xiaohui Gu, Philip S. Yu, Klara Nahrstedt