Stem combinatori$ (all stems)

194 papers:

DATE-2015-KriebelRSASH #analysis #combinator #configuration management #fault #named #performance

ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits (FK, SR, DS, PVA, MS, JH), pp. 824–829.

STOC-2015-BraunPZ #combinator #problem

Inapproximability of Combinatorial Problems via Small LPs and SDPs (GB, SP, DZ), pp. 107–116.

ICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem

Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.

ICALP-v1-2015-Yu #algorithm #combinator #matrix #multi

An Improved Combinatorial Algorithm for Boolean Matrix Multiplication (HY), pp. 1094–1105.

ICML-2015-WenKA #combinator #learning #performance #scalability

Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.

ICML-2015-WuGS #combinator #feedback #finite #identification #on the

On Identifying Good Options under Combinatorially Structured Feedback in Finite Noisy Environments (YW, AG, CS), pp. 1283–1291.

MoDELS-2015-MannaSG #combinator #specification #testing

Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.

PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference

On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.

SAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random #testing

Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.

ICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #testing #using

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.

ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing

Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.

ASE-2014-GuoZORCAA #combinator #optimisation #parallel #scalability

Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.

ICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear #monitoring

Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.

LCTES-2014-LozanoCBS #combinator #optimisation

Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.

ICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.

ICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing

System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.

ASE-2013-NguyenT #automation #classification #combinator #dependence #testing

Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.

CASE-2013-Pan #combinator #problem #scheduling

A combinatorial auctions perspective on min-sum scheduling problems (YP), pp. 564–569.

STOC-2013-FeldmanGL #combinator #equilibrium

Combinatorial walrasian equilibrium (MF, NG, BL), pp. 61–70.

STOC-2013-KelnerOSZ #algorithm #combinator

A simple, combinatorial algorithm for solving SDD systems in nearly-linear time (JAK, LO, AS, ZAZ), pp. 911–920.

STOC-2013-LiY #approximate #combinator #optimisation #probability

Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.

ICALP-v1-2013-AvisT #combinator #complexity #on the

On the Extension Complexity of Combinatorial Polytopes (DA, HRT), pp. 57–68.

ICALP-v1-2013-DuanM #algorithm #combinator #linear #polynomial

A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market (RD, KM), pp. 425–436.

ECIR-2013-YasudaNHN #combinator #optimisation

Sub-sentence Extraction Based on Combinatorial Optimization (NY, MN, TH, MN), pp. 812–815.

ICML-c1-2013-ChenWY #combinator #framework #multi

Combinatorial Multi-Armed Bandit: General Framework and Applications (WC, YW, YY), pp. 151–159.

MLDM-2013-LiuLM #approach #combinator #lightweight #multi

A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.

SEKE-2013-DengWH #algorithm #combinator #identification #multi #using

Combining multiple stress identification algorithms using combinatorial fusion (YD, ZW, DFH), pp. 421–428.

SEKE-2013-QiHW #combinator #concurrent #source code #testing

A Mixed-way Combinatorial Testing for Concurrent Programs (S) (XQ, JH, PW), pp. 699–702.

SEKE-2013-WangGZZX #array #combinator #generative #interactive #testing

Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.

ESEC-FSE-2013-PetkeYCH #combinator #detection #fault #interactive #performance #testing

Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (JP, SY, MBC, MH), pp. 26–36.

ICST-2013-CalvagnaGV #combinator #interactive #testing

Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.

ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.

ICST-2013-YuLKK #combinator #generative #named #testing

ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.

FASE-2012-TrikiLBDB #combinator #modelling #testing

Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.

STOC-2012-KuperbergLP #combinator #probability

Probabilistic existence of rigid combinatorial structures (GK, SL, RP), pp. 1091–1106.

ICML-2012-KiralyT #algebra #approach #combinator #matrix #rank

A Combinatorial Algebraic Approach for the Identifiability of Low-Rank Matrix Completion (FJK, RT), p. 100.

ICPR-2012-BougleuxDBGM #combinator #kernel #similarity

Shape similarity based on combinatorial maps and a tree pattern kernel (SB, FXD, LB, BG, MM), pp. 1602–1605.

SAC-2012-ManciniFP #combinator #constraints #database #problem #relational #synthesis

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search (TM, PF, JP), pp. 80–87.

ICSE-2012-SegallT #combinator #interactive #refinement #testing

Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.

CSL-2012-DudderMRU #bound #combinator #logic

Bounded Combinatory Logic (BD, MM, JR, PU), pp. 243–258.

ICST-2012-BorazjanyYLKK #case study #combinator #testing

Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.

ICST-2012-CunninghamHH #analysis #combinator #testing

A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment (AMCJ, JDH, RJH), pp. 630–635.

ICST-2012-GargantiniV #combinator #interactive #named #testing

CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.

ICST-2012-GhandehariLXKK #combinator #identification #testing

Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.

ICST-2012-KruseBW #combinator #constraints #interactive #testing

Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.

ICST-2012-KuhnHLKL #combinator #sequence #testing

Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.

ICST-2012-RamlerKP #combinator #design #lessons learnt

Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications (RR, TK, WP), pp. 569–572.

ICST-2012-SaleckerG #combinator #grammarware #interactive #testing

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.

ICST-2012-SegallTZ #combinator #modelling

Simplified Modeling of Combinatorial Test Spaces (IS, RTB, AZ), pp. 573–579.

ICST-2012-SegallTZ12a #combinator #modelling

Common Patterns in Combinatorial Models (IS, RTB, AZ), pp. 624–629.

ICST-2012-ShakyaXLLKK #classification #combinator #testing #using

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.

ICST-2012-ZhangLZ #combinator #testing

Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.

ISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing

Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.

LICS-2012-Hoshino #call-by #combinator #semantics

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.

RTA-2012-SeveriV #combinator #logic #set

Meaningless Sets in Infinitary Combinatory Logic (PS, FJdV), pp. 288–304.

SAT-2012-ErmonLGSD #combinator

SMT-Aided Combinatorial Materials Discovery (SE, RL, CPG, BS, RBvD), pp. 172–185.

CASE-2011-KalyanasundaramLR #combinator #distributed #resource management

Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.

ICSM-2011-KuhnK #combinator #detection #fault #testing

Practical combinatorial (t-way) methods for detecting complex faults in regression testing (RK, RK), p. 599.

STOC-2011-Dobzinski #combinator

An impossibility result for truthful combinatorial auctions with submodular valuations (SD), pp. 139–148.

STOC-2011-DughmiRY #combinator #optimisation #random #towards

From convex optimization to randomized mechanisms: toward optimal combinatorial auctions (SD, TR, QY), pp. 149–158.

STOC-2011-GopalanMRZ #combinator #generative #pseudo

Pseudorandom generators for combinatorial shapes (PG, RM, OR, DZ), pp. 253–262.

ICALP-v1-2011-BodlaenderJK #analysis #combinator #kernel #preprocessor

Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization (HLB, BMPJ, SK), pp. 437–448.

ICML-2011-JegelkaB #combinator #online

Online Submodular Minimization for Combinatorial Structures (SJ, JAB), pp. 345–352.

MoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing

Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.

MoDELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing

Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.

ICSE-2011-ChenZ #combinator #metric #testing #tuple

Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.

CSL-2011-Czajka #approach #combinator #logic #semantics

A Semantic Approach to Illative Combinatory Logic (LC0), pp. 174–188.

ISSTA-2011-DumluYCP #adaptation #combinator #feedback #testing

Feedback driven adaptive combinatorial testing (ED, CY, MBC, AAP), pp. 243–253.

ISSTA-2011-SegallTF #combinator #design #diagrams #using

Using binary decision diagrams for combinatorial test design (IS, RTB, EF), pp. 254–264.

RTA-2011-Rose #combinator #named #reduction

CRSX — Combinatory Reduction Systems with Extensions (KHR), pp. 81–90.

TLCA-2011-RehofU #combinator #finite #logic

Finite Combinatory Logic with Intersection Types (JR, PU), pp. 169–183.

CASE-2010-BiswasN #combinator

An iterative auction mechanism for combinatorial exchanges (SB, YN), pp. 849–854.

STOC-2010-BayatiGT #approach #combinator #graph #random #scalability

Combinatorial approach to the interpolation method and scaling limits in sparse random graphs (MB, DG, PT), pp. 105–114.

ICALP-v1-2010-BorodinL #combinator #design #on the

On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions (AB, BL), pp. 90–101.

SEFM-2010-LarsenLB #combinator #testing

Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.

ICPR-2010-FoureyB #combinator #encoding #performance

Efficient Encoding of n-D Combinatorial Pyramids (SF, LB), pp. 1036–1039.

KDIR-2010-Molokov #combinator #identification

Application of Combinatorial Methods to Protein Identification in Peptide Mass Fingerprinting (LM), pp. 307–313.

KR-2010-PorelloE #combinator #linear #logic #modelling

Modelling Combinatorial Auctions in Linear Logic (DP, UE).

SEKE-2010-WangXCC #combinator #effectiveness #testing

Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights (ZW, BX, LC, ZC), pp. 273–278.

LOPSTR-2010-DanvyZ #combinator #graph #reduction

Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.

ICSE-2010-CohenU #combinator #design

Combinatorial test design in practice (MBC, SU), pp. 495–496.

ICSM-2009-WangLSKKL #approach #combinator #graph #navigation #web

A combinatorial approach to building navigation graphs for dynamic web applications (WW, YL, SS, RK, RK, JL), pp. 211–220.

KDD-2009-BekkermanSV #clustering #combinator

Improving clustering stability with combinatorial MRFs (RB, MS, KV), pp. 99–108.

SOSP-2009-DunaganZS #combinator #graph #named #optimisation #using

Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs (JD, AXZ, DRS), pp. 305–320.

TAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.

CASE-2008-BandaruN #algorithm #combinator #composition #performance #web #web service

Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition (PB, YN), pp. 995–1000.

CASE-2008-SrivastavaVK #combinator #using

Procurement of global logistics services using combinatorial auctions (NKS, NV, SK), pp. 297–302.

ITiCSE-2008-ReyesM #combinator #education #game studies #java

Games developed in Java for teaching “Combinatorial Game Theory” (MR, ÁM), p. 359.

STOC-2008-Ben-AroyaT #combinator #graph #using

A combinatorial construction of almost-ramanujan graphs using the zig-zag product (ABA, ATS), pp. 325–334.

STOC-2008-ChenGP #combinator

Pricing combinatorial markets for tournaments (YC, SG, DMP), pp. 305–314.

STOC-2008-Meir #combinator

Combinatorial construction of locally testable codes (OM), pp. 285–294.

ICALP-A-2008-BlellochVW #approach #combinator #graph #problem

A New Combinatorial Approach for Sparse Graph Problems (GEB, VV, RW), pp. 108–120.

ICALP-A-2008-ChristodoulouKS #combinator

Bayesian Combinatorial Auctions (GC, AK, MS), pp. 820–832.

ICALP-A-2008-PoratR #adaptation #combinator #testing

Explicit Non-adaptive Combinatorial Group Testing Schemes (EP, AR), pp. 748–759.

RTA-2008-Ketema #combinator #normalisation #on the #reduction

On Normalisation of Infinitary Combinatory Reduction Systems (JK), pp. 172–186.

TAP-2008-CalvagnaG #approach #combinator #constraints #testing

A Logic-Based Approach to Combinatorial Testing with Constraints (AC, AG), pp. 66–83.

ASE-2007-LedruDBVR #combinator #explosion #generative

Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.

CASE-2007-MohabeyNMSS #combinator #composition #web #web service

A Combinatorial Procurement Auction for QoS-Aware Web Services Composition (MM, YN, SM, PS, SVS), pp. 716–721.

DAC-2007-TaylorP #combinator #design #logic #optimisation #physics

Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks (BT, LTP), pp. 344–349.

FoSSaCS-2007-BertolissiK #calculus #combinator #reduction

The Rewriting Calculus as a Combinatory Reduction System (CB, CK), pp. 78–92.

ICSM-2007-QuCW #case study #combinator #generative #interactive #testing

Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization (XQ, MBC, KMW), pp. 255–264.

STOC-2007-AroraK #approach #combinator #source code

A combinatorial, primal-dual approach to semidefinite programs (SA, SK), pp. 227–236.

STOC-2007-Basu #combinator #complexity #geometry

Combinatorial complexity in O-minimal geometry (SB), pp. 47–56.

ICALP-2007-Colcombet #combinator #theorem

A Combinatorial Theorem for Trees (TC), pp. 901–912.

ICEIS-J-2007-GujoS07a #combinator

Bid Formation in a Combinatorial Auction for Logistics Services (OG, MS), pp. 303–315.

ICEIS-SAIC-2007-GujoS #combinator #named

COMEX: Combinatorial Auctions for the Intra-Enterprise Exchange of Logistics Services (OG, MS), pp. 5–12.

SAC-2007-ZengS #combinator #geometry #optimisation #problem

Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.

DATE-2006-SoffkeZMG #analysis #approach #combinator #statistics

A signal theory based approach to the statistical analysis of combinatorial nanoelectronic circuits (OS, PZ, TM, MG), pp. 632–637.

STOC-2006-DobzinskiNS #combinator #random

Truthful randomized mechanisms for combinatorial auctions (SD, NN, MS), pp. 644–652.

STOC-2006-Shapira #all about #combinator #graph

A combinatorial characterization of the testable graph properties: it’s all about regularity (NA, EF, IN, AS), pp. 251–260.

DLT-J-2005-LucaL06 #combinator

Combinatorial Properties of Sturmian Palindromes (AdL, ADL), pp. 557–574.

DLT-2006-Shur #combinator #complexity

Factorial Languages of Low Combinatorial Complexity (AMS), pp. 397–407.

ICEIS-SAIC-2006-SchwindG #combinator #grid #resource management #using

Using Shadow Prices for Resource Allocation in a Combinatorial Grid with Proxy-Bidding Agents (MS, OG), pp. 11–18.

ICPR-v1-2006-FraileH #combinator #integration

Combinatorial Surface Integration (RF, ERH), pp. 59–62.

ASPLOS-2006-Solar-LezamaTBSS #combinator #finite #sketching #source code

Combinatorial sketching for finite programs (ASL, LT, RB, SAS, VAS), pp. 404–415.

HPDC-2006-LiuSW #approach #combinator #throughput

A High Throughput Approach to Combinatorial Search on Grids (YL, AMS, SW), pp. 351–352.

TestCom-2006-LammelS #combinator #grammarware #testing

Controllable Combinatorial Coverage in Grammar-Based Testing (RL, WS), pp. 19–38.

FoSSaCS-2005-Fiore #combinator #modelling

Mathematical Models of Computational and Combinatorial Structures (MPF), pp. 25–46.

STOC-2005-DobzinskiNS #algorithm #approximate #combinator

Approximation algorithms for combinatorial auctions with complement-free bidders (SD, NN, MS), pp. 610–618.

ICALP-2005-GairingMW #algorithm #approximate #combinator #parallel #performance #scheduling

A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines (MG, BM, AW), pp. 828–839.

ICALP-2005-Wegener #combinator #optimisation

Simulated Annealing Beats Metropolis in Combinatorial Optimization (IW), pp. 589–601.

MLDM-2005-TakigawaKN #classification #combinator #product line #set #subclass

The Convex Subclass Method: Combinatorial Classifier Based on a Family of Convex Sets (IT, MK, AN), pp. 90–99.

SEKE-2005-LungZ #analysis #architecture #combinator #design

Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis (CHL, MZ), pp. 418–423.

AMOST-2005-LottJD #combinator #modelling #requirements #testing

Modeling requirements for combinatorial software testing (CML, AJ, SRD).

RTA-2005-KetemaS #combinator #reduction

Infinitary Combinatory Reduction Systems (JK, JGS), pp. 438–452.

FASE-2004-LedruBMB #combinator #testing

Filtering TOBIAS Combinatorial Test Suites (YL, LdB, OM, PB), pp. 281–294.

CHI-2004-LawH #analysis #combinator #testing #usability

Analysis of combinatorial user effect in international usability tests (ELCL, EÞH), pp. 9–16.

ICALP-2003-AgeevYZ #algorithm #approximate #combinator #problem

Improved Combinatorial Approximation Algorithms for the k-Level Facility Location Problem (AAA, YY, JZ), pp. 145–156.

LOPSTR-2003-FlenerPA #combinator #modelling #problem #relational

Introducing esra, a Relational Language for Modelling Combinatorial Problems (PF, JP, MÅ), pp. 214–232.

PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem

Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.

DATE-2002-VicenteLH #combinator #optimisation

FPGA Placement by Thermodynamic Combinatorial Optimization (JdV, JL, RH), pp. 54–60.

SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.

STOC-2002-AdlemanCGHKER #combinator #optimisation #problem #self

Combinatorial optimization problems in self-assembly (LMA, QC, AG, MDAH, DK, PMdE, PWKR), pp. 23–32.

STOC-2002-ElkinK #algorithm #approximate #combinator #problem

Combinatorial logarithmic approximation algorithm for directed telephone broadcast problem (ME, GK), pp. 438–447.

KR-2002-Lang #combinator #representation

From Preference Representation to Combinatorial Vote (JL), pp. 277–290.

DAC-2001-MajumdarW #combinator #satisfiability #using

Watermarking of SAT using Combinatorial Isolation Lemmas (RM, JLW), pp. 480–485.

DATE-2001-MinatoI #combinator #problem #scalability #streaming

Streaming BDD manipulation for large-scale combinatorial problems (SiM, SI), pp. 702–707.

CSL-2001-Akama #algebra #combinator #logic #towards #λ-calculus

Limiting Partial Combinatory Algebras towards Infinitary λ-Calculi and Classical Logic (YA), pp. 399–413.

STOC-2000-IwataFF #algorithm #combinator #polynomial

A combinatorial, strongly polynomial-time algorithm for minimizing submodular functions (SI, LF, SF), pp. 97–106.

STOC-2000-OrlinSS #combinator #optimisation #precise

epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (extended abstract) (JBO, ASS, SS), pp. 565–572.

WLC-2000-KelarevT #combinator #monad

A Combinatorial Property of Languages and Monoids (AVK, PGT), pp. 228–239.

CSL-2000-MakowskyM #combinator #complexity #generative #graph #on the

On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale (JAM, KM), pp. 399–410.

STOC-1999-Indyk99a #combinator #design #symmetry

Inerpolation of Symmetric Functions and a New Type of Combinatorial Design (PI), pp. 736–740.

STOC-1999-Wayne #algorithm #combinator #polynomial

A Polynomial Combinatorial Algorithm for Generalized Minimum Cost Flow (KDW), pp. 11–18.

SAC-1999-Haynes #adaptation #combinator #distributed #optimisation #problem

Distributed Collective Adaptation Applied to Hard Combinatorial Optimization Problem (TH), pp. 339–343.

CAV-1999-Bjesse #automation #combinator #pipes and filters #verification

Automatic Verification of Combinatorial and Pipelined FFT (PB), pp. 380–393.

ICALP-1998-Lu #combinator #generative #pseudo

Improved Pseudorandom Generators for Combinatorial Rectangles (CJL), pp. 223–234.

LOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.

SAC-1998-SandadlidisSR #combinator #evolution

A combinatorial evolution strategy for dynamic channel assignment in cellular radio (HGS, PPS, JRT), pp. 303–307.

RTA-1998-Akama #algebra #combinator

SN Combinators and Partial Combinatory Algebras (YA), pp. 302–316.

STOC-1997-BelingV #combinator #complexity

Combinatorial Complexity of the Central Curve (PAB, SV), pp. 250–255.

ICALP-1997-MehlhornNU #combinator #framework #geometry

The LEDA Platform of Combinatorial and Geometric Computing (KM, SN, CU), pp. 7–16.

STOC-1996-Friedman #combinator

Computing Betti Numbers via Combinatorial Laplacians (JF), pp. 386–391.

LICS-1996-BethkeKV #algebra #combinator #normalisation

Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.

RTA-1996-BlooR #combinator #reduction

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.

PODS-1995-Kolaitis #combinator #database #game studies

Combinatorial Games In Database Theory (PGK), pp. 231–232.

STOC-1995-KargerP #combinator #constraints #multi #optimisation #problem

Adding multiple cost constraints to combinatorial optimization problems, with applications to multicommodity flows (DRK, SAP), pp. 18–25.

SAC-1995-ParkC #combinator #effectiveness #on the #optimisation #search-based

On the effectiveness of genetic search in combinatorial optimization (KP, BC), pp. 329–336.

DAC-1994-PomeranzR #combinator #fault #scalability #using

Design-for-Testability for Path Delay Faults in Large Combinatorial Circuits Using Test-Points (IP, SMR), pp. 358–364.

SIGMOD-1994-WangCMSSZ #combinator

Combinatorial Pattern Discovery for Scientific Data: Some Preliminary Results (JTLW, GWC, TGM, BAS, DS, KZ), pp. 115–125.

POPL-1994-HondaY #combinator #mobile #process #representation

Combinatory Representation of Mobile Processes (KH, NY), pp. 348–360.

ILPS-1994-BroomeL #calculus #combinator #logic programming

Combinatory Logic Programming: Computing in Relation Calculi (PB, JL), pp. 269–285.

DAC-1993-Minato #combinator #problem #set

Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems (SiM), pp. 272–277.

STOC-1993-FelsnerW #algorithm #combinator #set

Maximum k-chains in planar point sets: combinatorial structure and algorithms (SF, LW), pp. 146–153.

STOC-1993-Karp #biology #combinator #problem

Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.

STOC-1993-LinialLSZ #combinator #performance #set

Efficient construction of a small hitting set for combinatorial rectangles in high dimension (NL, ML, MES, DZ), pp. 258–267.

ICML-1993-Mladenic #combinator #concept #induction #learning #optimisation

Combinatorial Optimization in Inductive Concept Learning (DM), pp. 205–211.

CADE-1992-DoughertyJ #approach #combinator #higher-order #logic

A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract) (DJD, PJ), pp. 79–93.

SIGMOD-1989-Swami #combinator #heuristic #optimisation #query #scalability

Optimization of Large Join Queries: Combining Heuristic and Combinatorial Techniques (ANS), pp. 367–376.

ICALP-1989-EppsteinG #algorithm #combinator #parallel

Parallel Algorithmic Techniques for Combinatorial Computation (DE, ZG), pp. 304–318.

ICALP-1989-Toran #combinator #complexity

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

STOC-1988-Yannakakis #combinator #linear #optimisation #problem #source code

Expressing Combinatorial Optimization Problems by Linear Programs (Extended Abstract) (MY), pp. 223–228.

CADE-1988-WosM #automation #challenge #combinator #logic #problem #similarity #source code

Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs (LW, WM), pp. 714–729.

DAC-1987-Serlet #combinator #performance

Fast, Small, and Static Combinatorial CMOS Circuits (BS), pp. 451–458.

RTA-1987-Sopena #combinator

Combinatorial Hypermap Rewriting (ES), pp. 62–73.

DAC-1986-NaharSS #combinator #optimisation

Simulated annealing and combinatorial optimization (SN, SS, ES), pp. 293–299.

ICALP-1986-ArquesFGG #algorithm #approach #combinator #comparison #concurrent #database

Comparison of Algorithms Controlling Concurrent Access to a Database: A Combinatorial Approach (DA, JF, MTG, PG), pp. 11–20.

ICALP-1985-Curien #category theory #combinator #logic

Categorical Combinatory Logic (PLC), pp. 130–139.

ICALP-1985-Jerrum #combinator #generative #random

Random Generation of Combinatorial Structures from a Uniform Distribution (Extended Abstract) (MJ), pp. 290–299.

LFP-1982-Bohm #combinator #functional #programming

Combinatory Foundation of Functional Programming (CB), pp. 29–36.

STOC-1981-AdachiIK #combinator #complexity #game studies #low level

Low Level Complexity for Combinatorial Games (AA, SI, TK), pp. 228–237.

STOC-1978-Megiddo #combinator #optimisation

Combinatorial Optimization with Rational Objective Functions (NM), pp. 1–12.

ICALP-1978-Zilli #combinator #logic #normalisation

Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.

VLDB-1977-Ikeda #combinator #evaluation

Evaluation of Combinatorial File Orgenization Schemes (HI), pp. 231–235.

STOC-1977-ODonnell #combinator #equation #lisp #logic #recursion

Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.

ICALP-1977-AusielloDP #combinator #on the #problem #reduction

On the Structure of Combinatorial Problems and Structure Preserving Reductions (GA, AD, MP), pp. 45–60.

STOC-1975-EhrenfeuchtR75a #combinator #interactive #on the

On the (Combinatorial) Structure of L Languages without Interactions (AE, GR), pp. 137–144.

STOC-1975-EvenT #combinator #polynomial #problem

a Combinatorial Problem which is Complete in Polynomial Space (SE, RET), pp. 66–71.

STOC-1975-Paul #bound #combinator #complexity

A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions (WJP), pp. 27–36.

DAC-1974-Los #approach #combinator #optimisation #programming

A combinatorial programming approach to the joint optimization of land use and transportation (ML), pp. 220–228.

ICALP-1974-BohmD #combinator #equation #normalisation #problem

Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.

STOC-1973-Johnson #algorithm #approximate #combinator #problem

Approximation Algorithms for Combinatorial Problems (DSJ), pp. 38–49.

SIGIR-1971-Gustafson #combinator #random

Elements of the Randomized Combinatorial File Structure (RAG), pp. 163–174.

SHARE-1966-Golomb #aspect-oriented #automation #combinator #design

Combinatorial aspects of automated designs (SWG).