Stem separ$ (all stems)

385 papers:

DRR-2015-Fan0N #documentation #image #performance

Separation of text and background regions for high performance document image compression (WF, JS, SN).

ESOP-2015-SieczkowskiSBP #consistency #logic

A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.

STOC-2015-AaronsonA #named #problem #quantum

Forrelation: A Problem that Optimally Separates Quantum from Classical Computing (SA, AA), pp. 307–316.

STOC-2015-GanorKR #communication #exponential

Exponential Separation of Information and Communication for Boolean Functions (AG, GK, RR), pp. 557–566.

ICALP-v1-2015-FontesJKLLR #communication #complexity

Relative Discrepancy Does not Separate Information and Communication Complexity (LF, RJ, IK, SL, ML, JR), pp. 506–516.

ICALP-v1-2015-GaspersS #algorithm #performance #set

Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets (SG, GBS), pp. 567–579.

SEFM-2015-JonesY #abstraction #reasoning #using

Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.

CHI-2015-LesselAK #analysis #people

Analysis of Recycling Capabilities of Individuals and Crowds to Encourage and Educate People to Separate Their Garbage Playfully (PL, MA, AK), pp. 1095–1104.

DHM-EH-2015-YamamotoOGKHBA #research

Research of Work Climate at Nursing Home — From Job Separation and Management Capability Point (AY, TO, AG, NK, HH, HCBJ, TA), pp. 512–523.

CAiSE-2015-FukusumiMK #approach #crowdsourcing #data transformation #game studies

Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management (SF, AM, HK), pp. 3–19.

ICML-2015-AnBB #how #linear #network #question

How Can Deep Rectifier Networks Achieve Linear Separability and Preserve Distances? (SA, FB, MB), pp. 514–523.

ECOOP-2015-KloosMV

Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.

Onward-2015-LorenzR #in the cloud

Separation of powers in the cloud: where applications and users become peers (DHL, BR), pp. 76–89.

ASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.

CADE-2015-BalbianiB #composition #logic #parallel

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.

CADE-2015-HouGT #automation #logic #proving #theorem proving

Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.

ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.

LICS-2015-Place #quantifier #regular expression

Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.

ASE-2014-GiannakopoulouHILRR #assurance #testing

Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.

FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem

Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.

PLDI-2014-PekQM #c #data type #logic #proving #using

Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.

SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.

STOC-2014-AwasthiBL #learning #linear #locality #power of

The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.

STOC-2014-GargMV #algorithm #equilibrium

Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.

ICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph #performance

Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.

IFM-2014-PatcasLM #embedded

A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.

SEFM-2014-TatsutaC #induction #logic #verification

Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.

CHI-2014-BryanMW #editing #interactive #named

ISSE: an interactive source separation editor (NJB, GJM, GW), pp. 257–266.

HCI-AIMT-2014-PalomaresLR #evaluation #multi

Study and Evaluation of Separability Techniques and Occlusion in Multitouch Surfaces (JP, MEL, AR), pp. 293–304.

ICPR-2014-Martinez-VargasHAAC #component #constraints #probability #recursion

Recursive Separation of Stationary Components by Subspace Projection and Stochastic Constraints (JDMV, CCH, AMÁM, CDAM, GCD), pp. 3469–3474.

ICPR-2014-ZhangYZJT #adaptation

Overlapped Fingerprints Separation Based on Adaptive Orientation Model Fitting (NZ, XY, YZ, XJ, JT), pp. 678–683.

OOPSLA-2014-TuronVD #memory management #named #navigation #protocol

GPS: navigating weak memory with ghosts, protocols, and separation (AT, VV, DD), pp. 691–707.

POPL-2014-BrotherstonV #parametricity

Parametric completeness for separation theories (JB, JV), pp. 453–464.

POPL-2014-HouCGT #logic #proving

Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.

POPL-2014-LeeP #logic #proving

A proof system for separation logic with magic wand (WL, SP), pp. 477–490.

SAC-2014-Fernandez-MarquezSSYDZ #approach #mobile #self

Self-managing and self-organising mobile computing applications: a separation of concerns approach (JLFM, GDMS, GS, JY, SD, FZ), pp. 458–465.

ICSE-2014-WagstromD #development #scalability

Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project (PW, SD), pp. 199–210.

CAV-2014-PiskacWZ #automation #logic

Automating Separation Logic with Trees and Data (RP, TW, DZ), pp. 711–728.

LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability

A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.

LICS-CSL-2014-DemriD #logic

Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.

LICS-CSL-2014-MareticDB #ltl

Anchored LTL separation (GPM, MTD, DAB), p. 9.

LICS-CSL-2014-PlaceZ #first-order #logic #regular expression

Separating regular languages with first-order logic (TP, MZ), p. 10.

DRR-2013-DelayeL #documentation #modelling #online

Context modeling for text/non-text separation in free-form online handwritten documents (AD, CLL).

ICDAR-2013-BaroniaN #reduction #using

Ink-Bleed Reduction Using Layer Separation (SB, AMN), pp. 215–219.

ESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning

Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.

ESOP-2013-WickersonDP #logic #proving

Ribbon Proofs for Separation Logic (JW, MD, MJP), pp. 189–208.

FoSSaCS-2013-KrebbersW #control flow #logic

Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.

PLDI-2013-Qiu0SM #proving

Natural proofs for structure, data, and separation (XQ, PG, AS, PM), pp. 231–242.

STOC-2013-KleinMS #graph #linear #recursion

Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.

ICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards

Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (Extended Abstract) (YF, ML, MM, JN, MV), pp. 437–448.

ICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence

Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.

CSCW-2013-KazakosHV #product line

Revisiting the relationship between reunion and technology-mediated separation in periodically transitioning families (KK, SH, FV), pp. 1157–1168.

ICML-c1-2013-KumarSK #algorithm #matrix #performance

Fast Conical Hull Algorithms for Near-separable Non-negative Matrix Factorization (AK, VS, PK), pp. 231–239.

ICML-c3-2013-BryanM #interactive #performance

An Efficient Posterior Regularized Latent Variable Model for Interactive Sound Source Separation (NJB, GJM), pp. 208–216.

ICML-c3-2013-YoshiiTMG #infinity

Infinite Positive Semidefinite Tensor Factorization for Source Separation of Mixture Signals (KY, RT, DM, MG), pp. 576–584.

SEKE-2013-KatoSWF #comparative #evaluation #paradigm #programming

Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (S) (FK, KS, HW, YF), pp. 594–599.

OOPSLA-2013-VafeiadisN #concurrent #logic

Relaxed separation logic: a program logic for C11 concurrency (VV, CN), pp. 867–884.

POPL-2013-CairesS #behaviour

The type discipline of behavioral separation (LC, JCS), pp. 275–286.

POPL-2013-JensenBK #logic #low level

High-level separation logic for low-level code (JBJ, NB, AK), pp. 301–314.

SAC-PL-J-2011-DinkelakerEM13 #compilation #embedded #incremental #syntax

Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.

ICSE-2013-SantelicesZJCZ #slicing

Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.

CADE-2013-IosifRS #logic #recursion

The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.

CAV-2013-HaaseIOP #graph #logic #named #reasoning

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.

CAV-2013-PiskacWZ #automation #logic #smt #using

Automating Separation Logic Using SMT (RP, TW, DZ), pp. 773–789.

SAT-2013-Johannsen #exponential #learning #proving

Exponential Separations in a Hierarchy of Clause Learning Proof Systems (JJ), pp. 40–51.

ESOP-2012-JensenB #logic

Fictional Separation Logic (JBJ, LB), pp. 377–396.

PLDI-2012-JohnsonKPZA #reduction

Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.

STOC-2012-DvirMPY #branch #multi #source code

Separating multilinear branching programs and formulas (ZD, GM, SP, AY), pp. 615–624.

STOC-2012-FioriniMPTW #bound #exponential #linear

Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds (SF, SM, SP, HRT, RdW), pp. 95–106.

STOC-2012-GargMSV #algorithm

A complementary pivot algorithm for markets under separable, piecewise-linear concave utilities (JG, RM, MAS, VVV), pp. 1003–1016.

STOC-2012-OrecchiaSV #algorithm #approximate #exponential

Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.

STOC-2012-Vegh #algorithm #low cost #polynomial #problem

Strongly polynomial algorithm for a class of minimum-cost flow problems with separable convex objectives (LAV), pp. 27–40.

ICALP-v1-2012-CyganKPPW #clique #graph

Clique Cover and Graph Separation: New Incompressibility Results (MC, SK, MP, MP, MW), pp. 254–265.

ICALP-v1-2012-ShiW #optimisation

Epsilon-Net Method for Optimizations over Separable States (YS, XW), pp. 798–809.

ICALP-v2-2012-KikotKPZ #bound #exponential #query

Exponential Lower Bounds and Separation for Query Rewriting (SK, RK, VVP, MZ), pp. 263–274.

AdaEurope-2012-MartinezV #component #development #modelling #requirements

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development (PLM, TV), pp. 89–104.

EDOC-2012-ZarghamiSES #as a service #logic #process

Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.

ICML-2012-MysoreS #markov #modelling #performance

Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.

ICPR-2012-DoTT #multi #representation #using

Text/graphic separation using a sparse representation with multi-learned dictionaries (THD, ST, ORT), pp. 689–692.

ICPR-2012-KirbizG #matrix #music

Perceptually weighted Non-negative Matrix Factorization for blind single-channel music source separation (SK, BG), pp. 226–229.

ICPR-2012-KongW #clustering #learning #multi

A multi-task learning strategy for unsupervised clustering via explicitly separating the commonality (SK, DW), pp. 771–774.

ICPR-2012-MurataS #optimisation

Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.

ICPR-2012-NiigakiSM #detection #using

Circular object detection based on separability and uniformity of feature distributions using Bhattacharyya Coefficient (HN, JS, MM), pp. 2009–2012.

ICPR-2012-YoonFW #generative

Bayesian separation of wind power generation signals (JWY, FF, MW), pp. 2660–2663.

KDD-2012-AbrahaoSHK #community #on the

On the separability of structural classes of communities (BDA, SS, JEH, RK), pp. 624–632.

POPL-2012-ReddyR #logic

Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.

CAV-2012-BerdineCIW #abstraction #analysis

Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.

LICS-2012-JeanninK

Capsules and Separation (JBJ, DK), pp. 425–430.

SAT-2012-BonetB #learning

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (MLB, SRB), pp. 44–57.

DAC-2011-RahmanATS #library #physics #reduction #synthesis

Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.

ICDAR-2011-GargHCG #multi

A CRF Based Scheme for Overlapping Multi-colored Text Graphics Separation (RG, EH, SC, MG), pp. 1215–1219.

ICDAR-2011-OujiLL #documentation #image

Chromatic / Achromatic Separation in Noisy Document Images (AO, YL, FL), pp. 167–171.

ICDAR-2011-XuYWL #analysis #using

Touching Character Separation in Chinese Handwriting Using Visibility-Based Foreground Analysis (LX, FY, QFW, CLL), pp. 859–863.

ESOP-2011-HoborG #concurrent #logic

Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.

ESOP-2011-ParkinsonS #logic

The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.

PLDI-2011-Chlipala #logic #low level #source code #verification

Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.

PLDI-2011-PerezR #calculus #logic #proving #theorem proving

Separation logic + superposition calculus = heap theorem prover (JANP, AR), pp. 556–566.

SAS-2011-GorogiannisKO #abduction #abstraction #complexity

The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.

STOC-2011-BrandaoCY #algorithm #problem #quantum

A quasipolynomial-time algorithm for the quantum separability problem (FGSLB, MC, JY), pp. 343–352.

STOC-2011-GentryW

Separating succinct non-interactive arguments from all falsifiable assumptions (CG, DW), pp. 99–108.

ICALP-v1-2011-FortnowS #robust #simulation

Robust Simulations and Significant Separations (LF, RS), pp. 569–580.

SEFM-2011-CrespoK #framework #logic #relational

A Machine-Checked Framework for Relational Separation Logic (JMC, CK), pp. 122–137.

CHI-2011-YaroshA #product line

Mediated parent-child contact in work-separated families (SY, GDA), pp. 1185–1194.

KDIR-2011-Aladjem #modelling #probability

Probabilistic Modeling, Projection Pursuit and Blind Source Separation (MA), p. 9.

MLDM-2011-Grabczewski

Separability of Split Value Criterion with Weighted Separation Gains (KG), pp. 88–98.

ECOOP-2011-ZaparanuksH #algorithm #design

The Beauty and the Beast: Separating Design from Algorithm (DZ, MH), pp. 27–51.

POPL-2011-TuronW #concurrent #logic

A separation logic for refining concurrent objects (AJT, MW), pp. 247–258.

CADE-2011-BrotherstonDP #automation #logic #proving

Automated Cyclic Entailment Proofs in Separation Logic (JB, DD, RLP), pp. 131–146.

CAV-2011-DudkaPV #data type #logic #named #using

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.

LICS-2011-HurDV #garbage collection #logic

Separation Logic in the Presence of Garbage Collection (CKH, DD, VV), pp. 247–256.

ESOP-2010-Atkey #analysis #logic

Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.

ESOP-2010-FerreiraFS #concurrent #logic #memory management #modelling

Parameterized Memory Models and Concurrent Separation Logic (RF, XF, ZS), pp. 267–286.

ESOP-2010-LavironCR #graph

Separating Shape Graphs (VL, BYEC, XR), pp. 387–406.

PLDI-2010-WestbrookRIYAT #java #multi #named #programming #using

Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.

SAS-2010-BellAW #concurrent #logic #parallel #pipes and filters

Concurrent Separation Logic for Pipelined Parallelization (CJB, AWA, DW), pp. 151–166.

SEFM-2010-GallardoS #calculus #verification #μ-calculus

Verification of Dynamic Data Tree with μ-calculus Extended with Separation (MdMG, DS), pp. 211–221.

EDOC-2010-AsuncionIS #flexibility #integration #towards

Towards a Flexible Service Integration through Separation of Business Rules (CHA, MEI, MvS), pp. 184–193.

ICPR-2010-ErdoganG #using

Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors (HE, EMG), pp. 4573–4576.

ICPR-2010-LettnerS #robust

Combining Spectral and Spatial Features for Robust Foreground-Background Separation (ML, RS), pp. 1969–1972.

ICPR-2010-MaTW #analysis #random #using

Nonlinear Blind Source Separation Using Slow Feature Analysis with Random Features (KM, QT, JW), pp. 830–833.

ICPR-2010-PengSGS #classification #documentation #using

Text Separation from Mixed Documents Using a Tree-Structured Classifier (XP, SS, VG, RS), pp. 241–244.

ICPR-2010-SmithW #analysis

A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.

ICPR-2010-StarkWP #representation #speech #using

Single Channel Speech Separation Using Source-Filter Representation (MS, MW, FP), pp. 826–829.

ECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification

Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.

SAC-2010-CaetanoST #composition #principle #process

A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.

SAC-2010-GiuntaPT #aspect-oriented #design pattern #using

Using aspects and annotations to separate application code from design patterns (RG, GP, ET), pp. 2183–2189.

SAC-2010-MateosCZC #design pattern #pervasive

Separation of concerns in service-oriented applications based on pervasive design patterns (CM, MC, AZ, MRC), pp. 849–853.

SAC-2010-ShinLH #community #online

Separating the reputation and the sociability of online community users (HS, JL, KH), pp. 1807–1814.

HPCA-2010-TangBHC #architecture #cpu #performance #using

DMA cache: Using on-chip storage to architecturally separate I/O data from CPU data for improving I/O performance (DT, YB, WH, MC), pp. 1–12.

ISMM-2010-TianFG #parallel #predict #using

Speculative parallelization using state separation and multiple value prediction (CT, MF, RG), pp. 63–72.

LICS-2010-BrotherstonK #logic

Undecidability of Propositional Separation Logic and Its Neighbours (JB, MIK), pp. 130–139.

DATE-2009-VecchieTS #compilation #execution #imperative

Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.

ICDAR-2009-ZhuSMHN #classification #feature model

Separate Chinese Character and English Character by Cascade Classifier and Feature Selection (YZ, JS, AM, YH, SN), pp. 1191–1195.

ESOP-2009-RazaCG #automation #logic #parallel

Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.

FoSSaCS-2009-AntonopoulosD #graph #logic

Separating Graph Logic from MSO (TA, AD), pp. 63–77.

TACAS-2009-ChenFCTW #automaton #composition #learning #verification

Learning Minimal Separating DFA’s for Compositional Verification (YFC, AF, EMC, YKT, BYW), pp. 31–45.

SEFM-2009-TatsutaCA #logic #pointer #verification

Completeness of Pointer Program Verification by Separation Logic (MT, WNC, MFAA), pp. 179–188.

DHM-2009-LandryL #assurance

A Model of Integrated Operator-System Separation Assurance and Collision Avoidance (SJL, AVL), pp. 394–402.

HIMI-II-2009-DaoBBVSJ #automation

The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.

HIMI-II-2009-DwyerL #assurance #concept #generative

Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.

IDGD-2009-Singh #design

Balancing Separateness and Jointness of Money in Relationships: The Design of Bank Accounts in Australia and India (SS), pp. 505–514.

SEKE-2009-MajumdarB #graph

Separating The Scattered Concerns: A Graph Based Model (DM, SB), pp. 715–720.

ECOOP-2009-SmansJP #logic

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.

GPCE-2009-AkaiC #aspectj

Extending AspectJ for separating regions (SA, SC), pp. 45–54.

GPCE-2009-KastnerAK #refactoring

A model of refactoring physically and virtually separated features (CK, SA, MK), pp. 157–166.

CC-2009-AbadiBHHI #implementation #memory management #transaction

Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.

ESOP-2008-HoborAN #concurrent #logic #semantics

Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.

STOC-2008-NordstromH #towards

Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.

ICALP-B-2008-BirkedalRSY #higher-order #logic

A Simple Model of Separation Logic for Higher-Order Store (LB, BR, JS, HY), pp. 348–360.

ICGT-2008-Dodds #logic

From Separation Logic to Hyperedge Replacement and Back (MD), pp. 484–486.

CAiSE-2008-NanardRNGP #navigation #web

Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns (JN, GR, MN, SEG, LP), pp. 420–434.

EDOC-2008-Fabry #database #requirements

Database Vault: Enforcing Separation of Duties to Meet Regulatory Compliance Requirements (HWF).

ICEIS-ISAS2-2008-FukudaY #design #developer #framework #internet

Camel Framework — A Framework for Realizing Complete Separation of Developer’s and Designer’s Work in Rich Internet Application (HF, YY), pp. 137–143.

ICPR-2008-EscaleraPR

Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.

SIGIR-2008-NieD #topic

Separate and inequal: preserving heterogeneity in topical authority flows (LN, BDD), pp. 443–450.

POPL-2008-BrotherstonBC #logic #proving #termination

Cyclic proofs of program termination in separation logic (JB, RB, CC), pp. 101–112.

POPL-2008-ChinDNQ #composition #logic #object-oriented #verification

Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.

POPL-2008-ParkinsonB #abstraction #inheritance #logic

Separation logic, abstraction and inheritance (MJP, GMB), pp. 75–86.

SAC-2008-RoyS #data flow #problem

Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.

CAV-2008-OHearn #logic #tutorial

Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.

ICLP-2008-OHearn #logic #tutorial

Separation Logic Tutorial (PWO), pp. 15–21.

IJCAR-2008-BozgaIP #logic #source code

Quantitative Separation Logic and Programs with Lists (MB, RI, SP), pp. 34–49.

SAT-2008-Urquhart

Regular and General Resolution: An Improved Separation (AU), pp. 277–290.

VMCAI-2008-NguyenKC #logic #runtime

Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.

ECSA-2007-MansetVM #architecture #grid #model transformation

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations (DM, HV, RM), pp. 308–312.

CASE-2007-YangC

A Compact Separation Column For Hazardous Chemicals (YY, JC), pp. 853–856.

ESOP-2007-FengFS #concurrent #logic #on the #reasoning

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.

FoSSaCS-2007-BirkedalY #logic #parametricity #relational

Relational Parametricity and Separation Logic (LB, HY), pp. 93–107.

STOC-2007-GavinskyKKRW #communication #complexity #encryption #exponential #quantum

Exponential separations for one-way quantum communication complexity, with applications to cryptography (DG, JK, IK, RR, RdW), pp. 516–525.

STOC-2007-Sherstov

Separating AC0 from depth-2 majority circuits (AAS), pp. 294–301.

ICALP-2007-BeameDPW #communication #complexity #multi #nondeterminism

Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity (PB, MD, TP, PW), pp. 134–145.

CAiSE-2007-SilvaAMC #design #social #using

Designing Social Patterns Using Advanced Separation of Concerns (CTLLS, JA, AMDM, JC), pp. 309–323.

ICML-2007-WangFH #modelling #multi #process

Multifactor Gaussian process models for style-content separation (JMW, DJF, AH), pp. 975–982.

ICML-2007-YoganandaMG #linear #performance

A fast linear separability test by projection of positive points on subspaces (APY, MNM, LG), pp. 713–720.

SEKE-2007-SadjadiMSABE #development

Improving Separation of Concerns in the Development of Scientific Applications (SMS, JM, TS, LA, RMB, JE), pp. 456–461.

POPL-2007-TuchKN #logic

Types, bytes, and separation logic (HT, GK, MN), pp. 97–108.

RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.

SAC-2007-BoussellaaZA #hybrid #using

A methodology for the separation of foreground/background in Arabic historical manuscripts using hybrid methods (WB, AZ, AMA), pp. 605–609.

SAC-2007-CleenewerckK #domain-specific language #semantics

Separation of concerns in translational semantics for DSLs in model engineering (TC, IK), pp. 985–992.

SAC-2007-JohnsB #approximate #automation #injection #named #web

SMask: preventing injection attacks in web applications by approximating automatic data/code separation (MJ, CB), pp. 284–291.

ISMM-2007-OHearn #concurrent #logic #resource management

Separation logic and concurrent resource management (PWO), p. 1.

LICS-2007-CalcagnoOY #logic

Local Action and Abstract Separation Logic (CC, PWO, HY), pp. 366–378.

LICS-2007-Nguyen #proving

Separating DAG-Like and Tree-Like Proof Systems (PN), pp. 235–244.

TestCom-FATES-2007-ShabaldinaEY #finite #nondeterminism #state machine #testing

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.

VMCAI-2007-NguyenDQC #automation #logic #verification

Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.

ASE-2006-Ireland #automation #logic #refinement #towards

Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.

FASE-2006-MiliSLME

Concerned About Separation (HM, HAS, HL, HM, AE), pp. 247–261.

TACAS-2006-DistefanoOY #analysis #logic

A Local Shape Analysis Based on Separation Logic (DD, PWO, HY), pp. 287–302.

TACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.

SAS-2006-GotsmanBC #abstraction #analysis #interprocedural

Interprocedural Shape Analysis with Separated Heap Abstractions (AG, JB, BC), pp. 240–260.

SAS-2006-OHearn #logic #program analysis

Separation Logic and Program Analysis (PWO), p. 181.

STOC-2006-FeigeM

Finding small balanced separators (UF, MM), pp. 375–384.

STOC-2006-GavinskyKRW #bound #communication #complexity #exponential #identification #quantum

Bounded-error quantum state identification and exponential separations in communication complexity (DG, JK, OR, RdW), pp. 594–603.

STOC-2006-Nordstrom #proving

Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.

FM-2006-Preoteasa #logic #pointer #recursion #using #verification

Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.

ICFP-2006-NanevskiMB #hoare #morphism #polymorphism #type system

Polymorphism and separation in hoare type theory (AN, GM, LB), pp. 62–73.

CAiSE-2006-HaggmarkA #analysis #logic #principle #why

Why Software Engineers Do Not Keep to the Principle of Separating Business Logic from Display: A Method Rationale Analysis (MH, PJÅ), pp. 399–413.

ICPR-v1-2006-KimC #ambiguity #clustering #permutation

ICA-Based Clustering for Resolving Permutation Ambiguity in Frequency-Domain Convolutive Source Separation (MK, SC), pp. 950–954.

ICPR-v2-2006-WuT #image

Separating Subsurface Scattering from Photometric Image (TPW, CKT), pp. 207–210.

ICPR-v2-2006-YokobayashiW #correlation #recognition #using

Binarization and Recognition of Degraded Characters Using a Maximum Separability Axis in Color Space and GAT Correlation (MY, TW), pp. 885–888.

ICPR-v3-2006-BauckhageK06a #classification #multi

Benefits of Separable, Multilinear Discriminant Classification (CB, TK), pp. 1240–1243.

ICPR-v3-2006-PranckevicieneHS #feature model

Class Separability in Spaces Reduced By Feature Selection (EP, TH, RLS), pp. 254–257.

ICPR-v3-2006-YamazakiCX #analysis #component #image #independence #kernel #using

Separating Reflections from Images Using Kernel Independent Component Analysis (MY, YWC, GX), pp. 194–197.

ICPR-v4-2006-BauckhageK06b #classification #multi

Benefits of Separable, Multilinear Discriminant Classification (CB, TK), p. 959.

ICPR-v4-2006-HeYTWX #image #matrix #novel #retrieval #symmetry #using

Texture Image Retrieval Using Novel Non-separable Filter Banks Based on Centrally Symmetric Matrices (ZH, XY, YYT, PSPW, YX), pp. 161–164.

ICPR-v4-2006-JinW #music #speech

Speech Separation from Background of Music Based on Single-channel Recording (XCJ, ZFW), pp. 278–281.

SAC-2006-MaiaMFCS #grid #process

A process for separation of crosscutting grid concerns (PHMM, NCM, VF, WC, KBS), pp. 1569–1574.

SAC-2006-PappalardoT #automation #design pattern

Automatically discovering design patterns and assessing concern separations for applications (GP, ET), pp. 1591–1596.

SAC-2006-WuBGRM #compilation #development #using

Separation of concerns in compiler development using aspect-orientation (XW, BRB, JGG, SR, MM), pp. 1585–1590.

CSL-2006-ReusS #higher-order #logic

Separation Logic for Higher-Order Store (BR, JS), pp. 575–590.

LICS-2006-HaymanW #concurrent #independence #logic

Independence and Concurrent Separation Logic (JH, GW), pp. 147–156.

HT-2005-MantratzisOC #analysis #html #navigation #using

Separating XHTML content from navigation clutter using DOM-structure block analysis (CM, MAO, SC), pp. 145–147.

ICDAR-2005-GarainPH #documentation #image #on the #quality

On Foreground-Background Separation in Low Quality Color Document Images (UG, TP, LH), pp. 585–589.

ICDAR-2005-NwoguK #word

Word Separation of Unconstrained Handwritten Text Lines in PCR Forms (IN, GK), pp. 715–719.

ESOP-2005-BieringBT #higher-order #logic

BI Hyperdoctrines and Higher-Order Separation Logic (BB, LB, NTS), pp. 233–247.

FoSSaCS-2005-CalcagnoGH #first-order #logic

From Separation Logic to First-Order Logic (CC, PG, MH), pp. 395–409.

TACAS-2005-PnueliPR #analysis

Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems (AP, AP, AR), pp. 124–139.

PASTE-2005-PrivatD #compilation #object-oriented #performance #static analysis

Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.

STOC-2005-FeigeHL #algorithm #approximate

Improved approximation algorithms for minimum-weight vertex separators (UF, MTH, JRL), pp. 563–572.

STOC-2005-KouckyPT #bound

Bounded-depth circuits: separating wires from gates (MK, PP, DT), pp. 257–265.

CAiSE-2005-GordilloRS #hypermedia #modelling #physics

Separation of Structural Concerns in Physical Hypermedia Models (SEG, GR, DS), pp. 446–459.

ICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation

A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.

ICML-2005-SilvaS #identification #learning #modelling

New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.

ECOOP-2005-KiczalesM

Separation of Concerns with Procedures, Annotations, Advice and Pointcuts (GK, MM), pp. 195–213.

ECOOP-2005-SatoC #java

Loosely-Separated “Sister” Namespaces in Java (YS, SC), pp. 49–70.

POPL-2005-BornatCOP #logic

Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.

POPL-2005-ParkinsonB #abstraction #logic

Separation logic and abstraction (MJP, GMB), pp. 247–258.

RE-2005-MoreiraRA #multi #requirements

Multi-Dimensional Separation of Concerns in Requirements Engineering (AMDM, AR, JA), pp. 285–296.

SAC-2005-CarvalhoL #abstraction #composition #distributed #parallel #performance #programming

The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.

SAC-2005-SchaadSW #case study #process

A case study of separation of duty properties in the context of the Austrian “eLaw” process (AS, PS, HW), pp. 1328–1332.

SAC-2005-StefanoFPT #composition #metric

Metrics for evaluating concern separation and composition (ADS, MF, GP, ET), pp. 1381–1382.

SAC-2005-WuRBGM #2d #compilation

A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.

CC-2005-ConditN #independence #slicing

Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.

LICS-2005-BirkedalTY #higher-order #semantics #type system

Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.

LICS-2005-Saurin #λ-calculus #μ-calculus

Separation with Streams in the λμ-calculus (AS), pp. 356–365.

RTA-2005-LynchM #equation #performance

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.

PLDI-2004-YahavR #abstraction #safety #using #verification

Verifying safety properties using separation and heterogeneous abstractions (EY, GR), pp. 25–34.

STOC-2004-Bar-YossefJK #communication #complexity #exponential #quantum

Exponential separation of quantum and classical one-way communication complexity (ZBY, TSJ, IK), pp. 128–137.

ICALP-2004-Atkey #λ-calculus

A λ-Calculus for Resource Separation (RA), pp. 158–170.

CSCW-2004-TseHSG #clustering #dependence #how #people

Avoiding interference: how people use spatial separation and partitioning in SDG workspaces (ET, JH, SDS, SG), pp. 252–261.

CSCW-2004-YangL #adaptation #collaboration #consistency #protocol

Separating data and control: support for adaptable consistency protocols in collaborative systems (YY, DL), pp. 11–20.

ICPR-v2-2004-KaplanRS #image #robust

Robust Feature Matching Across Widely Separated Color Images (AK, ER, IS), pp. 136–139.

ICPR-v4-2004-RennaCMAD04a

Virtual Recomposition of Frescos: Separating Fragments from the Background (FR, GC, NM, GA, AD), pp. 819–822.

ECOOP-2004-AldrichC #alias #policy

Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.

POPL-2004-OHearnYR #information management

Separation and information hiding (PWO, HY, JCR), pp. 268–280.

RE-2004-SousaC #non-functional #requirements

Improving the Separation of Non-Functional Concerns in Requirements Artifacts (GMCdS, JC), pp. 350–351.

SAC-2004-JanssensSHV #coordination #design

An agent design method promoting separation between computation and coordination (NJ, ES, TH, PV), pp. 456–461.

SAC-2004-LimniotesPA #communication #coordination #web #web service

Web Services: separation of concerns: computation coordination communication (TAL, GAP, FA), pp. 492–497.

SAC-2004-SchaadM #bibliography #case study #process

Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles (AS, JDM), pp. 1380–1384.

CAV-2004-TalupurSSP #logic

Range Allocation for Separation Logic (MT, NS, OS, AP), pp. 148–161.

CSL-2004-Weber #logic #towards #verification

Towards Mechanized Program Verification with Separation Logic (TW), pp. 250–264.

DAC-2003-SeshiaLB #hybrid #logic #satisfiability

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.

DRR-2003-RossetZH

Boosting and support vector machines as optimal separators (SR, JZ, TH), pp. 1–7.

DRR-2003-SuwaN #algorithm #composition #image #using

Separation algorithm of superimposed pattern using directional decomposition of an image (MS, SN), pp. 278–285.

ICDAR-2003-AlhajjE #approach #novel

A Novel Approach to Separate Handwritten Connected Digits (RA, AE), pp. 1198–1202.

ICDAR-2003-KhedekarRSG #documentation #image #named

Text — Image Separation in Devanagari Documents (SK, VR, SS, VG), pp. 1265–1269.

FASE-2003-VanderperrenSWJ #component #composition #visual notation

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features (WV, DS, BW, VJ), pp. 166–169.

STOC-2003-GaoZ #composition #graph #metric

Well-separated pair decomposition for the unit-disk graph metric and its applications (JG, LZ), pp. 483–492.

ICALP-2003-AroraC #approximate #problem #strict

Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem (SA, KLC), pp. 176–188.

ICALP-2003-HromkovicS03a #automaton #finite #nondeterminism

Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.

FME-2003-Glesner

Program Checking with Certificates: Separating Correctness-Critical Code (SG), pp. 758–777.

ESEC-FSE-2003-BatoryLS #multi

Refinements and multi-dimensional separation of concerns (DSB, JL, JNS), pp. 48–57.

SOSP-2003-YinMVAD #execution #fault tolerance

Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.

CSMR-2002-Panteleymonov #user interface

Interoperable Thin Client Separation from GUI Applications (AP), pp. 211–216.

STOC-2002-AlekhnovichJPU #exponential

An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.

DLT-2002-Adorna #nondeterminism #on the

On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities (HNA), pp. 152–161.

CHI-2002-HeerC #categorisation #web

Separating the swarm: categorization methods for user sessions on the web (JH, EHhC), pp. 243–250.

EDOC-2002-MarvieMG #architecture #component #distributed #modelling

Separation of Concerns in Modeling Distributed Component-Based Architectures (RM, PM, JMG), pp. 144–154.

ICML-2002-ShapiroL #learning #using

Separating Skills from Preference: Using Learning to Program by Reward (DGS, PL), pp. 570–577.

ICPR-v1-2002-MaenpaaPV

Separating Color and Pattern Information for Color Texture Discrimination (TM, MP, JV), pp. 668–671.

ICPR-v3-2002-LaganiereV

Wedge-Based Corner Model for Widely Separated Views Matching (RL, ÉV), pp. 672–675.

KR-2002-Cate #logic #on the

On the Logic of d-separation (BtC), pp. 568–577.

ECOOP-2002-AnconaLZ #compilation #framework #java

A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.

PPDP-2002-AnconaLZ #compilation #java

True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.

ICSE-2002-TarrOS #java #multi #named

Hyper/J: multi-dimensional separation of concerns for Java (PLT, HO, SMSJ), pp. 689–690.

SPLC-2002-Zyl #architecture #product line

Product Line Architecture and the Separation of Concerns (JvZ), pp. 90–109.

CAV-2002-StrichmanSB #satisfiability

Deciding Separation Formulas with SAT (OS, SAS, REB), pp. 209–222.

LICS-2002-HirschkoffLS #decidability #logic

Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.

LICS-2002-Reynolds #data type #logic

Separation Logic: A Logic for Shared Mutable Data Structures (JCR), pp. 55–74.

ICDAR-2001-CaoT

Separation of Overlapping Text from Graphics (RC, CLT), pp. 44–48.

ICDAR-2001-GuoM #markov #modelling #using

Separating Handwritten Material from Machine Printed Text Using Hidden Markov Models (JKG, MYM), pp. 439–443.

ICDAR-2001-TeredesaiG #approach #classification #optimisation

Active Digit Classifiers: A Separability Optimization Approach to Emulate Cognition (AT, VG), pp. 401–405.

ICALP-2001-Servedio #learning #quantum

Separating Quantum and Classical Learning (RAS), pp. 1065–1080.

KDD-2001-DingHZ #component #graph #web

A spectral method to separate disconnected and nearly-disconnected web graph components (CHQD, XH, HZ), pp. 275–280.

TOOLS-EUROPE-2001-HollanderMN

The e Language: A Fresh Separation of Concerns (YH, MM, AN), pp. 41–50.

TOOLS-USA-2001-Behravanfar #architecture #generative #internet #using

Separation of Data and Presentation for the Next Generation Internet Using the Four-Tier Architecture (RB), pp. 83–88.

GCSE-2001-ZhangJS #approach #product line

XVCL Approach to Separating Concerns in Product Family Assets (HZ, SJ, SMS), pp. 36–47.

SAC-2001-LuZP #multi #transaction #version control

A dual copy method for transaction separation with multiversion control for read-only transactions (BL, QZ, WP), pp. 290–294.

ICSE-2001-MurphyLWR #case study #source code

Separating Features in Source Code: An Exploratory Study (GCM, AL, RJW, MPR), pp. 275–284.

ICSE-2001-OssherT #java #multi #named

Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (HO, PLT), pp. 821–822.

ICSE-2001-TarrO #java #multi #named

Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (PLT, HO), pp. 729–730.

ASE-2000-MartinWTG #kernel

Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.

ICSM-2000-CouttsEM #evolution

Support for System Evolution through Separating Business and Technology Issues in a Banking System (IC, JME, SM), pp. 271–276.

ICPR-v2-2000-ChenZN #network

Blind Separation Based on an Evolutionary Neural Network (YWC, XYZ, ZN), pp. 2973–2976.

OOPSLA-2000-HerrmannM #case study #multi #named #re-engineering

PIROL: a case study for multidimensional separation of concerns in software engineering environments (SH, MM), pp. 188–207.

TOOLS-EUROPE-2000-PawlakDFMS #component #distributed

Distributed Separation of Concerns with Aspect Components (RP, LD, GF, LM, LS), pp. 276–287.

ICSE-2000-OssherT #java #multi #named

Hyper/J: multi-dimensional separation of concerns for Java (HO, PLT), pp. 734–737.

LICS-2000-LindellW #decidability #finite #first-order

The Role of Decidability in First Order Separations over Classes of Finite Structures (SL, SW), pp. 45–50.

ASE-1999-Stirewalt #user interface

Separating Concerns in Direct Manipulation User Interfaces (KS), p. 199–?.

ICDAR-1999-PalC #documentation #multi

Script Line Separation from Indian Multi-Script Documents (UP, BBC), pp. 406–409.

ICDAR-1999-PalC99a #automation

Automatic Separation of Machine-Printed and Hand-Written Text Lines (UP, BBC), pp. 645–648.

ICDAR-1999-TanYHWZ #using

Text/Graphics Separation using Agent-based Pyramid Operations (CLT, BY, WH, QW, ZZ), pp. 169–172.

STOC-1999-Raz #communication #complexity #exponential #quantum

Exponential Separation of Quantum and Classical Communication Complexity (RR), pp. 358–367.

FM-v2-1999-HainquePBN #compilation #composition #named #tool support

Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.

TOOLS-USA-1999-GriffithsWHMR #architecture #education #user interface

Separable UI Architectures in Teaching Object Technology (RG, MW, SH, MM, HR), pp. 290–299.

ICSE-1999-TarrOHS #multi

N Degrees of Separation: Multi-Dimensional Separation of Concerns (PLT, HO, WHH, SMSJ), pp. 107–119.

SOSP-1999-MazieresKKW #file system #security

Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.

LICS-1999-DrossopoulouEW #calculus #compilation #towards

A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.

STOC-1998-Thathachar #branch #on the

On Separating the Read-k-Times Branching Program Hierarchy (JST), pp. 653–662.

ICPR-1998-Aladjem #classification #ml #network #recursion #reduction

Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.

ICPR-1998-OhLS #analysis #using

Using class separation for feature analysis and combination of class-dependent features (ISO, JSL, CYS), pp. 453–455.

TOOLS-USA-1998-LeontievOS #implementation #interface #on the #representation

On Separation between Interface, Implementation, and Representation in Object DBMSs (YL, MTÖ, DS), pp. 155–167.

ASE-1997-Tan #component #data-driven #interface #reuse #source code

Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation (HBKT), pp. 313–314.

ICDAR-1997-PalC #automation #documentation #multi #word

Automatic Separation of Words in Multi-lingual Multi-script Indian Documents (UP, BBC), pp. 576–579.

SIGMOD-1997-KoudasS

Size Separation Spatial Join (NK, KCS), pp. 324–335.

PEPM-1997-HeldalH #compilation #partial evaluation

Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.

STOC-1997-ChungY #graph

Eigenvalues, Flows and Separators of Graphs (FRKC, STY), p. 749.

WIA-1997-LescowV #automaton #set

Minimal Separating Sets for Muller Automata (HL, JV), pp. 109–121.

HCI-SEC-1997-KrishnanM

Strategies for Integrating and Separating Pen-Based Operational States (SNK, SM), pp. 439–442.

ICALP-1996-Wiedermann #nondeterminism

Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.

ICPR-1996-AasEM #automation

Automatic can separation (KA, LE, OM), pp. 954–958.

ICPR-1996-Bobrowski #classification #learning #set

Piecewise-linear classifiers, formal neurons and separability of the learning sets (LB), pp. 224–228.

ICPR-1996-DeruyverH #automation #image #multi #segmentation #using

Automatic multi-thresholdable image segmentation by using separating bipoints (AD, YH), pp. 457–461.

ICPR-1996-HeA #approach #clustering #documentation #string

A clustering-based approach to the separation of text strings from mixed text/graphics documents (SH, NA), pp. 706–710.

ICPR-1996-KasprzakC #analysis #component #image #independence

Hidden image separation from incomplete image mixtures by independent component analysis (WK, AC), pp. 394–398.

ICPR-1996-OkamotoYSY #network #online #string #using

On-line handwriting character string separation method using network expression (MO, HY, KS, KY), pp. 422–425.

ICPR-1996-Sablatnig #analysis #automation #detection #flexibility #visual notation

Flexible automatic visual inspection based on the separation of detection and analysis (RS), pp. 944–948.

ICPR-1996-ZibulskiZ #component #multi

Signal- and image-component separation by a multi-window Gabor-type scheme (MZ, YYZ), pp. 835–839.

ISSTA-1996-HarroldR #alias #reuse

Separate Computation of Alias Information for Reuse (MJH, GR), pp. 107–120.

ICDAR-v1-1995-MahadevanN #metric #word

Gap metrics for word separation in handwritten lines (UM, RCN), pp. 124–127.

ICDAR-v2-1995-CouasnonC #analysis #documentation #music #recognition

A way to separate knowledge from program in structured document analysis: application to optical music recognition (BC, JC), pp. 1092–1097.

ICDAR-v2-1995-WangCFL

Separation of Chinese characters from graphics (JYW, LHC, KCF, HYML), pp. 948–951.

PODS-1995-BrodskyLLM #constraints

Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (AB, CL, JLL, MJM), pp. 54–65.

ICALP-1995-ParraS #graph #how

How to Use the Minimal Separators of a Graph for its Chordal Triangulation (AP, PS), pp. 123–134.

OOPSLA-1995-Myers #bidirectional #compilation #layout

Bidirectional Object Layout for Separate Compilation (ACM), pp. 124–139.

POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread

Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.

PLDI-1994-AppelM #compilation #ml #standard

Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.

STOC-1994-ChungY #algorithm

A near optimal algorithm for edge separators (preliminary version) (FRKC, STY), pp. 1–8.

SEKE-1994-AtchanE #behaviour #empirical #functional #modelling #requirements #specification

An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.

SEKE-1994-Hurley #user interface

Deducing structure in systems with separable user interfaces (WDH), pp. 193–200.

POPL-1994-Leroy #compilation

Manifest Types, Modules, and Separate Compilation (XL), pp. 109–122.

ICRE-1994-Alford #complexity #requirements #using

Attacking requirements complexity using a separation of concerns (MWA), pp. 2–5.

ASPLOS-1994-ThekkathLL #distributed #operating system

Separating Data and Control Transfer in Distributed Operating Systems (CAT, HML, EDL), pp. 2–11.

ICDAR-1993-XuL #algorithm #image #string

A new algorithm separating text strings from map images (TX, XL), pp. 910–913.

WCRE-1993-ReubensteinPR #analysis #parsing #reverse engineering #tool support

Separating Parsing and Analysis in Reverse Engineering Tools (HBR, RLP, SNR), pp. 117–125.

STOC-1993-EppsteinGIS #algorithm #graph

Separator based sparsification for dynamic planar graph algorithms (DE, ZG, GFI, THS), pp. 208–217.

INTERCHI-1993-TaylorJ #development #user interface

Separations of concerns in the Chiron-1 user interface development and management system (RNT, GFJ), pp. 367–374.

CIKM-1993-PissinouM #database #representation #semantics

Separating Semantics from Representation in a Temporal Object Database Domain (NP, KM), pp. 295–304.

TOOLS-PACIFIC-1993-JalloulP #eiffel

A Separate Proposal for Eiffel (GJ, JP), pp. 63–74.

POPL-1993-LawallD #continuation

Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.

SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction

On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.

STOC-1992-Goodrich #parallel

Planar Separators and Parallel Polygon Triangulation (Preliminary Version) (MTG), pp. 507–516.

STOC-1992-Reed #approximate

Finding Approximate Separators and Computing Tree Width Quickly (BAR), pp. 221–228.

ICALP-1992-SheuL

UP and the Low and High Hierarchies: A Relativized Separation (MJS, TJL), pp. 174–185.

STOC-1991-Shapiro #category theory #concurrent

Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) (EYS), pp. 198–208.

STOC-1990-AlonST #graph #theorem

A Separator Theorem for Graphs with an Excluded Minor and its Applications (NA, PDS, RT), pp. 293–299.

STOC-1990-MillerT

Separators in Two and Three Dimensions (GLM, WPT), pp. 300–309.

ICALP-1990-DobkinK #approach

Determining the Separation of Preprocessed Polyhedra — A Unified Approach (DPD, DGK), pp. 400–413.

CHI-1990-Took #interactive #interface #paradigm

Surface interaction: a paradigm and model for separating application and interface (RKT), pp. 35–42.

SEI-1989-Friedman #education #harmful #re-engineering

A Separate Undergraduate Software Engineering Curriculum Considered Harmful (FLF), pp. 267–270.

PLDI-1989-GuptaSS #clique

Register Allocation via Clique Separators (RG, MLS, TS), pp. 264–274.

STOC-1989-Boppana #parallel

Optimal Separations Between Concurrent-Write Parallel Machines (RBB), pp. 320–326.

ICALP-1989-Allender

Limitations of the Upward Separation Technique (Preliminary Version) (EA), pp. 18–30.

ICALP-1989-HochbaumS #complexity #optimisation

The Complexity of Nonlinear Separable Optimization (DSH, JGS), pp. 461–472.

ICALP-1989-Toran #combinator #complexity

A Combinatorial Technique for Separating Counting Complexity Classes (JT), pp. 733–744.

FPCA-1989-Mogensen #specification

Separating Binding Times in Language Specifications (TÆM), pp. 14–25.

SIGMOD-1988-Naughton #compilation #recursion

Compiling Separable Recursions (JFN), pp. 312–319.

ICALP-1988-TangB #polynomial #reduction #set

Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets (ST, RVB), pp. 591–599.

LICS-1988-BohmP #calculus

Characterizing X-Separability and One-Side Invertibility in λ-β-Ω-Calculus (CB, AP), pp. 91–101.

LICS-1987-BohmT #λ-calculus

X-Separability and Left-Invertibility in λ-calculus (CB, ET), pp. 320–328.

STOC-1986-Cai #polynomial #probability #random

With Probability One, A Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy (JyC), pp. 21–29.

STOC-1986-GalilKS #graph #nondeterminism #on the #simulation #turing machine

On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines (ZG, RK, ES), pp. 39–49.

ICALP-1986-HartmanisLY #complexity #set

Containment, Separation, Complete Sets, and Immunity of Complexity Classes (JH, ML, YY), pp. 136–145.

SCC-1984-Levy #compilation #reuse #type checking

Type checking, separate compilation and reusability (MRL), pp. 285–289.

STOC-1984-Miller #graph

Finding Small Simple Cycle Separators for 2-Connected Planar Graphs (GLM), pp. 376–382.

ICALP-1984-ChazelleOSW #complexity #decidability

The Complexity and Decidability of Separation (BC, TO, ESS, DW), pp. 119–127.

PODS-1983-ChanM #database #independence

Independent and Separable Database Schemes (EPFC, AOM), pp. 288–296.

Ada-1983-Briggs #ada #compilation #design

The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.

VLDB-1982-WhangWS #database #design #network #physics #using

Physical Design of Network Model Databases Using the Property of Separability (KYW, GW, DS), pp. 98–107.

SCC-1982-RudmikM #compilation #performance #scalability #source code

An Efficient Separate Compilation Strategy for Very Large Programs (AR, BGM), pp. 301–307.

VLDB-1981-WhangWS #approach #database #design #named #physics

Separability — An Approach to Physical Data Base Design (KYW, GW, DS), pp. 320–332.

SCC-1979-LeBlancF #compilation #implementation #on the

On implementing separate compilation in block-structured languages (RJL, CNF), pp. 139–143.

ICALP-1978-CoppoDR #finite #set #λ-calculus

(Semi)-separability of Finite Sets of Terms in Scott’s D∞-Models of the λ-Calculus (MC, MDC, SRDR), pp. 142–164.

STOC-1977-Sudborough #automaton #bound

Separating Tape Bounded Auxiliary Pushdown Automata Classes (IHS), pp. 208–217.

SOSP-1975-LevinCCPW #policy

Policy/Mechanism Separation in HYDRA (RL, ESC, WMC, FJP, WAW), pp. 132–140.