Sciweavers

3931 search results - page 73 / 787
» Separation logic and abstraction
Sort
View
ICA
2010
Springer
14 years 11 months ago
Non-negative Hidden Markov Modeling of Audio with Application to Source Separation
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...
Gautham J. Mysore, Paris Smaragdis, Bhiksha Raj
MICCAI
2009
Springer
15 years 11 months ago
Dynamic Layer Separation for Coronary DSA and Enhancement in Fluoroscopic Sequences
Abstract. This paper presents a new technique of coronary digital subtraction angiography which separates layers of moving background structures from dynamic fluoroscopic sequences...
Ying Zhu, Simone Prummer, Peng Wang, Terrence C...
IDA
2009
Springer
15 years 4 months ago
Extension of Sparse, Adaptive Signal Decompositions to Semi-blind Audio Source Separation
Abstract. We apply sparse, fast and flexible adaptive lapped orthogonal transforms to underdetermined audio source separation using the time-frequency masking framework. This norm...
Andrew Nesbit, Emmanuel Vincent, Mark D. Plumbley
ACIVS
2007
Springer
15 years 4 months ago
Descriptor-Free Smooth Feature-Point Matching for Images Separated by Small/Mid Baselines
Abstract. Most existing feature-point matching algorithms rely on photometric region descriptors to distinct and match feature points in two images. In this paper, we propose an eď...
Ping Li, Dirk Farin, Rene Klein Gunnewiek, Peter H...
SAC
2005
ACM
15 years 3 months ago
A two-dimensional separation of concerns for compiler construction
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
Xiaoqing Wu, Suman Roychoudhury, Barrett R. Bryant...