Sciweavers

2757 search results - page 33 / 552
» On separating systems
Sort
View
ACSAC
2007
IEEE
13 years 11 months ago
Toward a Medium-Robustness Separation Kernel Protection Profile
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine...
ICASSP
2008
IEEE
14 years 2 months ago
Single-channel speech separation based on modulation frequency
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
Lingyun Gu, Richard M. Stern
ENTCS
2008
120views more  ENTCS 2008»
13 years 7 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
APIN
1999
114views more  APIN 1999»
13 years 7 months ago
Evolutionary Approaches to Figure-Ground Separation
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...
Suchendra M. Bhandarkar, Xia Zeng
SPEECH
2010
136views more  SPEECH 2010»
13 years 6 months ago
Robust speech recognition by integrating speech separation and hypothesis testing
Missing data methods attempt to improve robust speech recognition by distinguishing between reliable and unreliable data in the time-frequency domain. Such methods require a binar...
Soundararajan Srinivasan, DeLiang L. Wang