24 papers:
DLT-2015-BealH #finite- Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts (MPB, PH), pp. 167–178.
CHI-2015-ToombsBB- The Proper Care and Feeding of Hackerspaces: Care Ethics and Cultures of Making (ALT, SB, JB), pp. 629–638.
- CHI-2014-BardzellBT #quote #self #tool support
- “Now that’s definitely a proper hack”: self-made tools in hackerspaces (JB, SB, AT), pp. 473–476.
PASTE-2013-YasugiMU #evaluation #performance- A proper performance evaluation system that summarizes code placement effects (MY, YM, TU), pp. 41–48.
DUXU-PMT-2013-Schaffzin #design #education #social- Social Movement Information Design and a Curriculum of Proper Knowledge Consumption (GYS), pp. 134–143.
- DUXU-v2-2011-OlsenPB #effectiveness #game studies #how #testing #usability
- Serious Games Usability Testing: How to Ensure Proper Usability, Playability, and Effectiveness (TO, KP, CAB), pp. 625–634.
ILC-2010-YasugiKHU #continuation #recursion- Managing continuations for proper tail recursion (MY, TK, TH, SU), pp. 65–72.
ICML-2009-ReidW #bound- Surrogate regret bounds for proper losses (MDR, RCW), pp. 897–904.
LATA-2008-OttoP #2d #taxonomy- A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata (FO, MP), pp. 409–420.
ICPR-v1-2004-AzzabouL #image- Neural Network-Based Proper Names Extraction in Fax Images (NA, LLS), pp. 421–424.
ICDAR-2003-Likforman-SulemVY #image- Proper Names Extraction from Fax Images Combining Textual and Image Features (LLS, PV, FY), pp. 545–549.
AGTIVE-2003-AgnarssonEH #graph- Proper Down-Coloring Simple Acyclic Digraphs (GA, ÁSE, MMH), pp. 299–312.
SIGIR-2003-VirgaK- Transliteration of proper names in cross-language applications (PV, SK), pp. 365–366.
CIAA-2001-FriburgerM #finite #transducer- Finite-State Transducer Cascade to Extract Proper Names in Texts (NF, DM), pp. 115–124.
- SIGIR-2000-PetasisCVPKS #adaptation #automation #machine learning #probability
- Automatic adaptation of proper noun dictionaries through cooperation of machine learning and probabilistic methods (GP, AC, PV, GP, VK, CDS), pp. 128–135.
PLDI-1998-Clinger #performance #recursion- Proper Tail Recursion and Space Efficiency (WDC), pp. 174–185.
- WIA-1997-MaurelC #pseudo #transducer
- Pseudo-minimal Transducers: A Transducer with Proper Elements (DM, LC), pp. 122–132.
DAC-1994-ParkesBP #approach #generative #named #object-oriented #parallel #testing- ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation (SP, PB, JHP), pp. 717–721.
AdaEurope-1993-Schwille #exception #guidelines- Use and Abuse of Exceptions — 12 Guidelines for Proper Exception Handling (JS), pp. 141–152.
ICSE-1991-Hartman #composition #comprehension #source code #using- Understanding Natural Programs Using Proper Decomposition (JH), pp. 62–73.
POPL-1988-KfouryTU #effectiveness #ml- A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.
ICALP-1977-JanssenB #on the- On the Proper Treatment or Referencing, Dereferencing and Assignment (TMVJ, PvEB), pp. 282–300.
- DAC-1972-SchweikertK #clustering
- A proper model for the partitioning of electrical circuits (DGS, BWK), pp. 57–62.
- SIGIR-1971-Paola #problem #relational
- The Relational Data File and the Decision Problem for Classes of Proper Formulas (RADP), pp. 95–104.
