Sciweavers

892 search results - page 107 / 179
» Action respecting embedding
Sort
View
92
Voted
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 7 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
107
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Rapid joint speaker and noise compensation for robust speech recognition
For speech recognition, mismatches between training and testing for speaker and noise are normally handled separately. The work presented in this paper aims at jointly applying sp...
K. K. Chin, Haitian Xu, Mark J. F. Gales, Catherin...
113
Voted
RTCSA
2009
IEEE
15 years 7 months ago
Bounding the Maximum Length of Non-preemptive Regions under Fixed Priority Scheduling
The question whether preemptive systems are better than non-preemptive systems has been debated for a long time, but only partial answers have been provided in the real-time liter...
Gang Yao, Giorgio C. Buttazzo, Marko Bertogna
78
Voted
ER
2007
Springer
87views Database» more  ER 2007»
15 years 6 months ago
Seed-Based Generation of Personalized Bio-ontologies for Information Extraction
Abstract. Biologists usually focus on only a small, individualized, subdomain of the huge domain of biology. With respect to their sub-domain, they often need data collected from v...
Cui Tao, David W. Embley
101
Voted
OTM
2005
Springer
15 years 6 months ago
Web Image Semantic Clustering
This paper provides a novel Web image clustering methodology based on their associated texts. In our approach, the semantics of Web images are firstly represented into vectors of t...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang