Sciweavers

3040 search results - page 155 / 608
» Independent Natural Extension
Sort
View
145
Voted
FM
2009
Springer
164views Formal Methods» more  FM 2009»
15 years 10 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
111
Voted
ICPR
2008
IEEE
15 years 10 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
121
Voted
SCALESPACE
2007
Springer
15 years 10 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
15 years 9 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»
15 years 9 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