Sciweavers

1416 search results - page 73 / 284
» An Exact Interpretation of While
Sort
View
SDM
2009
SIAM
152views Data Mining» more  SDM 2009»
14 years 7 months ago
Non-negative Matrix Factorization, Convexity and Isometry.
In this paper we explore avenues for improving the reliability of dimensionality reduction methods such as Non-Negative Matrix Factorization (NMF) as interpretive exploratory data...
Nikolaos Vasiloglou, Alexander G. Gray, David V. A...
HRI
2010
ACM
14 years 4 months ago
Perception of affect elicited by robot motion
—Nonverbal behaviors serve as a rich source of information in inter human communication. In particular, motion cues can reveal details on a person’s current physical and mental...
Martin Saerbeck, Christoph Bartneck
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
14 years 4 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
IDA
2009
Springer
14 years 4 months ago
Learning Natural Image Structure with a Horizontal Product Model
We present a novel extension to Independent Component Analysis (ICA), where the data is generated as the product of two submodels, each of which follow an ICA model, and which comb...
Urs Köster, Jussi T. Lindgren, Michael Gutman...
ICPR
2008
IEEE
14 years 4 months ago
Interactive feature visualization for image retrieval
Most systems for content based image retrieval (CBIR) employ low level image features as a similarity measure. The problem of CBIR systems is that they are a “black box” to th...
Johannes Imo, Sebastian Klenk, Gunther Heidemann