Search results for "separation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	David A. Basin, Felix Klaedtke, Samuel Müller 0002	Monitoring security policies with metric first-order temporal logic.	SACMAT	2010	DBLP DOI BibTeX RDF	access control, monitoring, temporal logic, security policies, compliance, separation of duty, usage control
15	Paris A. Mastorocostas, Constantinos S. Hilas	A block-diagonal recurrent fuzzy neural network for system identification.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Block-diagonal recurrent fuzzy-neural network, Internal feedback, Separation of lung sounds, System identification
15	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
15	Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
15	Elena Angeli, Chiara Manneschi, Luca Repetto, Giuseppe Firpo, Corrado Boragno, Ugo Valbusa	Fabrication of Elastomeric Nanofluidic Devices for Manipulation of Long DNA Molecules.	NanoNet	2009	DBLP DOI BibTeX RDF	Nanochannels, DNA Separation, Nanoconfinement, PDMS
15	Xinyu Feng 0001	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
15	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
15	Zhongcheng Zhang	Alternating Iterative Projection Algorithm of Multivariate Time Series Mixed Models.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Multivariate time series regression, Ill-condition separation, Alternating iterative, Parameters estimation
15	Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Effective interactive proofs for higher-order imperative programs.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, dependent types, separation logic, interactive proof assistants
15	Jianfeng Lu, Ruixuan Li 0001, Vijay Varadharajan, Zhengding Lu, Xiaopu Ma	Secure Interoperation in Multidomain Environments Employing UCON Policies.	ISC	2009	DBLP DOI BibTeX RDF	Multidomain, cyclic inheritance, interoperation, separation of duty, usage control
15	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
15	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
15	Peng Zhang 0002, Yuexian Hou, Dawei Song 0001	Approximating true relevance distribution from a mixture model based on irrelevance data.	SIGIR	2009	DBLP DOI BibTeX RDF	distribution separation model, irrelevant data, true relevance distribution, pseudo-relevance feedback
15	Iris Reinbacher, Marc Benkert, Marc J. van Kreveld, Joseph S. B. Mitchell, Jack Snoeyink, Alexander Wolff 0001	Delineating Boundaries for Imprecise Regions.	Algorithmica	2008	DBLP DOI BibTeX RDF	Red-blue separation, Imprecise regions, Computational geometry
15	Gang Wang 0020, Nini Rao, Ying Zhang 0046	Atrial fibrillatory signal estimation using blind source extraction algorithm based on high-order statistics.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	blind source extraction (BSE), blind source separation (BSS), electrocardiogram (ECG), atrial fibrillation
15	Noah Torp-Smith, Lars Birkedal, John C. Reynolds	Local reasoning about a copying garbage collector.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	copying garbage collector, Separation logic, local reasoning
15	Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen	A security architecture for transient trust.	CSAW	2008	DBLP DOI BibTeX RDF	virtualization, multilevel security, emergency management, separation kernel
15	Dino Distefano, Matthew J. Parkinson	jStar: towards practical verification for java.	OOPSLA	2008	DBLP DOI BibTeX RDF	moduarity, design patterns, classes, separation logic
15	François Pottier	Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.	LICS	2008	DBLP DOI BibTeX RDF	Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation
15	Christian Wolter, Andreas Schaad, Christoph Meinel	Task-based entailment constraints for basic workflow patterns.	SACMAT	2008	DBLP DOI BibTeX RDF	task-based entailment constraints, access control, workflow management, separation of duty, workflow modelling
15	Laurent Mathy, Luigi Iannone	LISP-DHT: towards a DHT to map identifiers onto locators.	CoNEXT	2008	DBLP DOI BibTeX RDF	locator/ID separation, routing, DHT, LISP, addressing, internet architecture
15	Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
15	Thorsten Keuler	An aspect-oriented approach for improving architecture design efficiency.	ICSE Companion	2008	DBLP DOI BibTeX RDF	quality-centric views, software architecture, separation of concerns, aspect orientation, model weaving
15	Alexander Roßnagel	Personalisierung in der E-Welt Aus dem Blickwinkel der informationellen Selbstbestimmung gesehen.	Wirtschaftsinf.	2007	DBLP DOI BibTeX RDF	Restricted Data Processing, informational Separation of Powers, Identity Infrastructure, Control, Data Protection, Personal Data, Technology Design, Personality Profile
15	Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang	Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	global convergence analysis, stochastic gradient algorithm, discriminant variety, parametric polynomial system, MIMO systems, Blind signal separation
15	Martin P. Robillard, Gail C. Murphy	Representing concerns in source code.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	Java, software evolution, Separation of concerns, aspect-oriented software development, concern modeling
15	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
15	Ramesh Ram, Madhu Chetty	A Framework for Path Analysis in Gene Regulatory Networks.	PRIB	2007	DBLP DOI BibTeX RDF	d-separation, Causal model, conditional independence
15	Minyar Sassi, Amel Grissa Touzi, Habib Ounelli	Clustering Quality Evaluation Based on Fuzzy FCA.	DEXA	2007	DBLP DOI BibTeX RDF	Clustering Quality, Overlapping Rate, Separation Degree, Formal Concept Analyis, Fuzzy Concept Lattice, Validity Index
15	Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn	Modular verification of a non-blocking stack.	POPL	2007	DBLP DOI BibTeX RDF	concurrency, separation logic, non-blocking
15	Nick Benton, Uri Zarfaty	Formalizing and verifying semantic type soundness of a simple compiler.	PPDP	2007	DBLP DOI BibTeX RDF	relational para-metricity, separation logic, proof assistants, compiler verification, type soundness
15	Limin Shen, Shangping Ren, Feng Li 0017, Yunfeng Mu	A Time and Interaction Model for Open Distributed Timing Computation.	ICA3PP	2007	DBLP DOI BibTeX RDF	distributed timing computation, real-time, event, separation of concerns, message, coordination model
15	Chanwit Kaewkasi, John R. Gurd	A distributed dynamic aspect machine for scientific software development.	VMIL	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, virtual machine, high performance computing, separation of concerns, Run-time environments
15	Deniz Erdogmus, Umut Ozertem	Nonlinear Coordinate Unfolding Via Principal Curve Projections with Application to Nonlinear BSS.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	Nonlinear independent component analysis, nonlinear blind source separation, principal curves and surfaces, manifold unfolding, nonlinear coordinate transformation
15	Gerhard Kramer, Serap A. Savari	Edge-Cut Bounds on Network Coding Rates.	J. Netw. Syst. Manag.	2006	DBLP DOI BibTeX RDF	d-separation, network coding, active networks, Network capacity
15	Aditya Ramamoorthy, Kamal Jain, Philip A. Chou, Michelle Effros	Separating distributed source coding from network coding.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	multicast, network coding, separation, distributed source coding
15	Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan	Aspects and/versus modularity the grand debate.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	independent development, software engineering, aspect-oriented programming, modularization, separation of concerns, aspect-oriented software development, readability, program structure
15	Giuseppe Pappalardo, Emiliano Tramontana	Automatically discovering design patterns and assessing concern separations for applications.	SAC	2006	DBLP DOI BibTeX RDF	software engineering, design patterns, evolution, software evolution, separation of concerns, computational reflection
15	Anis Charfi, Mira Mezini	Aspect-Oriented Workflow Languages.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	Modularity, Separation of Concerns, Aspect-Oriented Software Development, Workflow Languages
15	Benny P. L. Lo, Fani Deligianni, Guang-Zhong Yang	Source Recovery for Body Sensor Network.	BSN	2006	DBLP DOI BibTeX RDF	Multi-sensory data fusion, source recovery, blind source separation
15	Patrick Hill, Simon Holland, Robin C. Laney	Symmetric composition of musical concerns.	AOSD	2006	DBLP DOI BibTeX RDF	multi-dimensional separation of concerns, aspect-oriented programming, music composition, music representation
15	Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner	Policy-Driven Memory Protection for Reconfigurable Hardware.	ESORICS	2006	DBLP DOI BibTeX RDF	Embedded Systems, Computer Security, Security Policies, Policy Languages, Reference Monitors, Separation Kernels
15	Theodore P. Pachidis, John N. Lygouras	Pseudo-Stereo Vision System: A Detailed Study.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	images separation, mirrors alignment, pseudo-stereovision, single camera, complex image
15	Nong Ye, Toni Farley	A Scientific Approach to Cyberattack Detection.	Computer	2005	DBLP DOI BibTeX RDF	Cyberattack detection, Attack-norm separation, Signal detection models, Detection systems, Security and privacy
15	Yutaka Miyazaki	Some Properties of Orthologics.	Stud Logica	2005	DBLP DOI BibTeX RDF	orthologics, variable separation property, cardinality of orthologics
15	James Joshi, Elisa Bertino, Usman Latif, Arif Ghafoor	A Generalized Temporal Role-Based Access Control Model.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	Access control, temporal constraints, separation of duty, role-based, role hierarchy
15	Dhananjay S. Phatak, Tom Goff	Fast Modular Reduction for Large Wordlengths via One Linear and One Cyclic Convolution.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF	fast modular reduction, large wordlength, FFT multiply, linear convolution, principle of separation, cryptography, elliptic-curve, number theoretic transforms, cyclic convolution
15	Tim Dwyer, Yehuda Koren, Kim Marriott	Stress Majorization with Orthogonal Ordering Constraints.	GD	2005	DBLP DOI BibTeX RDF	separation constraints, constrained optimization, graph layout
15	Hafiz Malik, Ashfaq A. Khokhar, Rashid Ansari	Improved watermark detection for spread-spectrum based watermarking using independent component analysis.	Digital Rights Management Workshop	2005	DBLP DOI BibTeX RDF	watermarking, independent component analysis, correlation, detection, blind source separation, spread spectrum
15	John W. Stamey Jr., Bryan T. Saunders, Simon Blanchard	The aspect-oriented web.	SIGDOC	2005	DBLP DOI BibTeX RDF	AOP-like behavior, AOPHP, LAMP, aspect-oriented programming, separation of concerns, web development
15	Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama	An adaptive object model with dynamic role binding.	ICSE	2005	DBLP DOI BibTeX RDF	adaptation, separation of concerns, role model
15	Jens Lysgaard, Adam N. Letchford, Richard W. Eglese	A new branch-and-cut algorithm for the capacitated vehicle routing problem.	Math. Program.	2004	DBLP DOI BibTeX RDF	separation, vehicle routing, branch-and-cut
15	Robby T. Tan, Ko Nishino, Katsushi Ikeuchi	Separating Reflection Components Based on Chromaticity and Noise Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	Reflection components separation, chromaticity, specular-to-diffuse mechanism, specular reflection, noise analysis, diffuse reflection, dichromatic reflection model
15	Anna Tonazzini, Luigi Bedini, Emanuele Salerno	Independent component analysis for document restoration.	Int. J. Document Anal. Recognit.	2004	DBLP DOI BibTeX RDF	Degraded documents, Palimpsest restoration- Bleed-through cancellation, Independent component analysis, Blind source separation
15	Michael Gastpar, Martin Vetterli	Power-bandwidth-distortion scaling laws for sensor networks.	IPSN	2004	DBLP DOI BibTeX RDF	OPTA (optimum performance theoretically attainable), sensor networks, joint source-channel coding, separation theorem
15	Periklis Sochos, Ilka Philippow, Matthias Riebisch	Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	product line methods, feature-architecture mapping, Software product lines, generative programming, separation of concerns, feature modelling, plug-in architectures
15	Rafael Ramírez 0001, Andrew E. Santosa	Concurrent and distributed programming using constraint logic programs.	SAC	2004	DBLP DOI BibTeX RDF	concurrency, constraints, separation of concerns
15	Lars Birkedal, Noah Torp-Smith, John C. Reynolds	Local reasoning about a copying garbage collector.	POPL	2004	DBLP DOI BibTeX RDF	copying garbage collector, separation logic, local reasoning
15	Anis Charfi, Mira Mezini	Aspect-Oriented Web Service Composition with AO4BPEL.	ECOWS	2004	DBLP DOI BibTeX RDF	Adaptive web service composition, aspect-oriented programming, BPEL, separation of concerns
15	Dionisio de Niz, Raj Rajkumar	Time weaver: a software-through-models framework for embedded real-time systems.	LCTES	2003	DBLP DOI BibTeX RDF	couplers, semantic dimension, semantic separation, software-through-models, real-time, embedded
15	Adriana Dapena, Carlos J. Escudero	A Novel Unsupervised Strategy to Separate Convolutive Mixtures in the Frequency Domain.	IWANN (2)	2003	DBLP DOI BibTeX RDF	convolutive mixtures, multiuser communication, Blind source separation, blind deconvolution
15	David F. Ferraiolo, Ramaswamy Chandramouli, Gail-Joon Ahn, Serban I. Gavrila	The role control center: features and case studies.	SACMAT	2003	DBLP DOI BibTeX RDF	administrative roles, role graph, separation of duty, role hierarchy, authorization management
15	Patrick C. K. Hung	Specifying conflict of interest in web services endpoint language (WSEL).	SIGecom Exch.	2002	DBLP DOI BibTeX RDF	security risk factor, web services Endpoint language, Java, XML, separation of duties, conflict of interest
15	Brian M. Sadler, Richard J. Kozick, Terrence J. Moore, Ananthram Swami	Bounds on SIMO and MIMO Channel Estimation and Equalization with Side Information.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	Cramér-Rao bounds, semi-blind, constant modulus, blind estimation, communications, equalization, channel estimation, source separation
15	Juha Karvanen, Jan Eriksson, Visa Koivunen	Adaptive Score Functions for Maximum Likelihood ICA.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	Blind Separation, Generalized Lambda Distribution, Pearson system, L-moments, score function
15	Doug Orleans	Incremental programming with extensible decisions.	AOSD	2002	DBLP DOI BibTeX RDF	aspect-oriented programming, extensibility, separation of concerns, predicate dispatching, incremental programming
15	Awais Rashid	A Database Evolution Approach for Object-Oriented Databases.	ICSM	2001	DBLP DOI BibTeX RDF	object database evolution, class versioning, aspect-oriented programming, Object oriented databases, separation of concerns, schema evolution, object versioning
15	Vojtech Franc, Václav Hlavác	A Contribution to the Schlesinger's Algorithm Separating Mixtures of Gaussians.	CAIP	2001	DBLP DOI BibTeX RDF	Gaussian separation, pattern recognition
15	Paul J. Layzell 0001, Pearl Brereton, Andrew French	Supporting collaboration in distributed software engineering teams.	APSEC	2000	DBLP DOI BibTeX RDF	distributed software engineering teams, support technology, economic factors, software process globalization, geographical separation, software development personnel, project quality, distributed software projects, industrial context, educational context, team structure, communication, groupware, project management, project management, cooperation, computer aided software engineering, software development management, stakeholders, human resource management, procedures, project support environments, collaboration support
15	Guang Yang, Ivan Tomek	Team Lab: A Collaborative Environment for Teamwork.	CRIWG	2000	DBLP DOI BibTeX RDF	Team Lab, geographical separation, code development, concurrent programming activity, central code repository, software development, efficiency, programming environments, quality, productivity, collaborative virtual environment, teamwork, collaborative environment, client-server application, software development teams
15	Nedeljko Varnica, Michael Fleming, Michelle Effros	Multi-Resolution Adaptation of the SPIHT Algorithm for Multiple Description.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	separation principle, multi-resolution, SPIHT, Multiple description, state information
15	Ella Bingham, Aapo Hyvärinen	ICA of Complex Valued Signals: A Fast and Robust Deflationary Algorithm.	IJCNN (3)	2000	DBLP DOI BibTeX RDF	Complex valued signals, Deflationary separation, Independent Component Analysis
15	Elke Pulvermüller, Andreas Speck, Awais Rashid	Implementing Collaboration-Based Designs Using Aspect-Oriented Programming.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Mixin Layers, Aspect-Oriented Programming, Contracts, Separation of Concerns, Collaboration-based Design
15	Christopher G. Healey, James T. Enns	Large Datasets at a Glance: Combining Textures and Colors in Scientific Visualization.	IEEE Trans. Vis. Comput. Graph.	1999	DBLP DOI BibTeX RDF	color category, multivariate dataset, pexel, preattentive processing, typhoon, perception, texture, Color, scientific visualization, psychophysics, experimental design, human vision, linear separation
15	HyungHyo Lee, BongNam Noh	An Integrity Enforcement Application Design and Operation Framework in Role-Based Access Control Systems: A Session-Oriented Approach.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	access control, integrity, RBAC, security model, separation of duty
15	Tamás Horváth 0002	Arithmetic Design for Permutation Groups.	CHES	1999	DBLP DOI BibTeX RDF	permutation multiplier, destination-tag routing, separation network, binary group, secret-key cryptosystem, PGM, switching network, sorting network, compact representation
15	Olivier Alata, Pierre Baylou, Mohamed Najim	A New 2-D Spectrum Estimate Using Multichannel AR Approach of 2-D Fast RLS Algorithms.	ICIP (2)	1997	DBLP DOI BibTeX RDF	2D spectrum estimate, multichannel AR approach, 2D fast RLS algorithms, high resolution 2D spectrum analysis, harmonic mean horizontal vertical, 2D FRLS, causal 2D autoregressive parameters, second quarter plane support, first quarter plane support, vertical frequency components, horizontal frequency components, single peak area, sinusoids separation, 2D linear prediction, spectral analysis, variances, gray level image, biases, harmonic mean
15	Jens-Rainer Ohm, Phuong Ma	Feature-based cluster segmentation of image sequences.	ICIP (3)	1997	DBLP DOI BibTeX RDF	feature-based cluster segmentation, classification results tracking, local feature analysis, segment merging, global classification, object separation, low-complexity technique, image sequences, image sequences, color, motion, vector quantization, pixels, object segmentation, object classification, features weighting, cluster labels
15	Qian Huang, Byron Dom, David Steele, Jonathan Ashley, Wayne Niblack	Foreground/background segmentation of color images by integration of multiple cues.	ICIP	1995	DBLP DOI BibTeX RDF	foreground/background segmentation, multi-level segmentation scheme, edge-based separation, image segmentation, integration, edge detection, minimum description length, color images, image colour analysis, unsupervised segmentation, textured images, color clustering, multiple cues
15	Pyeoung Kee Kim, Hang Joon Kim	On-line recognition of run-on Korean characters.	ICDAR	1995	DBLP DOI BibTeX RDF	on-line character recognition, run-on Korean characters, extended primitive strokes, cursive stroke extraction, character separation rules, generalized character list, stroke code sequence, positional relations, target character searching, feature extraction, character recognition, character sets, fuzzy membership functions
15	Arie Pikaz, Its'hak Dinstein	Using Simple Decomposition for Smoothing and Feature Point Detection of Noisy Digital Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	noisy digital curves, smoothed polygonal approximation, curvature function, separation point, smoothed approximation, inflection points, curve points, convex-concave sections, cusps, concave-concave sections, convex-convex sections, local minimal curvature, total curvature graphs, computational complexity, image processing, feature extraction, decomposition, smoothing, complexity analysis, planar curves, feature point detection
15	Chan Pyng Lai, Rangachar Kasturi	Detection of Dimension Sets in Engineering Drawings.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	engineering computing, dimension sets, ANSI drafting standards, rule-based text/graphics separation algorithm, model-based procedure, arrowhead tracking, tails, text blocks, feature control frames, image segmentation, image recognition, document image processing, engineering drawings, search methods, segmented images, leaders
15	Nageswara S. V. Rao, E. M. Oblow, Charles W. Glover	Learning Separations by Boolean Combinations of Half-Spaces.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	Boolean combinations, learning half spaces, separation function, online learning algorithm, learning (artificial intelligence), neural nets, separations, perceptrons, consolidator
15	Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack	Separating Counting Communication Complexity Classes.	STACS	1992	DBLP DOI BibTeX RDF	complexity of Boolean function, communication complexity and distributed computing, probabilism, lower bound arguments, separation of complexity classes
15	Van-Ban Le, D. T. Lee	Out-of-Roundness Problem Revisited.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	minimum area difference centre, minimum radial separation, out-of-roundness, farthest-neighbor Voronoi diagram, computational geometry, computational geometry, polygon, medial axis, intersection points
15	Xuanli Lisa Xie, Gerardo Beni	A Validity Measure for Fuzzy Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	fuzzy validity criterion, validity function, fuzzy c-partitions, geometric distance measure, cluster centroids, separation index, computer color vision system, IC wafer defects, pattern recognition, fuzzy clustering, fuzzy set theory, minimisation, uniqueness, color image segmentation
15	D. Ophir, Robert J. Spinrad	Three-dimensional computer display.	Commun. ACM	1969	DBLP DOI BibTeX RDF	color separation, interactive stereographic terminal, swept raster display, video map, computer graphics, three-dimensional display
15	Bhuvnesh Kumar Sharma, Mithilesh Kumar 0005, R. S. Meena	Development of a speech separation system using frequency domain blind source separation technique.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
15	Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal	Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Christoph Matheja, Jens Pagel, Florian Zuleger	A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
15	Jiangyu Han, Yanhua Long	Heterogeneous separation consistency training for adaptation of unsupervised speech separation.	EURASIP J. Audio Speech Music. Process.	2023	DBLP DOI BibTeX RDF
15	Jiayi Guo, Sen Liu, Kun Yu, Xiaoman Chen, Yunpeng Liu 0003, Fangcheng Lü	An Ultrahigh Voltage Shunt Reactor Acoustic Signal Separation Method Based on Masking Beamforming and Underdetermined Blind Source Separation.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
15	Mina Kemiha, Abdellah Kacha	Single-Channel Blind Source Separation using Adaptive Mode Separation-Based Wavelet Transform and Density-Based Clustering with Sparse Reconstruction.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
15	Wupeng Xie, Xiaoxiao Xiang, Xiaojuan Zhang 0001, Guanghong Liu	A Pre-Separation and All-Neural Beamformer Framework for Multi-Channel Speech Separation.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Chao Hou, Xinxin Wang, Haotai Xie, Taoyu Chen, Peiyu Zhu, Xiaofeng Xu, Kaiqiang You, Tingting Li	PhaSepDB in 2022: annotating phase separation-related proteins with droplet states, co-phase separation partners and other experimental information.	Nucleic Acids Res.	2023	DBLP DOI BibTeX RDF
15	Yanli Ji, Shuo Ma, Xing Xu 0001, Xuelong Li 0001, Heng Tao Shen	Self-Supervised Fine-Grained Cycle-Separation Network (FSCN) for Visual-Audio Separation.	IEEE Trans. Multim.	2023	DBLP DOI BibTeX RDF
15	Barbara Caroline Benato, Alexandre Xavier Falcão, Alexandru Cristian Telea	Linking data separation, visual separation, and classifier performance using pseudo-labeling by contrastive learning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yuchen Hu, Chen Chen 0075, Heqing Zou, Xionghu Zhong, Eng Siong Chng	Unifying Speech Enhancement and Separation with Gradient Modulation for End-to-End Noise-Robust Speech Separation.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hao Ma, Xiang Zheng, Lu Yu, Xingyu Zhou, Yufan Chen	A novel end-to-end deep separation network based on attention mechanism for single channel blind separation in wireless communication.	IET Signal Process.	2023	DBLP DOI BibTeX RDF
15	Arthur Charguéraud	A Modern Eye on Separation Logic for Sequential Programs. (Un nouveau regard sur la Logique de Séparation pour les programmes séquentiels).		2023	RDF