Sciweavers

3229 search results - page 184 / 646
» Theories with the Independence Property
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
A nullspace analysis of the nuclear norm heuristic for rank minimization
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
Krishnamurthy Dvijotham, Maryam Fazel
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 6 months ago
A Framework to Illustrate Kinematic Behavior of Mechanisms by Haptic Feedback
: The kinematic properties of mechanisms are well known by the researchers and teachers. The theory based on the study of Jacobian matrices allows us to explain, for example, the s...
Qinqin Zhang, Damien Chablat, Fouad Bennis, Wei Zh...
APLAS
2010
ACM
15 years 3 months ago
Metric Spaces and Termination Analyses
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
Aziem Chawdhary, Hongseok Yang
ICIP
2005
IEEE
16 years 8 months ago
Gray-scale image enhancement using the SMQT
This paper explores the Successive Mean Quantization Transform (SMQT) for automatic enhancement of gray-scale images. The transform is in the paper presented using set theory. The...
Mikael Nilsson, Mattias Dahl, Ingvar Claesson
CHI
2009
ACM
16 years 7 months ago
DinnerWare: why playing with food should be encouraged
DinnerWare is an exploration of eating as a medium for computation and aesthetic expression. It consists of a dining service electronically equipped to react to the properties of ...
Marcelo Coelho