Sciweavers

3174 search results - page 159 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
ECCV
2010
Springer
15 years 9 months ago
Optimum Subspace Learning and Error Correction for Tensors
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 8 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
CODES
2008
IEEE
15 years 8 months ago
A performance-oriented hardware/software partitioning for datapath applications
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
Laura Frigerio, Fabio Salice
ICONIP
2008
15 years 8 months ago
Local Feature Selection in Text Clustering
Abstract. Feature selection has improved the performance of text clustering. Global feature selection tries to identify a single subset of features which are relevant to all cluste...
Marcelo N. Ribeiro, Manoel J. R. Neto, Ricardo Bas...
APVIS
2006
15 years 8 months ago
Visual narratives: the essential role of imagination in the visualization process
The goal of this short form paper is to introduce ideas in contemporary visualization that use hand generated methods to engage the imagination of the author and audience to enhan...
Mark Baskinger, Ki-Chol Nam