## Stem dualiti$ (all stems)

### 42 papers:

- ICML-2015-FercoqGS
- Mind the duality gap: safer rules for the Lasso (OF, AG, JS), pp. 333–342.
- ESOP-2014-DownenA
- The Duality of Construction (PD, ZMA), pp. 249–269.
- ICPR-2014-CaiWES #segmentation
- Object Segmentation Based on Contour-Skeleton Duality (LC, FW, VE, HS), pp. 2537–2542.
- LICS-CSL-2014-GottlobM #bound #logic #problem
- Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.
- PODS-2013-Gottlob #identification #polynomial
- Deciding monotone duality and identifying frequent itemsets in quadratic logspace (GG), pp. 25–36.
- CSL-2013-Maruyama #category theory #monad
- Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
- LICS-2013-KozenLMP #markov #process
- Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
- LICS-2013-Panangaden #logic
- Duality in Logic and Computation (PP), pp. 4–11.
- SAT-2013-GoultiaevaB
- Recovering and Utilizing Partial Duality in QBF (AG, FB), pp. 83–99.
- SIGIR-2012-AgarwalCEW #online #personalisation #recommendation
- Personalized click shaping through lagrangian duality for online recommendation (DA, BCC, PE, XW), pp. 485–494.
- LICS-2012-BartoKW #bound #constraints
- Near Unanimity Constraints Have Bounded Pathwidth Duality (LB, MK, RW), pp. 125–134.
- STOC-2011-ZewiB #approximate
- From affine to two-source extractors via approximate duality (NZ, EBS), pp. 177–186.
- LDTA-2011-DominguezP #algebra
- Exploiting algebra/coalgebra duality for program fusion extensions (FD, AP), p. 6.
- TLCA-2011-AriolaHS #call-by
- Classical Call-by-Need and Duality (ZMA, HH, AS), pp. 27–44.
- CSL-2010-Krokhin #constraints
- Tree Dualities for Constraint Satisfaction (AAK), pp. 32–33.
- ICALP-v1-2009-BorosM #algorithm #parallel #performance #problem
- A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (EB, KM), pp. 183–194.
- ICALP-B-2008-GehrkeGP #equation #regular expression
- Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.
- CAiSE-2008-KumaranLW #modelling #on the #process
- On the Duality of Information-Centric and Activity-Centric Models of Business Processes (SK, RL, FYW), pp. 32–47.
- LICS-2008-CarvalhoDK #constraints #problem
- Caterpillar Duality for Constraint Satisfaction Problems (CC, VD, AAK), pp. 307–316.
- KDD-2007-KarrasMS #summary
- Exploiting duality in summarization with deterministic guarantees (PK, DS, NM), pp. 380–389.
- DAC-2006-WangGDK #design #optimisation #using
- Design space exploration using time and resource duality with the ant colony optimization (GW, WG, BD, RK), pp. 451–454.
- SIGMOD-2006-LimLLWS #data type #query #using
- Continuous query processing in data streams using duality of data and queries (HSL, JGL, MJL, KYW, IYS), pp. 313–324.
- ICML-2006-XiaoSB #reduction
- A duality view of spectral methods for dimensionality reduction (LX, JS, SPB), pp. 1041–1048.
- FoSSaCS-2005-BonsangueK #logic
- Duality for Logics of Transition Systems (MMB, AK), pp. 455–469.
- LICS-2005-Atserias #on the #problem
- On Digraph Coloring Problems and Treewidth Duality (AA), pp. 106–115.
- RTA-2005-Rocheteau #call-by #λ-calculus #μ-calculus
- λμ-Calculus and Duality: Call-by-Name and Call-by-Value (JR), pp. 204–218.
- FoSSaCS-2004-MisloveOPW #markov #process
- Duality for Labelled Markov Processes (MWM, JO, DP, JW), pp. 393–407.
- PASTE-2004-Ernst #dynamic analysis
- Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
- ICML-2004-BachLJ #algorithm #kernel #learning #multi
- Multiple kernel learning, conic duality, and the SMO algorithm (FRB, GRGL, MIJ).
- CSL-2002-Kakutani #call-by #recursion
- Duality between Call-by-Name Recursion and Call-by-Value Iteration (YK), pp. 506–521.
- FoSSaCS-2001-BidoitHK #on the #reachability
- On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
- ICFP-2000-CurienH
- The duality of computation (PLC, HH), pp. 233–243.
- ICML-2000-BennettB #classification #geometry
- Duality and Geometry in SVM Classifiers (KPB, EJB), pp. 57–64.
- ICALP-1998-Mellies #on the #theorem
- On a Duality Between Kruskal and Dershowitz Theorems (PAM), pp. 518–529.
- CSL-1997-HeckmannH #semantics
- A Duality Theory for Quantitative Semantics (RH, MH), pp. 255–274.
- ICLP-1994-KumonH #concurrent #logic
- A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.
- CIKM-1993-Papazoglou #database #distributed #on the
- On the Duality of Distributed Databases and Distributed AI Systems (MPP), pp. 1–10.
- CSL-1993-AmblerKM #calculus #on the #μ-calculus
- On Duality for the Modal μ-Calculus (SA, MZK, NM), pp. 18–32.
- LFP-1988-HudakH
- Graphinators and the Duality of SIMD and MIMD (PH, EM), pp. 224–234.
- SOSP-1987-YoungTRGECBBB #communication #implementation #memory management #multi #operating system
- The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System (MY, AT, RFR, DBG, JLE, JC, WJB, DLB, RVB), pp. 63–76.
- ICALP-1986-Aurenhammer #diagrams
- A New Duality Result Concerning Voronoi Diagrams (FA), pp. 21–30.
- STOC-1973-HopcroftM #complexity #matrix #multi
- Duality Applied to the Complexity of Matrix Multiplications and other Bilinear Forms (JEH, JM), pp. 73–87.