Search results for "separation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Yanan Tian, Xu Wang	A Blind Separation Method of Noised Image Based on Neural Network Nonlinear Filtering and Independent Component Analysis.	CSSE (4)	2008	DBLP DOI BibTeX RDF
20	Daniele Gorla	Towards a Unified Approach to Encodability and Separation Results for Process Calculi.	CONCUR	2008	DBLP DOI BibTeX RDF
20	Martín Abadi, Tim Harris 0001, Katherine F. Moore	A Model of Dynamic Separation for Transactional Memory.	CONCUR	2008	DBLP DOI BibTeX RDF
20	Fuxiang Wang, Jun Zhang	Convolutive Blind Speech Separation by Decorrelation.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
20	Nan Liu 0001, Sennur Ulukus	Scaling Laws for Dense Gaussian Sensor Networks and the Order Optimality of Separation.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
20	Alper T. Erdogan	Globally Convergent Deflationary Instantaneous Blind Source Separation Algorithm for Digital Communication Signals.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
20	Marc Castella, Saloua Rhioui, Eric Moreau, Jean-Christophe Pesquet	Quadratic Higher Order Criteria for Iterative Blind Separation of a MIMO Convolutive Mixture of Sources.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
20	Luis Castedo, Adriana Dapena, Carlos J. Escudero	Reply to "Comments on 'A Blind Signal Separation Method for Multiuser Communications'".	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
20	Steven J. Rennie, Parham Aarabi, Brendan J. Frey	Variational Probabilistic Speech Separation Using Microphone Arrays.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
20	Bertrand Rivet, Laurent Girin, Christian Jutten	Mixing Audiovisual Speech Processing and Blind Source Separation for the Extraction of Speech Signals From Convolutive Mixtures.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
20	Evangelos Kotsovinos, Ingo Friese, Martin Kurze, Jörg Heuer	A Role-Based Architecture for Seamless Identity Management and Effective Task Separation.	SEC	2007	DBLP DOI BibTeX RDF
20	Eva-Henrietta Dulf, Clement Festila	Model Predictive Control of the (13c) Isotope Separation Column.	SACI	2007	DBLP DOI BibTeX RDF
20	Jalal Taghia, Jalil Taghia	One-Channel Audio Source Separation of Convolutive Mixture.	SCSS (1)	2007	DBLP DOI BibTeX RDF
20	Dhananjay Bapat, Kevin R. B. Butler, Patrick D. McDaniel	Towards Automated Privilege Separation.	ICISS	2007	DBLP DOI BibTeX RDF
20	Kai Song, Mingli Ding, Qi Wang 0034, Wenhui Liu	Blind Source Separation in Post-nonlinear Mixtures Using Natural Gradient Descent and Particle Swarm Optimization Algorithm.	ISNN (3)	2007	DBLP DOI BibTeX RDF
20	Jonghyen Baek, Changgu Lee	The Simulation of Train Separation Control Algorithm by Movement Authority Using Beacon.	FSKD (3)	2007	DBLP DOI BibTeX RDF
20	Viktor Vafeiadis, Matthew J. Parkinson	A Marriage of Rely/Guarantee and Separation Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
20	Akihide Horita, Kenji Nakayama, Akihiro Hirano	Analysis and Comparative Study of Source Separation Performances in Feed-Forward and Feed-Back BSSs Based on Propagation Delays in Convolutive Mixture.	ICANN (1)	2007	DBLP DOI BibTeX RDF
20	Xin Chen 0027, Zhiming Liu 0001, Vladimir Mencl	Separation of Concerns and Consistent Integration in Requirements Modelling.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
20	Axel Küpper, Georg Treu	Efficient proximity and separation detection among mobile targets for supporting location-based community services.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
20	Linqiang Pan, Artiom Alhazov	Solving HPP and SAT by P Systems with Active Membranes and Separation Rules.	Acta Informatica	2006	DBLP DOI BibTeX RDF
20	Tim Dwyer, Yehuda Koren, Kim Marriott	IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of Graphs.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	stress majorization, force directed algorithms, constraints, layout, Graph drawing, multidimensional scaling
20	Maria G. Jafari, Wenwu Wang 0001, Jonathon A. Chambers, Tetsuya Hoya, Andrzej Cichocki	Sequential blind source separation based exclusively on second-order statistics developed for a class of periodic signals.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
20	Anna Tonazzini, Luigi Bedini, Emanuele Salerno	A Markov model for blind image separation by a mean-field EM algorithm.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
20	M. M. Ichir, Ali Mohammad-Djafari	Hidden Markov Models for Wavelet-Based Blind Source Separation.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
20	Emmanuel Vincent 0001	Musical source separation using time-frequency source priors.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
20	Mark R. Every, John E. Szymanski	Separation of synchronous pitched notes by spectral filtering of harmonics.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
20	Sen M. Kuo, Ajay B. Puvvala	Effects of frequency separation in periodic active noise control systems.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
20	Hiroshi Saruwatari, Toshiya Kawamura, Tsuyoki Nishikawa, Akinobu Lee, Kiyohiro Shikano	Blind source separation based on a fast-convergence algorithm combining ICA and beamforming.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
20	Kostas Kokkinakis, Asoke K. Nandi	Multichannel blind deconvolution for source separation in convolutive mixtures of speech.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
20	Rory A. Lewis, Cynthia Xin Zhang, Zbigniew W. Ras	Blind Signal Separation of Similar Pitches and Instruments in a Noisy Polyphonic Domain.	ISMIS	2006	DBLP DOI BibTeX RDF
20	Hua Zhang 0014, Da-Zheng Feng	Convolutive Blind Separation of Non-white Broadband Signals Based on a Double-Iteration Method.	ISNN (1)	2006	DBLP DOI BibTeX RDF
20	Peter W. O'Hearn	Separation Logic and Program Analysis.	SAS	2006	DBLP DOI BibTeX RDF
20	Satoru Morita, Yasuhito Nanri	Sound Source Separation of Trio using Stereo Musig Sound Signal Based on Independent Component Analysis.	ICME	2006	DBLP DOI BibTeX RDF
20	Bernhard Reus, Jan Schwinghammer	Separation Logic for Higher-Order Store.	CSL	2006	DBLP DOI BibTeX RDF
20	François Le Gall	Exponential separation of quantum and classical online space complexity.	SPAA	2006	DBLP DOI BibTeX RDF	quantum computation, communication complexity, online, space complexity, streaming algorithms
20	Young U. Ryu, Wei T. Yue	Firm Bankruptcy Prediction: Experimental Comparison of Isotonic Separation and Other Classification Approaches.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
20	Wenwu Wang 0001, Saeid Sanei, Jonathon A. Chambers	Penalty function-based joint diagonalization approach for convolutive blind separation of nonstationary sources.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
20	Yiteng Huang, Jacob Benesty, Jingdong Chen	A Blind Channel Identification-Based Two-Stage Approach to Separation and Dereverberation of Speech Signals in a Reverberant Environment.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
20	Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
20	Hiroshi Saruwatari, Katsuyuki Sawai, Tsuyoki Nishikawa, Akinobu Lee, Kiyohiro Shikano, Atsunobu Kaminuma, Masao Sakata, Daisuke Saitoh	Speech Enhancement Based on Blind Source Separation in Car Environments.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
20	Fernando Rojas Ruiz, Juan Manuel Górriz, Olga Valenzuela	Analysis of Variance of Three Contrast Functions in a Genetic Algorithm for Non-linear Blind Source Separation.	IWANN	2005	DBLP DOI BibTeX RDF
20	Richard Furuta	Separation of Concerns in Hypertext: Articulation Points That Increase Flexibility.	From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments	2005	DBLP DOI BibTeX RDF
20	Chunyi Peng 0001, Xianda Zhang 0001, Qutang Cai	A Block-Adaptive Subspace Method Using Oblique Projections for Blind Separation of Convolutive Mixtures.	ISNN (2)	2005	DBLP DOI BibTeX RDF
20	Anqing Zhang, Xuxiu Zhang, Tianshuang Qiu, Xinhua Zhang	A Neural Network Blind Separation Method Based on Special Frequency Bins.	ISNN (2)	2005	DBLP DOI BibTeX RDF
20	Ming Xiao, Shengli Xie, Yuli Fu 0001	A Novel Approach for Underdetermined Blind Sources Separation in Frequency Domain.	ISNN (2)	2005	DBLP DOI BibTeX RDF
20	Sen Jia, Yuntao Qian	An MRF-ICA Based Algorithm for Image Separation.	ICNC (2)	2005	DBLP DOI BibTeX RDF
20	Fernando Rojas 0001, Carlos García Puntonet, Juan Manuel Górriz, Olga Valenzuela	Assessing the Performance of Several Fitness Functions in a Genetic Algorithm for Nonlinear Separation of Sources.	ICNC (3)	2005	DBLP DOI BibTeX RDF
20	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Smallfoot: Modular Automatic Assertion Checking with Separation Logic.	FMCO	2005	DBLP DOI BibTeX RDF
20	Vinay P. Namboodiri, Subhasis Chaudhuri	Shock Filters Based on Implicit Cluster Separation.	CVPR (1)	2005	DBLP DOI BibTeX RDF
20	Charoensak Charayaphan, Farook Sattar	A single-chip FPGA design for real-time ICA-based blind source separation algorithm.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
20	Anna Tonazzini, Ivan Gerace, Francesco Cricco	Joint blind separation and restoration of mixed degraded images for document analysis.	ICIP	2004	DBLP DOI BibTeX RDF
20	Muralidhar Talupur, Nishant Sinha 0001, Ofer Strichman, Amir Pnueli	Range Allocation for Separation Logic.	CAV	2004	DBLP DOI BibTeX RDF
20	Tiemin Mei, Fuliang Yin, Jiangtao Xi, Joe F. Chicharo	Cumulant-Based Blind Separation of Convolutive Mixtures.	ISNN (1)	2004	DBLP DOI BibTeX RDF
20	Zhenwei Shi, Huanwen Tang, Yiyuan Tang	A Clustering Approach for Blind Source Separation with More Sources than Mixtures.	ISNN (1)	2004	DBLP DOI BibTeX RDF
20	J. Alberto Espinosa, Erran Carmel	The Effect of Time Separation on Coordination Costs in Global Software Teams: A Dyad Model.	HICSS	2004	DBLP DOI BibTeX RDF
20	Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn	Refinement and Separation Contexts.	FSTTCS	2004	DBLP DOI BibTeX RDF
20	Luís B. Almeida, Miguel Faria 0001	Separating a Real-Life Nonlinear Mixture of Images.	ICA	2004	DBLP DOI BibTeX RDF
20	Nikolaos Mitianoudis, Michael E. Davies 0001	Audio source separation of convolutive mixtures.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
20	Nicolas Biri, Didier Galmiche	A Separation Logic for Resource Distribution: Extended Abstract.	FSTTCS	2003	DBLP DOI BibTeX RDF
20	Xinying Zhang, Sun-Yuan Kung	COD: Diversity-Adaptive Subspace Processing for Multipath Separation and Signal Recovery.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	multipath separability condition, subspace processing, temporal oversampling, spatial displacement, DOA estimation, signal recovery, smart antenna
20	Stephen Lin 0001, Yuanzhen Li, Sing Bing Kang, Xin Tong 0001, Heung-Yeung Shum	Diffuse-Specular Separation and Depth Recovery from Image Sequences.	ECCV (3)	2002	DBLP DOI BibTeX RDF
20	Ivan Dimov 0001, Aneta Karaivanova, Rayna Georgieva, Sofiya Ivanovska	Parallel Importance Separation and Adaptive Monte Carlo Algorithms for Multiple Integrals.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
20	Fernando Rojas 0001, Manuel Rodríguez Álvarez, Carlos García Puntonet, Rubén Martín-Clemente	Applying Neural Networks and Genetic Algorithms to the Separation of Sources.	IBERAMIA	2002	DBLP DOI BibTeX RDF
20	Andrea Pierani, Francesco Piazza, Mirko Solazzi, Aurelio Uncini	Low Complexity Adaptive Non-Linear Function for Blind Signal Separation.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
20	Shree K. Nayar, Xi-Sheng Fang, Terrance E. Boult	Separation of Reflection Components Using Color and Polarization.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF
20	David P. Dobkin, David G. Kirkpatrick	Determining the Separation of Preprocessed Polyhedra - A Unified Approach.	ICALP	1990	DBLP DOI BibTeX RDF
20	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
20	Jérémie Gerhardt, Jon Yngve Hardeberg	Simple Comparison of Spectral Color Reproduction Workflows.	SCIA	2009	DBLP DOI BibTeX RDF	Spectral color reproduction, spectral gamut mapping, colorant separation, spectral vector error diffusion, halftoning
20	Rui C. Gonçalves, João Luís Sobral	Pluggable parallelisation.	HPDC	2009	DBLP DOI BibTeX RDF	non-invasive parallelisation, parallel programming, separation of concerns
20	Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt	A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Coarse-grained Components, Model Templates, Framework, AOP, Views, Separation of Concerns, MDE, Component Middleware
20	Yumin Yang, Chonghui Guo, Zunquan Xia	Independent Component Analysis for Time-dependent Processes Using AR Source Model.	Neural Process. Lett.	2008	DBLP DOI BibTeX RDF	Independent component analysis, Blind source separation, Autoregressive model, Likelihood function
20	Agung Fatwanto, Clive Boughton	Concern-Oriented Model-Driven Development Framework.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	translative, Model-driven development, separation of concerns, aspect
20	Huu Hai Nguyen, Wei-Ngan Chin	Enhancing Program Verification with Lemmas.	CAV	2008	DBLP DOI BibTeX RDF	Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
20	Andrew Isaac Meso, Johannes M. Zanker	Separating Global Motion Components in Transparent Visual Stimuli - A Phenomenological Analysis.	ICANN (2)	2008	DBLP DOI BibTeX RDF	Motion transparency, Fourier spectra, Global motion, Signal separation
20	Luigi Bedini, Emanuele Salerno	Extracting Astrophysical Sources from Channel-Dependent Convolutional Mixtures by Correlated Component Analysis in the Frequency Domain.	KES (3)	2007	DBLP DOI BibTeX RDF	Astrophysical imaging, Semi-blind source separation, Dependent component analysis
20	Limin Shen, Feng Li 0017, Shangping Ren, Yunfeng Mu	Dynamic Composition of Web Service Based on Coordination Model.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Web service, coordination, role, separation of concern, dynamic service composition
20	Angelo Ciaramella, Enza De Lauro, Salvatore De Martino, Mariarosaria Falanga, Roberto Tagliaferri	ICA based identification of dynamical systems generating synthetic and real world time series.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Independent component analysis, Signal processing, Dynamical systems, Blind source separation, Time series analysis, Stochastic resonance
20	Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine	High Robustness Requirements in a Common Criteria Protection Profile.	IWIA	2006	DBLP DOI BibTeX RDF	high robustness, common criteria, dynamic configuration, least privilege, separation kernel
20	Shun'ichi Yamamoto, Kazuhiro Nakadai, Mikio Nakano, Hiroshi Tsujino, Jean-Marc Valin, Ryu Takeda, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno	Genetic Algorithm-Based Improvement of Robot Hearing Capabilities in Separating and Recognizing Simultaneous Speech Signals.	IEA/AIE	2006	DBLP DOI BibTeX RDF	Robot-human interaction, Sound source separation, Simultaneous Speakers, Robot audition, Speech recognition, Microphone array
20	Jun-Cheol Jeon, Kee-Young Yoo	Cellular Automata Based Role-Delegation in RBAC.	ACRI	2006	DBLP DOI BibTeX RDF	Multiple-Attractor Cellular Automata, Role-Delegation, Role-based Access Control, Separation of Duty
20	Feng Zhang, Bani K. Mallick, Zhujun Weng	A Bayesian method for identifying independent sources of non-random spatial patterns.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	variational Bayesian, principal component analysis, blind source separation, conjugate prior
20	Josef Slapal	F-Net Convergence with Respect to a Closure Operator.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	convergence structure, compactness, separation, net, closure operator, neighborhood
20	Richard W. C. Lui, Sherman S. M. Chow, Lucas Chi Kwong Hui, Siu-Ming Yiu	Role Activation Management in Role Based Access Control.	ACISP	2005	DBLP DOI BibTeX RDF	Role Activation, Dynamic Separation of Duty, Role Based Access Control, Security Management
20	Tim Dwyer, Kim Marriott, Peter J. Stuckey	Fast Node Overlap Removal.	GD	2005	DBLP DOI BibTeX RDF	separation constraints, constrained optimization, graph layout
20	Martin P. Robillard, Peri L. Tarr	First international workshop on the modeling and analysis of concerns in software (MACS 2005).	ICSE	2005	DBLP DOI BibTeX RDF	separation of concerns, software modeling, software analysis
20	Jean Rouat, Stéphane Loiselle, Ramin Pichevar	Towards Neurocomputational Speech and Sound Processing.	WNSP	2005	DBLP DOI BibTeX RDF	Auditory modelling, Amplitude Modulation, Cochlear Nucleus, Corrupted Speech Processing, Rank Order Coding, Speech recognition, Spiking Neurons, Temporal Correlation, Source separation, Auditory Scene Analysis
20	Avneesh Sud, Mark Foskey, Dinesh Manocha	Homotopy-preserving medial axis simplification.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	separation angle, voronoi diagram, medial axis, simplification, homotopy
20	Yogesh Singh, Chandra Shekhar Rai	A simplified approach to independent component analysis.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Edgeworth expansion, Blind source separation (BSS), Objective function
20	Stanley M. Sutton Jr., Isabelle Rouvellou	Modeling of software concerns in Cosmos.	AOSD	2002	DBLP DOI BibTeX RDF	MDSOC, concern-space modeling, hyperspaces, multidimensional separation of concerns, software information modeling, AOSD, aspect-oriented software development, cosmos
20	Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier	Integrating the ConcernBASE Approach with SADL.	UML	2001	DBLP DOI BibTeX RDF	Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture
20	Nikos Vlassis	Fast Score Function Estimation with Application in ICA.	ICANN	2001	DBLP DOI BibTeX RDF	Score function estimation, Independent component analysis, Blind signal separation
20	Xunhua Wang, Yih Huang, Yvo Desmedt, David Rine	Enabling Secure On-Line DNS Dynamic Update.	ACSAC	2000	DBLP DOI BibTeX RDF	secure online DNS dynamic update, Internet Engineering Task Force, DNS Security Extension, zone security key, role separation principle, signature computation time, Internet, authentication, cryptography, distributed databases, RSA, transport protocols, experimental results, message authentication, threshold cryptography, telecommunication security, MD5, Domain Name System, IP addresses, performance penalty, DNSSEC
19	Emmanuel Vincent 0001, Simon Arberet, Rémi Gribonval	Underdetermined Instantaneous Audio Source Separation via Local Gaussian Modeling.	ICA	2009	DBLP DOI BibTeX RDF
19	Natanael N. de Moura, Eduardo F. Simas Filho, José Manoel de Seixas	Narrow-Band Short-Time Frequency-Domain Blind Signal Separation of Passive Sonar Signals.	ICA	2009	DBLP DOI BibTeX RDF	Passive Sonar, Convolutive Mixtures, Interference Removal, Spectral Analysis, BSS
19	David N. Levin	Using Signal Invariants to Perform Nonlinear Blind Source Separation.	ICA	2009	DBLP DOI BibTeX RDF
19	Michal Natora, Felix Franke, Matthias H. J. Munk, Klaus Obermayer	Blind Source Separation of Sparse Overcomplete Mixtures and Application to Neural Recordings.	ICA	2009	DBLP DOI BibTeX RDF
19	Everton Z. Nadalin, Ricardo Suyama, Romis Ribeiro Faissol Attux	An ICA-Based Method for Blind Source Separation in Sparse Domains.	ICA	2009	DBLP DOI BibTeX RDF	blind identification, independent component analysis, audio signal processing, Sparse component analysis
19	Andrew Nesbit, Emmanuel Vincent 0001, Mark D. Plumbley	Extension of Sparse, Adaptive Signal Decompositions to Semi-blind Audio Source Separation.	ICA	2009	DBLP DOI BibTeX RDF
19	Auxiliadora Sarmiento, Sergio Cruces, Iván Durán	Improvement of the Initialization of ICA Time-Frequency Algorithms for Speech Separation.	ICA	2009	DBLP DOI BibTeX RDF