Search results for "separation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Andrew McCreight	Practical Tactics for Separation Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
25	John Danielsen, David B. Hoffman	Simulation of a cold heavy oil production with sand (CHOPS) separation system.	SpringSim	2009	DBLP BibTeX RDF	iThink™, CHOPS, North Slope, Alaska, continuous simulation, heavy oil
25	Tongbo Chen, Abhijeet Ghosh, Paul E. Debevec	Data-driven diffuse-specular separation of spherical gradient illumination.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
25	Rafal Kolanski, Gerwin Klein	Mapped Separation Logic.	VSTTE	2008	DBLP DOI BibTeX RDF
25	Jani Even, Hiroshi Saruwatari, Kiyohiro Shikano	Frequency domain semi-blind signal separation: application to the rejection of internal noises.	ICASSP	2008	DBLP DOI BibTeX RDF
25	Hirofumi Nakajima, Kazuhiro Nakadai, Yuji Hasegawa, Hiroshi Tsujino	Adaptive step-size parameter control for real-world blind source separation.	ICASSP	2008	DBLP DOI BibTeX RDF
25	Xi Li 0002, Richard Schelb, Carmelita Görg, Andreas Timm-Giel	UMTS HSPA and R99 Traffic Separation.	MWCN/PWC	2008	DBLP DOI BibTeX RDF
25	Beihai Tan, Weijun Li	Source Signals' Number Estimation Based on Fuzzy Clustering in Blind Separation of BPSK Signals.	FSKD (1)	2008	DBLP DOI BibTeX RDF
25	Alessio Pignotti, Daniele Marcozzi, Simone Cifani, Stefano Squartini, Francesco Piazza	A Blind Source Separation Based Approach for Speech Enhancement in Noisy and Reverberant Environment.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF
25	David L. Donoho, Gitta Kutyniok	Analysis of 1 minimization in the Geometric Separation Problem.	CISS	2008	DBLP DOI BibTeX RDF
25	El Mostafa Fadaili, Nadège Thirion-Moreau, Eric Moreau	Nonorthogonal Joint Diagonalization/Zero Diagonalization for Source Separation Based on Time-Frequency Distributions.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
25	Rayan Saab, Özgür Yilmaz, Martin J. McKeown, Rafeef Abugharbieh	Underdetermined Anechoic Blind Source Separation via ellq-Basis-Pursuit With q<<1.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
25	Yipeng Li, DeLiang Wang	Separation of Singing Voice From Music Accompaniment for Monaural Recordings.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
25	Nikolaos Mitianoudis, Tania Stathaki	Batch and Online Underdetermined Source Separation Using Laplacian Mixture Models.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
25	Wided Souidène, Abdeldjalil Aïssa-El-Bey, Karim Abed-Meraim, Azeddine Beghdadi	Blind Image Separation using Sparse Representation.	ICIP (3)	2007	DBLP DOI BibTeX RDF
25	Partha Pratim Roy 0001, Josep Lladós 0001, Umapada Pal 0001	Text/Graphics Separation in Color Maps.	ICCTA	2007	DBLP DOI BibTeX RDF
25	Andrew W. Appel, Sandrine Blazy	Separation Logic for Small-Step cminor.	TPHOLs	2007	DBLP DOI BibTeX RDF
25	Jian Feng 0001, Huaguang Zhang, Tieyan Zhang, Heng Yue	Adaptive Natural Gradient Algorithm for Blind Convolutive Source Separation.	ISNN (3)	2007	DBLP DOI BibTeX RDF
25	Ranjan Acharyya, Fredric M. Ham	A New Approach for Blind Separation of Convolutive Mixtures.	IJCNN	2007	DBLP DOI BibTeX RDF
25	Sunho Park, Seungjin Choi	Source Separation with Gaussian Process Models.	ECML	2007	DBLP DOI BibTeX RDF
25	Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin	Toward a Medium-Robustness Separation Kernel Protection Profile.	ACSAC	2007	DBLP DOI BibTeX RDF
25	Yuhui Luo, Wenwu Wang 0001, Jonathon A. Chambers, Sangarapillai Lambotharan, Ian K. Proudler	Exploitation of source nonstationarity in underdetermined blind source separation with advanced clustering techniques.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
25	Nong Ye, Toni Farley, Deepak Lakshminarasimhan	An attack-norm separation approach for detecting cyber attacks.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Computer and network security, Intrusion detection, Signal processing, Signal detection, Cyber attacks
25	P. Li, Y. Guan, B. Xu, W. Liu	Monaural Speech Separation Based on Computational Auditory Scene Analysis and Objective Quality Assessment of Speech.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
25	Fotios Talantzis, Darren B. Ward, Patrick A. Naylor	Performance analysis of dynamic acoustic source separation in reverberant rooms.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
25	Peng Li, Yong Guan, Bo Xu 0002, Wenju Liu	Monaural Speech Separation Based on Computational Auditory Scene Analysis and Objective Quality Assessment of Speech.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
25	Gaoming Huang, Luxi Yang, Zhenya He	Blind Source Separation Based on Generalized Variance.	ISNN (1)	2006	DBLP DOI BibTeX RDF
25	Kai Song, Qi Wang 0034, Mingli Ding	Approach to Nonlinear Blind Source Separation Based on Niche Genetic Algorithm.	ISDA (1)	2006	DBLP DOI BibTeX RDF
25	Ping Tan, Long Quan, Stephen Lin 0001	Separation of Highlight Reflections on Textured Surfaces.	CVPR (2)	2006	DBLP DOI BibTeX RDF
25	Malay K. Ganai, Muralidhar Talupur, Aarti Gupta	SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver.	TACAS	2006	DBLP DOI BibTeX RDF
25	Young Mu Ji, Young Shin Kim, Jae Woo Lee, Young Hwan Byun, Jun Sang Park	Aerodynamic Analysis on the Supersonic Separation of Air-Launching Rocker from the Mother Plane.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
25	Yuan-Pei Lin, Chien-Chang Li, See-May Phoong	Filterbank Framework for Multicarrier Systems with Improved Subcarrier Separation.	APCCAS	2006	DBLP DOI BibTeX RDF
25	Qinghua Huang, Jie Yang 0002, Yue Zhou 0005	Variational Bayesian Method for Temporally Correlated Source Separation.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
25	Wen-Jye Shyr	The Hybrid Genetic Algorithm for Blind Signal Separation.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
25	Beihai Tan, Xiaolu Li	Blind Separation of Digital Signal Sources in Noise Circumstance.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
25	Michael Pedersen, DeLiang Wang, Jan Larsen, Ulrik Kjems	Separating Underdetermined Convolutive Speech Mixtures.	ICA	2006	DBLP DOI BibTeX RDF
25	Scott C. Douglas, Hiroshi Sawada, Shoji Makino	Natural gradient multichannel blind deconvolution and speech separation using causal FIR filters.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
25	Bodil Biering, Lars Birkedal, Noah Torp-Smith	BI Hyperdoctrines and Higher-Order Separation Logic.	ESOP	2005	DBLP DOI BibTeX RDF
25	Lianxi Yuan, Enfang Sang, Wenwu Wang 0001, Jonathon A. Chambers	An Effective Method to Improve Convergence for Sequential Blind Source Separation.	ICNC (1)	2005	DBLP DOI BibTeX RDF
25	Sushanta Karmakar, Arobinda Gupta	Bounded Clustering with Low Node-Clusterhead Separation in Wireless Sensor Networks.	ISPAN	2005	DBLP DOI BibTeX RDF
25	Kosaku Nagasaka	Towards More Accurate Separation Bounds of Empirical Polynomials II.	CASC	2005	DBLP DOI BibTeX RDF
25	Adam N. Letchford, Gerhard Reinelt, Dirk Oliver Theis	A Faster Exact Separation Algorithm for Blossom Inequalities.	IPCO	2004	DBLP DOI BibTeX RDF
25	Zhijin Zhao, Fei Mei, Jiandong Li 0001	A Blind Source Separation Algorithm with Linear Prediction Filters.	ISNN (1)	2004	DBLP DOI BibTeX RDF
25	Eran Yahav, G. Ramalingam	Verifying safety properties using separation and heterogeneous abstractions.	PLDI	2004	DBLP DOI BibTeX RDF	typestate verification, verification, program analysis, abstract interpretation, safety properties
25	Sofiya Ivanovska, Aneta Karaivanova	Parallel Importance Separation for Multiple Integrals and Integral Equations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
25	Mark Chu-Carroll, James L. Wright, Annie T. T. Ying	Visual separation of concerns through multidimensional program storage.	AOSD	2003	DBLP DOI BibTeX RDF
25	Pavel Kisilev, Michael Zibulevsky, Yehoshua Y. Zeevi	Blind source separation using multinode sparse representation.	ICIP (3)	2001	DBLP DOI BibTeX RDF
25	Luís B. Almeida, Gonçalo C. Marques	Nonlinear Blind Source Separation by Pattern Repulsion.	IWANN (2)	1999	DBLP DOI BibTeX RDF
25	Chang-Mo Yang, Hyeongseok Joo, Weon-Hee Yoo	Separation Set Partitioning: Algorithm to Partition Nonstrict Programs into Sequential Threads.	HICSS (1)	1997	DBLP DOI BibTeX RDF
25	Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim	A Semantics of the Separation of Interface and Implementation in C++.	COMPSAC	1996	DBLP DOI BibTeX RDF
24	Arie M. C. A. Koster, Adrian Zymolka, Manuel Kutschka	Algorithms to Separate {0, \frac12}\{0, \frac{1}{2}\} -Chvátal-Gomory Cuts.	Algorithmica	2009	DBLP DOI BibTeX RDF	Chvátal-Gomory cuts, Separation algorithms, Integer programming
24	Renato Cherini, Javier O. Blanco	Local reasoning for abstraction and sharing.	SAC	2009	DBLP DOI BibTeX RDF	modularity, resources, separation logic
24	Stefan Schirra	Much Ado about Zero.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF	zero separation bound, exact geometric computation paradigm, real algebraic number computation
24	Christian Kästner, Sven Apel, Martin Kuhlemann	A model of refactoring physically and virtually separated features.	GPCE	2009	DBLP DOI BibTeX RDF	CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD
24	Weifeng Li 0001, Ken'ichi Kumatani, John Dines, Mathew Magimai-Doss, Hervé Bourlard	A Neural Network Based Regression Approach for Recognizing Simultaneous Speech.	MLMI	2008	DBLP DOI BibTeX RDF	speech separation, neural network, speech recognition, microphone arrays
24	Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen	Analysis of three multilevel security architectures.	CSAW	2007	DBLP DOI BibTeX RDF	partitioning kernel, principle of least privilege, architecture, multilevel security, security kernel, separation kernel
24	Luigi Iannone, Olivier Bonaventure	On the cost of caching locator/ID mappings.	CoNEXT	2007	DBLP DOI BibTeX RDF	locator/ID separation, routing, LISP, addressing, internet architecture
24	Jon A. Solworth	Approvability.	AsiaCCS	2006	DBLP DOI BibTeX RDF	authorization properties, authorization, separation of duty
24	Andreas Schaad, Volkmar Lotz, Karsten Sohr	A model-checking approach to analysing organisational controls in a loan origination process.	SACMAT	2006	DBLP DOI BibTeX RDF	organisational control, model-checking, delegation, separation, revocation
24	Anthony Hoogs, Roderic Collins, Robert Kaucic, Joseph L. Mundy	A Common Set of Perceptual Observables for Grouping, Figure-Ground Discrimination, and Texture Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	figure-ground separation, image segmentation, texture classification, Perceptual grouping
24	Reinhard Eckhorn	Models of Visual Processing Derived from Cortical Microelectrode Recordings.	IWANN	1997	DBLP DOI BibTeX RDF	classical receptive field, linking field, feature separation, stimulus-locking, cortical fast oscillations, models of visual circuits, synchronization, visual coding
24	John Hannan	Operational Semantics-Directed Compilers and Machine Architectures.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	pass separation, semantics-based compilation, abstract machines
23	Simon Arberet, Alexey Ozerov, Rémi Gribonval, Frédéric Bimbot	Blind Spectral-GMM Estimation for Underdetermined Instantaneous Audio Source Separation.	ICA	2009	DBLP DOI BibTeX RDF
23	Hicham Saylani, Shahram Hosseini, Yannick Deville	Blind Separation of Noisy Mixtures of Non-stationary Sources Using Spectral Decorrelation.	ICA	2009	DBLP DOI BibTeX RDF
23	Tuomas Virtanen, Ali Taylan Cemgil	Mixtures of Gamma Priors for Non-negative Matrix Factorization Based Speech Separation.	ICA	2009	DBLP DOI BibTeX RDF
23	Leonardo Tomazeli Duarte, Christian Jutten, Saïd Moussaoui	Ion-Selective Electrode Array Based on a Bayesian Nonlinear Source Separation Method.	ICA	2009	DBLP DOI BibTeX RDF
23	Intae Lee	Permutation Correction in Blind Source Separation Using Sliding Subband Likelihood Function.	ICA	2009	DBLP DOI BibTeX RDF
23	Ruairí de Fréin, Scott T. Rickard, Barak A. Pearlmutter	Constructing Time-Frequency Dictionaries for Source Separation via Time-Frequency Masking and Source Localisation.	ICA	2009	DBLP DOI BibTeX RDF
23	Paulo Bulkool Batalheiro, Mariane R. Petraglia, Diego B. Haddad	Online Subband Blind Source Separation for Convolutive Mixtures Using a Uniform Filter Bank with Critical Sampling.	ICA	2009	DBLP DOI BibTeX RDF
23	Arie Yeredor	On Optimal Selection of Correlation Matrices for Matrix-Pencil-Based Separation.	ICA	2009	DBLP DOI BibTeX RDF
23	Koray Kayabol, Ercan E. Kuruoglu, Bülent Sankur	Image Source Separation Using Color Channel Dependencies.	ICA	2009	DBLP DOI BibTeX RDF
23	Alexey Ozerov, Pierrick Philippe, Frédéric Bimbot, Rémi Gribonval	Adaptation of Bayesian Models for Single-Channel Source Separation and its Application to Voice/Music Separation in Popular Songs.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
23	Christophe De Luigi, Eric Moreau	Optimal Joint Diagonalization of Complex Symmetric Third-Order Tensors. Application to Separation of Non Circular Signals.	ICA	2007	DBLP DOI BibTeX RDF
23	David N. Levin	Using State Space Differential Geometry for Nonlinear Blind Source Separation.	ICA	2007	DBLP DOI BibTeX RDF
23	Emmanuel Vincent 0001	Complex Nonconvex l p Norm Minimization for Underdetermined Source Separation.	ICA	2007	DBLP DOI BibTeX RDF
23	Eugen Hoffmann, Dorothea Kolossa, Reinhold Orglmeister	A Batch Algorithm for Blind Source Separation of Acoustic Signals Using ICA and Time-Frequency Masking.	ICA	2007	DBLP DOI BibTeX RDF
23	B. Vikrham Gowreesunker, Ahmed H. Tewfik	Two Improved Sparse Decomposition Methods for Blind Source Separation.	ICA	2007	DBLP DOI BibTeX RDF
23	Emmanuel Vincent 0001, Hiroshi Sawada, Pau Bofill, Shoji Makino, Justinian P. Rosca	First Stereo Audio Source Separation Evaluation Campaign: Data, Algorithms and Results.	ICA	2007	DBLP DOI BibTeX RDF
23	Pando G. Georgiev, Danielle Nuzillard, Anca L. Ralescu	Sparse Deflations in Blind Signal Separation.	ICA	2006	DBLP DOI BibTeX RDF
23	Mohamed Sahmoudi, Moeness G. Amin, Karim Abed-Meraim, Adel Belouchrani	Contrast Functions for Blind Source Separation Based on Time-Frequency Information-Theory.	ICA	2006	DBLP DOI BibTeX RDF
23	Maciej Pedzisz, Ali Mansour	Instantaneous MISO Separation of BPSK Sources.	ICA	2006	DBLP DOI BibTeX RDF
23	Cédric Févotte, Simon J. Godsill	Blind Separation of Sparse Sources Using Jeffrey's Inverse Prior and the EM Algorithm.	ICA	2006	DBLP DOI BibTeX RDF
23	Sarit Shwartz, Yoav Y. Schechner, Michael Zibulevsky	Efficient Separation of Convolutive Image Mixtures.	ICA	2006	DBLP DOI BibTeX RDF
23	Saloua Rhioui, Marc Castella, Eric Moreau	Quadratic MIMO Contrast Functions for Blind Source Separation in a Convolutive Context.	ICA	2006	DBLP DOI BibTeX RDF
23	Juan Manuel Sanchis, José Joaquín Rieta, Francisco Castells, José Millet	A New Auditory-Based Index to Evaluate the Blind Separation Performance of Acoustic Mixtures.	ICA	2004	DBLP DOI BibTeX RDF
23	Nadège Thirion-Moreau, El Mostafa Fadaili, Eric Moreau	A Sufficient Condition for Separation of Deterministic Signals Based on Spatial Time-Frequency Representations.	ICA	2004	DBLP DOI BibTeX RDF
23	Gaoming Huang, Luxi Yang, Zhenya He	Application of Blind Source Separation to a Novel Passive Location.	ICA	2004	DBLP DOI BibTeX RDF
23	Changkyu Choi, Gil-Jin Jang, Yongbeom Lee, Sang Ryong Kim	Adaptive Cross-Channel Interference Cancellation on Blind Source Separation Outputs.	ICA	2004	DBLP DOI BibTeX RDF
23	Dorothea Kolossa, Reinhold Orglmeister	Nonlinear Postprocessing for Blind Speech Separation.	ICA	2004	DBLP DOI BibTeX RDF
23	Guillaume Patanchon, Jacques Delabrouille, Jean-François Cardoso	Source Separation on Astrophysical Data Sets from the WMAP Satellite.	ICA	2004	DBLP DOI BibTeX RDF
23	Bertrand Rivet, Vincent Vigneron, Anisoara Paraschiv-Ionescu, Christian Jutten	Wavelet De-noising for Blind Source Separation in Noisy Mixtures.	ICA	2004	DBLP DOI BibTeX RDF
23	Rafael Boloix-Tortosa, Juan José Murillo-Fuentes	Blind Source Separation in the Adaptive Reduction of Inter-channel Interference for OFDM.	ICA	2004	DBLP DOI BibTeX RDF
23	Anthony Larue, Christian Jutten, Shahram Hosseini	Markovian Source Separation in Post-nonlinear Mixtures.	ICA	2004	DBLP DOI BibTeX RDF
23	Robert Aichner, Herbert Buchner, Fei Yan, Walter Kellermann	Real-Time Convolutive Blind Source Separation Based on a Broadband Approach.	ICA	2004	DBLP DOI BibTeX RDF
23	Kostas Kokkinakis, Asoke K. Nandi	Multichannel Speech Separation Using Adaptive Parameterization of Source PDFs.	ICA	2004	DBLP DOI BibTeX RDF
23	Ichigaku Takigawa, Mineichi Kudo, Atsuyoshi Nakamura, Jun Toyama	On the Minimum l1-Norm Signal Recovery in Underdetermined Source Separation.	ICA	2004	DBLP DOI BibTeX RDF
23	César Sánchez 0002, José Joaquín Rieta, Francisco Castells, Raúl Alcaraz 0001, José Millet	Wavelet Domain Blind Signal Separation to Analyze Supraventricular Arrhythmias from Holter Registers.	ICA	2004	DBLP DOI BibTeX RDF
23	Motoaki Kawanabe, Klaus-Robert Müller	Estimating Functions for Blind Separation when Sources Have Variance-Dependencies.	ICA	2004	DBLP DOI BibTeX RDF
23	Wenwu Wang 0001, Jonathon A. Chambers, Saeid Sanei	Penalty Function Approach for Constrained Convolutive Blind Source Separation.	ICA	2004	DBLP DOI BibTeX RDF
23	Barak A. Pearlmutter, Anthony M. Zador	Monaural Source Separation Using Spectral Cues.	ICA	2004	DBLP DOI BibTeX RDF