101 papers:
MSR-2015-RayNBNZ- The Uniqueness of Changes: Characteristics and Applications (BR, MN, CB, NN, TZ), pp. 34–44.
ICFP-2015-SchererR #question- Which simple types have a unique inhabitant? (GS, DR), pp. 243–255.
CHI-2015-JohnsonNW #all about #case study #experience #game studies #video- All about that Base: Differing Player Experiences in Video Game Genres and the Unique Case of MOBA Games (DJ, LEN, PW), pp. 2265–2274.
POPL-2015-Sangiorgi #equation- Equations, Contractions, and Unique Solutions (DS), pp. 421–432.
STOC-2014-GalanisSV- Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region (AG, DS, EV), pp. 823–831.
ICALP-v1-2014-Hertli #satisfiability- Breaking the PPSZ Barrier for Unique 3-SAT (TH), pp. 600–611.
CSCW-2014-JohriS #framework- The role of data in aligning the “unique identity” infrastructure in India (AJ, JS), pp. 697–709.
HIMI-AS-2014-OhtaK #evaluation- The Relationships between the Products and Affective Evaluation Concerning Uniqueness (YO, KK), pp. 622–630.
KDD-2014-HuHA #e-commerce #modelling #scalability #social- Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.
ISSTA-2014-AlshahwanH #detection #fault #testing- Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
VLDB-2013-Ngo- Getting Unique Solution in Data Exchange (NN), pp. 1440–1443.
- VLDB-2014-HeiseQAJN13 #scalability
- Scalable Discovery of Unique Column Combinations (AH, JAQR, ZA, AJ, FN), pp. 301–312.
FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus- On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
- HIMI-LCCB-2013-OhtaK #motivation
- The Relationship between Kansei Scale for Uniqueness of Products and Purchase Motivation (YO, KK), pp. 521–530.
SIGIR-2013-RoitmanCME #modelling #recommendation- Modeling the uniqueness of the user preferences for recommendation systems (HR, DC, YM, IE), pp. 777–780.
CADE-2013-BenderPS #logic- System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
DAC-2012-ForteS #on the #proximity- On improving the uniqueness of silicon-based physically unclonable functions via optical proximity correction (DF, AS), pp. 96–105.
- STOC-2012-ODonnellW #game studies #np-hard
- A new point of NP-hardness for unique games (RO, JW), pp. 289–306.
KR-2012-PradeR #logic #predict #similarity- Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction (HP, GR).
OOPSLA-2012-GordonPPBD #parallel- Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
TOOLS-EUROPE-2012-OlahMS #constraints #framework #representation- Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.
DATE-2011-FerentD #automation #design #similarity- A symbolic technique for automated characterization of the uniqueness and similarity of analog circuit design features (CF, AD), pp. 1212–1217.
- ICALP-v2-2011-CominettiCL
- Existence and Uniqueness of Equilibria for Flows over Time (RC, JRC, OL), pp. 552–563.
LATA-2011-KowalukLL- Unique Small Subgraphs Are Not Easier to Find (MK, AL, EML), pp. 336–341.
- ICFP-2011-HinzeJ #category theory #fixpoint #proving
- Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
CIKM-2011-AbedjanN- Advancing the discovery of unique column combinations (ZA, FN), pp. 1565–1570.
TLCA-2011-BourreauS #game studies #semantics #λ-calculus- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
- VLDB-2010-GuoDSZ #constraints
- Record Linkage with Uniqueness Constraints and Erroneous Values (SG, XD, DS, RZ), pp. 417–428.
- STOC-2010-KawarabayashiW #algorithm #graph #proving #theorem
- A shorter proof of the graph minor algorithm: the unique linkage theorem (KiK, PW), pp. 687–694.
- STOC-2010-RaghavendraS #game studies #graph
- Graph expansion and the unique games conjecture (PR, DS), pp. 755–764.
ECOOP-2010-HallerO- Capabilities for Uniqueness and Borrowing (PH, MO), pp. 354–378.
SAC-2010-LeeST #algorithm #database #incremental #performance- An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
FSE-2010-GabelS #case study #source code- A study of the uniqueness of source code (MG, ZS), pp. 147–156.
RTA-2010-EndrullisGHKO #normalisation #orthogonal- Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
SAT-2010-MatthewsP #satisfiability- Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable (WM, RP), pp. 369–374.
- DATE-2009-PomeranzR #fault
- Selection of a fault model for fault diagnosis based on unique responses (IP, SMR), pp. 994–999.
ICDAR-2009-BharathM #clustering #framework- A Framework Based on Semi-Supervised Clustering for Discovering Unique Writing Styles (AB, SM), pp. 891–895.
SCAM-2009-SpaccoW #lightweight- Lightweight Techniques for Tracking Unique Program Statements (JS, CCW), pp. 99–108.
- ICALP-v1-2009-Golovin #named
- B-Treaps: A Uniquely Represented Alternative to B-Trees (DG), pp. 487–499.
- HIMI-II-2009-LevaKCLKSM #performance #safety
- Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System (MCL, AMK, JC, GL, SK, DS, NM), pp. 806–815.
- KDD-2009-AndoS #clustering #detection
- Detection of unique temporal segments by information theoretic meta-clustering (SA, ES), pp. 59–68.
- SAC-2009-TangL #problem
- The unique solution for P3P problem (JT, NL), pp. 1138–1139.
- RTA-2009-GodoyJ #normalisation
- Unique Normalization for Shallow TRS (GG, FJ), pp. 63–77.
ITiCSE-2008-Burrell #learning #object-oriented #process #programming #source code #visualisation- Learning object oriented programming: unique visualizations of individuals learning styles, activities and the programs produced (CJB), p. 339.
- STOC-2008-AroraKKSTV #constraints #game studies #graph
- Unique games on expanding constraint graphs are easy: extended abstract (SA, SK, AK, DS, MT, NKV), pp. 21–28.
- ICFP-2008-Hinze #fixpoint #functional
- Functional pearl: streams and unique fixed points (RH), pp. 189–200.
ICML-2008-RothF #algorithm #linear #modelling #performance- The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
ICPR-2008-ZhouZ #metric- Generalized criteria for uniqueness of Gibbs measures (HZ, ZZ), pp. 1–4.
- TOOLS-EUROPE-2008-OstlundWCA
- Ownership, Uniqueness, and Immutability (JÖ, TW, DC, BÅ), pp. 178–197.
IFL-2007-VriesPA #type system- Uniqueness Typing Simplified (EdV, RP, DMA), pp. 201–218.
ISMM-2007-CheremR- Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
- CADE-2007-GodoyT #normalisation #on the #term rewriting
- On the Normalization and Unique Normalization Properties of Term Rewrite Systems (GG, ST), pp. 247–262.
- STOC-2006-CharikarMM #algorithm #game studies
- Near-optimal algorithms for unique games (MC, KM, YM), pp. 205–214.
DLT-2006-Carton- The Growth Ratio of Synchronous Rational Relations Is Unique (OC), pp. 270–279.
- ICALP-v1-2006-HoangMT #on the #problem
- On the Bipartite Unique Perfect Matching Problem (TMH, MM, TT), pp. 453–464.
- IFL-2006-VriesPA #type system
- Uniqueness Typing Redefined (EdV, RP, DMA), pp. 181–198.
- ICML-2006-Meila
- The uniqueness of a good optimum for K-means (MM), pp. 625–632.
- SAC-2006-LucraftEA #internet
- Enforcing path uniqueness in internet routing (DL, AE, FA), pp. 399–403.
- ICDAR-2005-BharathDM #approach #identification #online #recognition
- An Approach to Identify Unique Styles in Online Handwriting Recognition (AB, VD, SM), pp. 775–779.
- POPL-2005-BoylandR
- Connecting effects and uniqueness with adoption (JTB, WR), pp. 283–295.
- SAC-2005-AjiliRE #approach #optimisation
- A branch-price-and-propagate approach for optimizing IGP weight setting subject to unique shortest paths (FA, RR, AE), pp. 366–370.
- SAC-2005-LeeST #database #performance
- Efficient discovery of unique signatures on whole-genome EST databases (HPL, TFS, YTT), pp. 100–104.
- SAT-2005-Rolf #satisfiability
- Derandomization of PPSZ for Unique- k-SAT (DR), pp. 216–225.
- STOC-2004-Devanur #algorithm #constraints #equilibrium
- The spending constraint model for market equilibrium: algorithmic, existence and uniqueness results (NRD), pp. 519–528.
CIAA-2004-Maletti #theorem #transducer- Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids (AM), pp. 323–324.
- CHI-2004-LudfordCFT #community #difference #online #using
- Think different: increasing online community participation using uniqueness and group dissimilarity (PJL, DC, DF, LGT), pp. 631–638.
- SCAM-2003-GuoCD #java #using
- Unique Renaming of Java Using Source Transformation (XG, JRC, TRD), pp. 151–160.
- ECOOP-2003-ClarkeW
- External Uniqueness Is Unique Enough (DC, TW), pp. 176–200.
FATES-2003-GuoHHD #algorithm #search-based #sequence #using- Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
- STOC-2002-GuruswamiI #linear
- Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets (VG, PI), pp. 812–821.
- STOC-2002-Khot02a #game studies #on the #power of
- On the power of unique 2-prover 1-round games (SK), pp. 767–775.
- DLT-2002-Holub #set #similarity
- A Unique Structure of Two-Generated Binary Equality Sets (SH), pp. 245–257.
- ICPR-v3-2002-StefanoMMN #constraints
- Dense Stereo Based on the Uniqueness Constraint (LdS, MM, SM, GN), pp. 657–661.
- ECOOP-2001-BoylandNR
- Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only (JB, JN, WR), pp. 2–27.
- STOC-1999-GabowKT #algorithm
- Unique Maximum Matching Algorithms (HNG, HK, RET), pp. 70–78.
- STOC-1998-BeigelBF #detection
- NP Might Not Be As Easy As Detecting Unique Solutions (RB, HB, LF), pp. 203–208.
- STOC-1998-PeinadoL #embedded #generative #graph #random
- Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (Extended Abstract) (MP, TL), pp. 176–185.
- ISMM-1998-RothW
- One-Bit Counts between Unique and Sticky (DJR, DSW), pp. 49–56.
CSL-1998-Barthe #normalisation #type system- Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-Conversion (GB), pp. 241–259.
- DLT-1997-Zhiltsova #context-free grammar #probability
- An Optimal Coding for Stochastic Context-Free Languages with Unique Derivation (LPZ), pp. 539–550.
- ICALP-1997-BuccafurriGS #power of #semantics
- The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
LICS-1997-Rathke #fixpoint #induction #process- Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract) (JR), pp. 140–148.
ALP-1996-ManoO #higher-order #normalisation #term rewriting- Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.
- LICS-1996-BethkeKV #algebra #combinator #normalisation
- Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
CSEE-1995-FortinJLUV #approach #industrial #process- Is this Training? A Unique Approach to Software Process Training in Industry (PDF, CAJ, JRL, KBU, AV), pp. 409–417.
- PLILP-1995-BarendsenS #type inference
- Uniqueness Type Inference (EB, SS), pp. 189–206.
SAS-1994-Garza-SalazarB #analysis #array- Uniqueness and Completeness Analysis of Array Comprehensions (DAGS, APWB), pp. 193–207.
- LICS-1994-HofmannS #proving
- The Groupoid Model Refutes Uniqueness of Identity Proofs (MH, TS), pp. 208–212.
- STOC-1993-ChariRS #problem
- Randomness-optimal unique element isolation, with applications to perfect matching and related problems (SC, PR, AS), pp. 458–467.
- TOOLS-USA-1993-Long
- Unique Copy-on-Write Objects (DREL), pp. 453–467.
- PLILP-1992-Kahrs #implementation
- Unlimp, Uniqueness as a Leitmotiv for Implementation (SK), pp. 115–129.
- LICS-1991-Stoughton #parallel
- Parallel PCF Has a Unique Extensional Model (AS), pp. 146–151.
- STOC-1990-SundarT #sequence #set
- Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (RS, RET), pp. 18–25.
- STOC-1989-Beame #trade-off
- A General Sequential Time-Space Tradeoff for Finding Unique Elements (PB), pp. 197–203.
- STOC-1985-ValiantV #detection
- NP Is as Easy as Detecting Unique Solutions (LGV, VVV), pp. 458–463.
- STOC-1983-Iwama #communication #multi #string
- Unique Decomposability of Shuffled Strings: A Formal Treatment of Asynchronous Time-Multiplexed Communication (KI), pp. 374–381.
GG-1982-EhrigS #graph transformation- Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.
- STOC-1981-Chew #normalisation #term rewriting
- Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.
- CADE-1980-Jeanrond #algebra #term rewriting #termination
- Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully (HJJ), pp. 335–355.
- ICALP-1979-Jeanrond #axiom #commutative #termination #theorem
- A Unique Termination Theorem for a Theory with Generalised Commutative Axioms (HJJ), pp. 316–330.
- ICALP-1979-Tiuryn #fixpoint
- Unique Fixed Points vs. Least Fixed Points (JT), pp. 633–645.
