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.
