36 papers:
CHI-2015-GruningBO #question #what- Medium, Access, and Obsolescence: What Kinds of Objects are Lasting Objects? (JG, JB, MO), pp. 3433–3442.
SAT-2015-IvriiRS #incremental #mining #satisfiability- Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
FLOPS-2014-YallopW #lightweight #morphism #polymorphism- Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.
CSCW-2014-LittSBHSR #facebook #self- Awkward encounters of an “other” kind: collective self-presentation and face threat on facebook (EL, ELS, JPB, JTH, MES, LR), pp. 449–460.
ICFP-2013-WeirichHE #similarity- System FC with explicit kind equality (SW, JH, RAE), pp. 275–286.
HCI-UC-2013-Kawakami #information management #social- Further Benefit of a Kind of Inconvenience for Social Information Systems (HK), pp. 301–306.
- OCSC-2013-LopezFM #behaviour
- Being Example: A Different Kind of Leadership, Looking for Exemplary Behaviors (SRL, HMF, ASM), pp. 182–190.
DAC-2012-RoaCJ #logic- Material implication in CMOS: a new kind of logic (ER, WHC, BJ), pp. 1258–1259.
SIGMOD-2012-Hanrahan #database- Analytic database technologies for a new kind of user: the data enthusiast (PH), pp. 577–578.
DLT-2012-Szilard- The Kind Hearted Dragon Prof. Sheng Yu, 1950-2012 (AS), pp. 1–6.
OOPSLA-2012-TardieuNPS- Constrained kinds (OT, NN, IP, VAS), pp. 811–830.
CSL-2012-Atkey #parametricity #relational- Relational Parametricity for Higher Kinds (RA), pp. 46–61.
- CHI-2011-Antin #people #wiki
- My kind of people?: perceptions about wikipedia contributors and their motivations (JA), pp. 3411–3420.
- CHI-2011-HayashiHC #authentication #security #visual notation
- Security through a different kind of obscurity: evaluating distortion in graphical authentication schemes (EH, JIH, NC), pp. 2055–2064.
- CSCW-2011-MinamikawaY #estimation #what
- Blog tells what kind of personality you have: egogram estimation from Japanese weblog (AM, HY), pp. 217–220.
- HIMI-v2-2011-TakadamaOSMOIHS #order #question #what
- What Kinds of Human Negotiation Skill Can Be Acquired by Changing Negotiation Order of Bargaining Agents? (KT, AO, KS, HM, MO, YI, KH, HS), pp. 335–344.
KMIS-2011-Nishioka #process #using- Quotation Process Management of One-of-a-kind Production using PSLX Information Model (YN), pp. 167–172.
- OOPSLA-2011-DohertyHR #analysis #matlab
- Kind analysis for MATLAB (JD, LJH, SR), pp. 99–118.
DATE-2010-Cota #embedded #problem #question #testing #what- Embedded software testing: What kind of problem is this? (ÉFC), p. 1486.
- OOPSLA-2008-MoorsPO
- Generics of a higher kind (AM, FP, MO), pp. 423–438.
ICEIS-v1-2005-ChaariL #adaptation #generative #named #user interface #visual notation- SEFAGI: Simple Environment for Adaptable Graphical Interfaces — Generating User Interfaces for Different Kinds of Terminals (TC, FL), pp. 232–237.
- CSCW-2004-DaveWM #navigation #online #scalability
- Flash forums and forumReader: navigating a new kind of large-scale online discussion (KD, MW, MJM), pp. 232–241.
- ICEIS-v1-2003-WallS
- The Kinds of IT Services Most Appropriate for a Particular Sourcing Strategy (PW, LS), pp. 590–593.
CIAA-2002-Trahtman02a #testing- A Package TESTAS for Checking Some Kinds of Testability (ANT), pp. 228–232.
UML-2002-AtkinsonKH- Stereotypical Encounters of the Third Kind (CA, TK, BHS), pp. 100–114.
ICPR-v4-2000-OmachiIA #image #multi #using- Structure Extraction from Various Kinds of Decorated Characters Using Multi-Scale Images (SO, MI, HA), pp. 4455–4458.
POPL-2000-StoneH #equivalence- Deciding Type Equivalence with Singleton Kinds (CAS, RH), pp. 214–227.
TOOLS-ASIA-1999-JiangLX #generative- Agent Class Methodology: A New Kind of Autonomous Object Generation Methodology (HJ, DL, XX), pp. 245–252.
ICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple- Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.
CC-1992-Baum #attribute grammar #composition- Another Kind of Modular Attribute Grammars (BB), pp. 44–50.
- JICSLP-1992-AlferesP #logic programming #on the #semantics
- On Logic Program Semantics with Two Kinds of Negation (JJA, LMP), pp. 574–588.
PLILP-1991-Nilsson #abstract interpretation- Abstract Interpretation: A Kind of Magic (UN), pp. 299–309.
- CHI-1989-BlackBMC #effectiveness #learning #online #question #what
- On-line tutorials: What kind of inference leads to the most effective learning? (JBB, JSB, MM, JMC), pp. 81–83.
- SIGMOD-1987-Freeston #grid
- The BANG File: A New Kind of Grid File (MF), pp. 260–269.
- DAC-1979-Sherwood #hybrid #logic #scheduling
- A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind” (WS), pp. 249–254.
ICALP-1979-Deussen #algorithm #parsing- One Abstract Accepting Algorithm for all Kinds of Parsers (PD), pp. 203–217.
