Sciweavers

3040 search results - page 155 / 608
» Independent Natural Extension
Sort
View
FM
2009
Springer
164views Formal Methods» more  FM 2009»
14 years 5 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
ICPR
2008
IEEE
14 years 4 months ago
Semi-supervised feature selection under logistic I-RELIEF framework
We consider feature selection in the semi-supervised learning setting. This problem is rarely addressed in the literature. We propose a new algorithm as a natural extension of the...
Yubo Cheng, Yunpeng Cai, Yijun Sun, Jian Li
SCALESPACE
2007
Springer
14 years 4 months ago
Best Basis Compressed Sensing
This paper proposes an extension of compressed sensing that allows to express the sparsity prior in a dictionary of bases. This enables the use of the random sampling strategy of c...
Gabriel Peyré
FOCS
2005
IEEE
14 years 4 months ago
On the Complexity of Real Functions
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
Mark Braverman
ICMCS
2005
IEEE
114views Multimedia» more  ICMCS 2005»
14 years 4 months ago
A User-Oriented Multimodal-Interface Framework for General Content-Based Multimedia Retrieval
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
Jinchang Ren, Theodore Vlachos, Vasileios Argyriou