|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5177 occurrences of 2797 keywords
|
|
|
Results
Found 17345 publication records. Showing 17345 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Antti Honkela, Stefan Harmeling, Leo Lundqvist, Harri Valpola |
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Blind Signal Separation, Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings, pp. 790-797, 2004, Springer, 3-540-23056-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Satoshi Ukai, Hiroshi Saruwatari, Tomoya Takatani, Kiyohiro Shikano, Ryo Mukai, Hiroshi Sawada |
Evaluation of Multistage SIMO-Model-Based Blind Source Separation Combining Frequency-Domain ICA and Time-Domain ICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Blind Signal Separation, Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings, pp. 626-633, 2004, Springer, 3-540-23056-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Samer A. Abdallah, Mark D. Plumbley |
Application of Geometric Dependency Analysis to the Separation of Convolved Mixtures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Blind Signal Separation, Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings, pp. 540-547, 2004, Springer, 3-540-23056-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Awais Rashid |
A Hybrid Approach to Separation of Concerns: The Story of SADES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 231-249, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Artur Caetano, António Rito Silva, José M. Tribolet |
A method for business process decomposition based on the separation of concerns principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 79-85, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
business process modelling, enterprise architecture, separation of concerns, functional decomposition, role modelling |
23 | Cristian Mateos, Marco Crasso, Alejandro Zunino, Marcelo R. Campo |
Separation of concerns in service-oriented applications based on pervasive design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 849-853, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
contract-last service consumption, dependency injection, web services, service-oriented computing, separation of concerns |
23 | Akshay Krishnamurthy, Adrian Mettler, David A. Wagner 0001 |
Fine-grained privilege separation for web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 551-560, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
23 | Yan-Qun Zhang, Bin Cao 0003, Qinyu Zhang 0001, Xi Chen |
Blind signal separation using oblique projection operators method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 560-564, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
oblique projection operators, independent component analysis, blind signal separation |
23 | Christoph Burnikel, Stefan Funke, Kurt Mehlhorn, Stefan Schirra, Susanne Schmitt |
A Separation Bound for Real Algebraic Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(1), pp. 14-28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Separation bound, Zero testing, Exact geometric computation |
23 | Yuming Shen, Yuefei Sui, Ju Wang 0005 |
The Dual Spatial Connectives of Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 90-99, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spatial connectives, dual modalities, modal logic, Separation logic |
23 | Jianfeng Lu, Ruixuan Li 0001, Zhengding Lu, Jinwei Hu, Xiaopu Ma |
Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings, pp. 403-410, 2009, Springer, 978-3-642-04473-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constraint, Separation-of-Duty, usage control |
23 | Dana Lahat, Jean-François Cardoso, Hagit Messer |
Optimal Performance of Second-Order Multidimensional ICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 50-57, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
correlated sources, multidimensional components, joint block diagonalization, performance analysis, Independent component analysis, blind source separation |
23 | Doru Constantin |
Cebysev Coefficients - Based Algorithm for Estimating the ICA Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 219-226, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Independent Component Analysis, Blind Source Separation, Numerical Methods |
23 | Elina Karp, Lauri Parkkonen, Ricardo Vigário |
Denoising Single Trial Event Related Magnetoencephalographic Recordings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 427-434, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Single trial, event related, magnetoencephalography (MEG), denoising source separation (DSS), independent component analysis (ICA), denoising |
23 | Zoltán Szabó 0001 |
Complete Blind Subspace Deconvolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 138-145, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Complete blind subspace deconvolution, separation principle, independent subspace analysis, linear prediction |
23 | Jongwon Seok, Hafiz Malik |
Audio Watermark Detection Using Undetermined ICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 637-645, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Audio Watermark Detection, Mean-Field Approaches, Independent Component Analysis, Blind Source Separation, Linear Predictive Coding |
23 | Quanwei Cai 0002, Ping Wei, Xianci Xiao |
A blind separation method of overlapped multi-components based on time varying AR model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(1), pp. 81-92, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
time varying AR model, time and frequency domains overlap, single channel, multi-components separation, recursive algorithm |
23 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 87-99, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
23 | Andriy Ivannikov, Tommi Kärkkäinen, Tapani Ristaniemi, Heikki Lyytinen |
Separation of ERP and Noise Subspaces in EEG Data without Whitening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland, pp. 65-69, 2008, IEEE Computer Society, 978-0-7695-3165-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Subspace Separation, Denoising, Electroencephalography, Event-Related Potential |
23 | Jocelyne Nanard, Gustavo Rossi, Marc Nanard, Silvia E. Gordillo, Leandro Perez |
Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 420-434, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Concern-sensitive navigation, User experience, Separation of concerns |
23 | R. Acharyya, Neil Scott, Eberhard Deuss, Paul D. Teal, Jurgen Flierl |
Signal Separation for Non-invasive Monitoring of Foetal Heartbeat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 497-501, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Foetal Heartbeat, Independent Component Analysis, Blind Source Separation |
23 | Jakob Nordström, Johan Håstad |
Towards an optimal separation of space and length in resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 701-710, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
length, lower bound, resolution, space, separation, pebbling, proof complexity |
23 | Pau Bofill |
Identifying Single Source Data for Mixing Matrix Estimation in Instantaneous Blind Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2008 , 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I, pp. 759-767, 2008, Springer, 978-3-540-87535-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
single source data, matrix estimation, potential function method, blind source separation |
23 | Dmitry Gavinsky, Pavel Pudlák |
Exponential Separation of Quantum and Classical Non-interactive Multi-party Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 23rd Annual IEEE Conference on Computational Complexity, CCC 2008, 23-26 June 2008, College Park, Maryland, USA, pp. 332-339, 2008, IEEE Computer Society, 978-0-7695-3169-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
separation of communication classes, communication complexity, quantum communication |
23 | David Feldman |
Incomplete information equilibria: Separation theorems and other myths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 151(1), pp. 119-149, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
State variables, Separation, Incomplete information, Equilibrium, Asset pricing |
23 | Ming Xiao, Shengli Xie, Yuli Fu 0001 |
Searching-and-averaging method of underdetermined blind speech signal separation in time domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(5), pp. 771-782, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Underdetermined blind signal separation, searching-and-averaging method, overcomplete independent component analysis, sparse representation |
23 | Tadahiro Azetsu, Eiji Uchino, Noriaki Suetake |
Blind Separation and Sound Localization by Using Frequency-domain ICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(2), pp. 185-192, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Blind separation, Frequency domain approach, Independent component analysis, Sound localization |
23 | Mohamed Amin Latif, Saeid Sanei, Jonathon A. Chambers, Loukianos Spyrou |
Partially Constrained Blind Source Separation for Localization of Unknown Sources Exploiting Non-homogeneity of the Head Tissues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 49(2), pp. 217-232, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
partially constrained, nonhomogeneity, electroencephalogram (EEG), blind source separation (BSS), source localization |
23 | Rui Li 0009, Fasong Wang |
Efficient Wavelet Based Blind Source Separation Algorithm for Dependent Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 431-441, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Statistically Dependent, Overcomplete, Independent Component Analysis, Blind Source Separation, Continuous Wavelet Transformation |
23 | Bo Zhou, Changzheng Chen, Yi Gou, Yu Zhang |
Application of the Stress Waves to Extract Multi-fault Features of the Low-Speed Machinery Based on Blind Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 579-587, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-faults diagnosis, Low-speed machinery, Stress waves, Blind source separation, Radial basis function network |
23 | Hai-Lin Liu 0001, Jia-Xun Hou |
A New Approach to Underdetermined Blind Source Separation Using Sparse Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 276-283, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
underdetermined mixture, blind source separation, Sparse representation |
23 | Gaurav Chandalia, Irina Rish |
Blind source separation approach to performance diagnosis and dependency discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, IMC 2007, San Diego, California, USA, October 24-26, 2007, pp. 259-264, 2007, ACM, 978-1-59593-908-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
end-to-end probes, sparse optimization, blind source separation, matrix factorization, network tomography |
23 | Yun-Chung Chung, Shyang-Lih Chang, Shen Cherng, Sei-Wang Chen |
Dichromatic Reflection Separation from a Single Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings, pp. 225-241, 2007, Springer, 978-3-540-74195-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dichromatic reflection separation, specular and diffuse components, fuzzy integral classification |
23 | R. Mitchell Parry, Irfan A. Essa |
Phase-Aware Non-negative Spectrogram Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 7th International Conference, ICA 2007, London, UK, September 9-12, 2007., pp. 536-543, 2007, Springer, 978-3-540-74493-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
time-frequency representations, unsupervised learning, sparse representations, audio processing, source separation |
23 | Fernando Rojas 0001, Jordi Solé i Casals, Carlos García Puntonet |
An Evolutionary Approach for Blind Inversion of Wiener Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 7th International Conference, ICA 2007, London, UK, September 9-12, 2007., pp. 260-267, 2007, Springer, 978-3-540-74493-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
signal deconvolution, Wiener systems, genetic algorithms, Independent component analysis, mutual information, blind source separation |
23 | Holger Giese, Alexander Vilbig |
Separation of non-orthogonal concerns in software architecture and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(2), pp. 136-169, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software architecture, Consistency, Separation of concern, Design by contract, Behavior synthesis |
23 | Zhaoshui He, Shengli Xie, Yuli Fu 0001 |
Sparse representation and blind source separation of ill-posed mixtures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(5), pp. 639-652, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ill-posed mixture, PCA, blind source separation, K-mean clustering, sparse representation |
23 | Hong Chen, Ninghui Li |
Constraint generation for separation of duty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 11th ACM Symposium on Access Control Models and Technologies, SACMAT 2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings, pp. 130-138, 2006, ACM, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constraints, role based access control, separation of duty |
23 | Haitham S. Hamza |
Separation of concerns for evolving systems: a stability-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
separation of concerns, software stability |
23 | Feng Zhang 0019 |
A High Order Cumulants Based Multivariate Nonlinear Blind Source Separation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 61(1-3), pp. 105-127, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cumulant matrix, principal component analysis, blind source separation, cumulant |
23 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
The SAT-based Approach to Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 237-263, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SAT-based decision procedures, separation logic |
23 | Xiaoqing Wu |
Pattern transformation for two-dimensional separation of concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 218-219, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pattern transformation, design patterns, AOP, separation of concerns |
23 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1357-1364, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high performance computing software, software engineering, parallel programming, separation of concerns |
23 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 247-258, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
23 | Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France |
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 121-126, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented development, middleware, model driven development, separation of concerns |
23 | Martin P. Robillard, Frédéric Weigand Warr |
ConcernMapper: simple view-based separation of scattered concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 65-69, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concern mapping, separation of concerns, aspect-oriented software development, concern modeling |
23 | Patrick C. K. Hung, Guang-Sha Qui |
Implementing conflict of interest assertions in WS-policy with separation of duties for Web-Services matchmaking process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 2(1), pp. 127-148, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Matchmaking process, Separation of duties, Conflict of interest, WS-policy, Chinese wall security policy |
23 | Clint J. van Alten, James G. Raftery |
Rule Separation and Embedding Theorems for Logics Without Weakening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 241-274, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem |
23 | Hichem Snoussi, Ali Mohammad-Djafari |
Bayesian Unsupervised Learning for Source Separation with Mixture of Gaussians Prior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(2-3), pp. 263-279, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
HMM models, EM algorithm, Gibbs sampling, source separation |
23 | Jorge Igual, Andrés Camacho, Luis Vergara |
A Blind Source Separation Technique for Extracting Sinusoidal Interferences in Ultrasonic Non-Destructive Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 38(1), pp. 25-34, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
sinusoidal cancelling, ultrasonics non-destructive testing, independent component analysis, blind source separation |
23 | Ninghui Li, Ziad Bizri, Mahesh V. Tripunitara |
On mutually-exclusive roles and separation of duty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 42-51, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, constraints, role-based access control, separation of duty |
23 | Nico Janssens, Elke Steegmans, Tom Holvoet, Pierre Verbaeten |
An agent design method promoting separation between computation and coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 456-461, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
agent design method, coordination, case-study, separation of concerns |
23 | Rüdiger Grimm, Patrick Aichroth |
Privacy protection for signed media files: a separation-of-duty approach to the lightweight DRM (LWDRM) system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 6th workshop on Multimedia & Security, MM&Sec 2004, Magdeburg, Germany, September 20-21, 2004, pp. 93-99, 2004, ACM, 1-58113-854-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
LWDRM, light weight digital rights management, virtual goods, privacy, pseudonyms, separation of duty |
23 | Patrick C. K. Hung |
From Conflict of Interest to Separation of Duties in WS-Policy for Web Services Matchmaking Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
WS-PolicyAttachment, security assertion, Web services, delegation, matchmaking, separation of duties, conflict of interest, WS-Policy, service locator |
23 | James Joshi, Basit Shafiq, Arif Ghafoor, Elisa Bertino |
Dependencies and separation of duty constraints in GTRBAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 8th ACM Symposium on Access Control Models and Technologies, SACMAT 2003, Villa Gallia, Como, Italy, June 2-3, 2003, Proceedings, pp. 51-64, 2003, ACM, 1-58113-681-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
security, role based access control, temporal constraints, separation of duty, cardinality constraint |
23 | Marc M. Van Hulle |
Blind Source Separation and Equiprobabilistic Topographic Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 31(1), pp. 19-30, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
equiprobabilistic maps, SOM algorithm, kMER, blind source separation, density-based clustering, topographic maps, speech signals |
23 | Anna Lysyanskaya |
Unique Signatures and Verifiable Random Functions from the DH-DDH Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings, pp. 597-612, 2002, Springer, 3-540-44050-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Unique signatures, verifiable random functions, application of groups with DH-DDH separation |
23 | Akihiro Miwa, Satoru Morita |
Sound Source Separation For Stereo Music Signal Recorded In An Active Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Sound source separation, Active environment, Stereo music signal, robot sensing |
23 | Te-Won Lee, Michael S. Lewicki, Terrence J. Sejnowski |
ICA Mixture Models for Unsupervised Classification of Non-Gaussian Classes and Automatic Context Switching in Blind Signal Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(10), pp. 1078-1089, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
automatic context switching, independent component analysis, image coding, Gaussian mixture model, maximum likelihood, blind source separation, Unsupervised classification |
23 | Miguel Antunes, António Rito Silva |
Using Separation and Composition of Concerns to Build Multiuser Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 68-, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
composition of concerns, multiuser virtual environments, engineering domain aspects, graphics capabilities, processing power, MUVE systems, continuous technology, software engineering separation of concerns approach, future system evolution, concerns composition, distributed systems, virtual reality, groupware, cooperative work, expressive power, network bandwidth, requirements evolution, MUVE, complex task |
23 | Peri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry |
Workshop on multi-dimensional separation of concerns in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 809-810, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
composition, decomposition, separation of concerns |
23 | Il-Seok Oh, Jin-Seon Lee, Ching Y. Suen |
Analysis of Class Separation and Combination of Class-Dependent Features for Handwriting Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(10), pp. 1089-1094, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
class separation, class-dependent feature combination, Handwriting recognition, modular neural network, nonparametric method |
23 | Aiguo Xie, Peter A. Beerel |
Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 64-75, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
time separation of events, Markov chains, probabilistic modeling, asynchronous, performance metrics, sojourn times, timed systems, symbolic techniques |
23 | Hee Beng Kuan Tan |
Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 313-314, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
component reusability, business programs, interface separation, visual development environments, database processing, component interface, graphical user interface, software reusability, reusability, data-intensive |
23 | Christer Berg, Staffan Ulfberg |
A Lower Bound for Perceptrons and an Oracle Separation of the PPPH Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 165-172, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
oracle separation, PP/sup PH/ hierarchy, linear size boolean circuits, superpolynomial size perceptrons, lower bound, Boolean functions, perceptrons |
23 | Jun Zhang 0006, Jianhua Lin |
Figure-ground separation by a neural dynamical system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 615-618, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
figure-ground separation, neural dynamical system, neural network inspired dynamical system, perceptual grouping problem, neighbourhood couplings, dot grouping, object recognition, image recognition, neural nets, visual perception, perceptual grouping, synthetic images, spatial interactions, excitation, nonlinear differential equations, nonlinear differential equation, inhibition, steady state solution, real-world images |
23 | Uma Mahadevan, Ramesh C. Nagabushnam |
Gap metrics for word separation in handwritten lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 124-127, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
gap metrics, word separation, handwritten lines, nonuniform word spacing, intercomponent distance estimation, gap estimation, performance evaluation, performance, computational geometry, robustness, optical character recognition, OCR, character recognition, handwriting recognition, convex hull |
23 | Lloyd A. Fletcher, Rangachar Kasturi |
A Robust Algorithm for Text String Separation from Mixed Text/Graphics Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(6), pp. 910-918, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
text string separation, mixed text/graphics images, computer graphics, computer graphics, transforms, computerised picture processing, character recognition, computerised pattern recognition, Hough transform, document analysis, graphics recognition, computerized picture processing |
22 | Franco Giannessi |
Image Space Approach to Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1561-1567, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Separation functions, Lagrange function, Separation, Sufficient condition, Lagrange multipliers, Euler equation, Necessary conditions, Image space |
22 | Shoko Araki, Francesco Nesta, Emmanuel Vincent 0001, Zbynek Koldovský, Guido Nolte, Andreas Ziehe, Alexis Benichoux |
The 2011 Signal Separation Evaluation Campaign (SiSEC2011): - Audio Source Separation -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LVA/ICA ![In: Latent Variable Analysis and Signal Separation - 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings, pp. 414-422, 2012, Springer, 978-3-642-28550-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Shoko Araki, Alexey Ozerov, Vikrham Gowreesunker, Hiroshi Sawada, Fabian J. Theis, Guido Nolte, Dominik Lutter, Ngoc Q. K. Duong |
The 2010 Signal Separation Evaluation Campaign (SiSEC2010): Audio Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LVA/ICA ![In: Latent Variable Analysis and Signal Separation - 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings, pp. 114-122, 2010, Springer, 978-3-642-15994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Shoko Araki, Fabian J. Theis, Guido Nolte, Dominik Lutter, Alexey Ozerov, Vikrham Gowreesunker, Hiroshi Sawada, Ngoc Q. K. Duong |
The 2010 Signal Separation Evaluation Campaign (SiSEC2010): Biomedical Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LVA/ICA ![In: Latent Variable Analysis and Signal Separation - 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings, pp. 123-130, 2010, Springer, 978-3-642-15994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Stephen D. Peterson, Magnus Axholt, Matthew Cooper 0001, Stephen R. Ellis |
Evaluation of Alternative Label Placement Techniques in Dynamic Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 9th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings, pp. 43-55, 2009, Springer, 978-3-642-02114-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
virtual reality, user interfaces, stereoscopic displays, visual clutter, Label placement |
21 | Sylvia C. Boyd, Sally Cockburn, Danielle Vella |
On the domino-parity inequalities for the STSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 110(3), pp. 501-519, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Branch and cut method, Travelling salesman problem, Cutting planes, Valid inequalities |
21 | Scott C. Douglas, Jih-Cheng Chao |
Simple, Robust, and Memory-Efficient FastICA Algorithms Using the Huber M-Estimator Cost Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 48(1-2), pp. 143-159, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Huber M-estimator, FastICA algorithm, ill-conditioned signal mixtures, kurtosis-based contrasts, non-Gaussian source distributions, Gaussian noise |
21 | Hiromi Takahashi, Takahiro Saito, Takashi Komatsu |
Variational Retinex Algorithm with its Application to a High - Quality Chroma Key. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2006, October 8-11, Atlanta, Georgia, USA, pp. 977-980, 2006, IEEE, 1-4244-0480-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Christian A. Duncan, Stephen G. Kobourov |
Polar Coordinate Drawing of Planar Graphs with Good Angular Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 407-421, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen |
Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 638-647, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Cutting Planes proof, tree-like proof, regular resolution, Davis-Putnam resolution, monotone real circuit, real communication complexity, lower bounds, resolution, propositional proof complexity |
20 | François Le Gall |
Exponential Separation of Quantum and Classical Online Space Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(2), pp. 188-202, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Online space complexity, Quantum computation, Communication complexity |
20 | Radoslaw Mazur, Alfred Mertins |
An Approach for Solving the Permutation Problem of Convolutive Blind Source Separation Based on Statistical Signal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(1), pp. 117-126, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Han-Hing Dang, Peter Höfner, Bernhard Möller |
Towards Algebraic Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 59-72, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Steven J. Landry, Amit V. Lagu |
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 394-402, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety, air traffic control, human performance modeling, aviation |
20 | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
Automatic Parallelization with Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 348-362, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hongseok Yang |
Automatic Verification of Heap-Manipulating Programs Using Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings, pp. 25, 2009, Springer, 978-3-642-03350-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yasmina Benabderrahmane, Abderraouf Ben Salem, Sid-Ahmed Selouani, Douglas D. O'Shaughnessy |
Blind speech separation using high order statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 670-673, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Fabian J. Theis, Richard A. Neher, Andre Zeug |
Blind Decomposition of Spectral Imaging Microscopy: A Study on Artificial and Real Test Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 548-556, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Johan Thomas, Yannick Deville, Shahram Hosseini |
Fast Blind Separation of Long Mixture Recordings Using Multivariate Polynomial Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(11), pp. 5704-5709, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Dongbing Gu, Huosheng Hu |
Using Fuzzy Logic to Design Separation Function in Flocking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(4), pp. 826-838, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyao Duan, Yungang Zhang, Changshui Zhang, Zhenwei Shi |
Unsupervised Single-Channel Music Source Separation by Average Harmonic Structure Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(4), pp. 766-778, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ari Abramson, Israel Cohen |
Single-Sensor Audio Source Separation Using Classification and Estimation Approach and GARCH Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(8), pp. 1528-1540, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Banu Gunel, Hüseyin Hacihabiboglu, Ahmet M. Kondoz |
Acoustic Source Separation of Convolutive Mixtures Based on Intensity Vector Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(4), pp. 748-756, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ran Kaftory, Yehoshua Y. Zeevi |
Blind separation of images obtained by spatially-varying mixing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 2604-2607, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jani Even, Hiroshi Saruwatari, Kiyohiro Shikano |
An improved permutation solver for blind signal separation based front-ends in robot audition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2172-2177, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Lingyun Gu, Richard M. Stern |
Single-channel speech separation based on modulation frequency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 25-28, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Pei Zhao, Zhiping Zhang, Xihong Wu |
Monaural speech separation based on multi-scale Fan-Chirp Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 161-164, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sunho Park, Seungjin Choi |
Gaussian processes for source separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 1909-1912, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Mathieu Lagrange, Luis Gustavo Martins, George Tzanetakis |
A Computationally Efficient Scheme for Dominant Harmonic Source Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 165-168, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
Oracle Semantics for Concurrent Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 353-367, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Atman Jbari, Abdellah Adib, Driss Aboutajdine |
A new signal separation technique using double referenced system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 670-673, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ramsay Taylor |
Separation of Z Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 350, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 17345 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|