251 papers:
- ESOP-2015-NeronTVW #formal method
- A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.
- ICPC-2015-ButlerWY #bibliography #java
- A survey of the forms of Java reference names (SB, MW, YY), pp. 196–206.
- ICPC-2015-DeissenboeckP #consistency #years after
- Concise and consistent naming: ten years later (FD, MP), p. 3.
- ICSME-2015-ButlerWY #java
- Investigating naming convention adherence in Java references (SB, MW, YY), pp. 41–50.
- GaM-2015-RadwanH #detection #refactoring #smell
- Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.
- HIMI-IKD-2015-BarberB
- Effects of Tacton Names and Learnability (DB, CB), pp. 335–344.
- OOPSLA-2015-HammerDHLFHH #incremental
- Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
- ESEC-FSE-2015-AllamanisBBS
- Suggesting accurate method and class names (MA, ETB, CB, CAS), pp. 38–49.
- LICS-2015-Pitts #symmetry #tutorial
- Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.
- SIGMOD-2014-ShenHW #network #probability #web
- A probabilistic model for linking named entities in web text with heterogeneous information networks (WS, JH, JW), pp. 1199–1210.
- ICPC-2014-SuzukiSIH #approach #modelling #n-gram #using
- An approach for evaluating and suggesting method names using n-gram models (TS, KS, FI, SH), pp. 271–274.
- CIKM-2014-KuzeyVW #fresh look #knowledge base
- A Fresh Look on Knowledge Bases: Distilling Named Events from News (EK, JV, GW), pp. 1689–1698.
- MLDM-2014-MazzolaCTP #string
- Resolution of Geographical String Name through Spatio-Temporal Information (LM, PC, AT, MP), pp. 498–512.
- SAC-2014-AudehBB #information retrieval #query
- Exploring query reformulation for named entity expansion in information retrieval (BA, PB, MB), pp. 929–930.
- SAC-2014-MoonPPS #recognition
- Improved named entity recognition: patterns in columns model (PCM) (CYM, MP, HyP, JS), pp. 927–928.
- DRR-2013-ZhangZLT #modelling #recognition
- Combining discriminative SVM models for the improved recognition of investigator names in medical articles (XZ, JZ, DXL, GRT).
- ICDAR-2013-ChenPCN #detection
- Detecting OOV Names in Arabic Handwritten Data (JC, RP, HC, PN), pp. 994–998.
- ICDAR-2013-KimLT #classification #heuristic #identification #using
- Identification of Investigator Name Zones Using SVM Classifiers and Heuristic Rules (JK, DXL, GRT), pp. 140–144.
- ICDAR-2013-ThadchanamoorthyKPPK #automation #database #development #recognition
- Tamil Handwritten City Name Database Development and Recognition for Postal Automation (ST, NDK, HLP, UP, FK), pp. 793–797.
- VLDB-2013-BouquetM #ecosystem
- A global Entity Name System (ENS) for data ecosystems (PB, AM), pp. 1182–1183.
- FoSSaCS-2013-Clouston #abstraction #set
- Generalised Name Abstraction for Nominal Sets (RC), pp. 434–449.
- ICSM-2013-ScannielloR #fault #identifier #source code
- Dealing with Faults in Source Code: Abbreviated vs. Full-Word Identifier Names (GS, MR), pp. 190–199.
- MSR-2013-ButlerWYS #dataset #identifier #named
- INVocD: identifier name vocabulary dataset (SB, MW, YY, HS), pp. 405–408.
- MSR-2013-Squire13a #dataset #twitter
- Apache-affiliated twitter screen names: a dataset (MS), pp. 305–308.
- CIKM-2013-ChengCWAC #ambiguity #crowdsourcing
- Bootstrapping active name disambiguation with crowdsourcing (YC, ZC, JW, AA, ANC), pp. 1213–1216.
- ECIR-2013-MoshfeghiMBJ #component #timeline
- Influence of Timeline and Named-Entity Components on User Engagement (YM, MM, RB, JMJ), pp. 305–317.
- KDD-2013-LiWHHRY #ambiguity #mining
- Mining evidences for named entity disambiguation (YL, CW, FH, JH, DR, XY), pp. 1070–1078.
- KDD-2013-ShenWLW #knowledge base #modelling #twitter
- Linking named entities in Tweets with knowledge base via user interest modeling (WS, JW, PL, MW), pp. 68–76.
- KDIR-KMIS-2013-MorganK #ambiguity #approach #twitter
- A Generic Open World Named Entity Disambiguation Approach for Tweets (MBM, MvK), pp. 267–276.
- SIGIR-2013-WangHWZ0M #learning #multimodal #search-based
- Learning to name faces: a multimodal learning scheme for search-based face annotation (DW, SCHH, PW, JZ, YH, CM), pp. 443–452.
- SLE-2013-WachsmuthKVGV #analysis #incremental #independence
- A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
- CADE-2013-BenderPS #logic
- System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
- LICS-2013-HirschkoffMS #calculus
- Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
- TLCA-2013-BentonHN #generative #logic
- Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.
- ASE-2012-SteimannP #refactoring
- Refactorings without names (FS, JvP), pp. 290–293.
- DRR-2012-KimLT #classification #identification
- Combining SVM classifiers to identify investigator name zones in biomedical articles (JK, DXL, GRT).
- PEPM-2012-GotoS #approach #functional
- An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
- PEPM-2012-KarlsenHO #debugging #eclipse #java #plugin
- Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
- FLOPS-2012-TanakaK #call-by #continuation
- A Call-by-Name CPS Hierarchy (AT, YK), pp. 260–274.
- CHI-2012-HeerS #design #editing #image #modelling
- Color naming models for color selection, image editing and palette design (JH, MCS), pp. 1007–1016.
- CIKM-2012-LiLJWZH #corpus #parallel
- Joint bilingual name tagging for parallel corpora (QL, HL, HJ, WW, JZ, FH), pp. 1727–1731.
- CIKM-2012-MurakamiM #how #people #question #web
- How do humans distinguish different people with identical names on the web? (HM, YM), pp. 2475–2478.
- CIKM-2012-ShenWLW #approach #graph #ontology
- A graph-based approach for ontology population with named entities (WS, JW, PL, MW), pp. 345–354.
- ICPR-2012-SchauerteS #image #learning #modelling #robust #web
- Learning robust color name models from web images (BS, RS), pp. 3598–3601.
- SIGIR-2012-AlasiryLP #detection #query
- Detecting candidate named entities in search queries (AA, ML, AP), pp. 1049–1050.
- SIGIR-2012-LiWHYDSL #named #recognition #twitter
- TwiNER: named entity recognition in targeted twitter stream (CL, JW, QH, YY, AD, AS, BSL), pp. 721–730.
- ICSE-2012-Butler #identifier #java #mining
- Mining Java class identifier naming conventions (SB), pp. 1641–1643.
- LDTA-2012-JongeV #refactoring
- A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
- SLE-2012-KonatKWV #declarative
- Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.
- LICS-2012-PierardS #calculus #distributed #higher-order
- A Higher-Order Distributed Calculus with Name Creation (AP, ES), pp. 531–540.
- ICDAR-2011-AbdelazeemE #online #recognition
- On-line Arabic Handwritten Personal Names Recognition System Based on HMM (SA, HME), pp. 1304–1308.
- ICDAR-2011-PalRK #automation #recognition
- Handwritten Street Name Recognition for Indian Postal Automation (UP, RKR, FK), pp. 483–487.
- ICDAR-2011-ZhuN11b #online #recognition #using
- Trie-Lexicon-Driven Recognition for On-line Handwritten Japanese Disease Names Using a Time-Synchronous Method (BZ, MN), pp. 1130–1134.
- VLDB-2011-YosefHBSW #ambiguity #named #online
- AIDA: An Online Tool for Accurate Disambiguation of Named Entities in Text and Tables (MAY, JH, IB, MS, GW), pp. 1450–1453.
- FoSSaCS-2011-GabbayC #set #strict
- Freshness and Name-Restriction in Sets of Traces with Names (MJG, VC), pp. 365–380.
- ICSM-2011-ButlerWYS #java #mining
- Mining java class naming conventions (SB, MW, YY, HS), pp. 93–102.
- MSR-2011-HindleEGM #analysis #automation #maintenance #process #topic
- Automated topic naming to support cross-project analysis of software maintenance activities (AH, NAE, MWG, JM), pp. 163–172.
- CHI-2011-GettyCGNWH #facebook
- I said your name in an empty room: grieving and continuing bonds on facebook (EG, JC, MG, CN, EW, JTH), pp. 997–1000.
- CHI-2011-McGee-LennonWMBH
- Name that tune: musicons as reminders in the home (MRML, MKW, RM, SAB, CVH), pp. 2803–2806.
- HCI-DDA-2011-NabetaHIKOT #similarity
- The Similarity Index of Character Shape of Medicine Names Based on Character Shape Similarity (II) (KN, AH, HI, MK, MO, FT), pp. 628–636.
- CIKM-2011-LeeRK #algorithm #recognition #using
- Named entity recognition using a modified Pegasos algorithm (CL, PMR, HK), pp. 2337–2340.
- CIKM-2011-MazeikaTW #evolution #timeline #visual notation
- Entity timelines: visual analytics and named entity evolution (AM, TT, GW), pp. 2585–2588.
- CIKM-2011-PilzP #distance #using
- From names to entities using thematic context distance (AP, GP), pp. 857–866.
- CIKM-2011-XueY #modelling #query #topic
- Topic modeling for named entity queries (XX, XY), pp. 2009–2012.
- KEOD-2011-AarnioSK #industrial #lightweight #semantics
- A Lightweight Element Matching Method for Industrial Terminology Harmonization — Exploiting Minimal Semantics based on Naming Conventions (PA, SS, KK), pp. 390–395.
- KEOD-2011-Kral #recognition
- Features for Named Entity Recognition in Czech Language (PK), pp. 437–441.
- KEOD-2011-OmraneNS #concept #ontology #process
- From Linguistics to Ontologies — The Role of Named Entities in the Conceptualisation Process (NO, AN, SS), pp. 249–254.
- SIGIR-2011-TangLWWL #ambiguity #graph #network #social
- A bipartite graph based social network splicing method for person name disambiguation (JT, QL, TW, JW, WL), pp. 1233–1234.
- ECMFA-2011-Vallecillo #uml
- Improving Naming and Grouping in UML (AV), pp. 345–360.
- ECOOP-2011-ButlerWYS #identifier
- Improving the Tokenisation of Identifier Names (SB, MW, YY, HS), pp. 130–154.
- CSL-2011-LoschP #semantics
- Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
- DRR-2010-ZhangZLT #learning #recognition
- A stacked sequential learning method for investigator name recognition from web-based medical articles (XZ, JZ, DXL, GRT), pp. 1–10.
- FoSSaCS-2010-Saurin #call-by #continuation
- A Hierarchy for Delimited Continuations in Call-by-Name (AS), pp. 374–388.
- WRLA-2010-Velardo #concurrent #framework #multi #semantics
- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (FRV), pp. 191–207.
- CSMR-2010-ButlerWYS #empirical #identifier #quality
- Exploring the Influence of Identifier Names on Code Quality: An Empirical Study (SB, MW, YY, HS), pp. 156–165.
- ICPC-2010-AbebeT #concept #natural language #parsing
- Natural Language Parsing of Program Element Names for Concept Extraction (SLA, PT), pp. 156–159.
- LATA-2010-VelardoD #comparison #order #petri net
- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
- ICFP-2010-PouillardP #fresh look #programming
- A fresh look at programming with names and binders (NP, FP), pp. 217–228.
- ECIR-2010-SooF #on the
- On Foreign Name Search (JJS, OF), pp. 483–494.
- ICPR-2010-EkbalSG #feature model #multi #optimisation #recognition #using
- Feature Selection Using Multiobjective Optimization for Named Entity Recognition (AE, SS, CSG), pp. 1937–1940.
- ICPR-2010-PalRK #automation #recognition
- Bangla and English City Name Recognition for Indian Postal Automation (UP, RKR, FK), pp. 1985–1988.
- KDIR-2010-CamposMO #random #recognition #using
- Recognition of Gene/Protein Names using Conditional Random Fields (DC, SM, JLO), pp. 275–280.
- KEOD-2010-AbouenourBR #on the
- On the Extension of Arabic Wordnet Named Entities and Its Impact on Question / Answering (LA, KB, PR), pp. 424–429.
- SIGIR-2010-DuZYCC #query #recognition #using
- Using search session context for named entity recognition in query (JD, ZZ, JY, YC, ZC), pp. 765–766.
- SIGIR-2010-MerhavMBYF #recognition #relational #using
- Incorporating global information into named entity recognition systems using relational context (YM, FdSM, DB, WGY, OF), pp. 883–884.
- SIGIR-2010-YoshidaIOSN #ambiguity
- Person name disambiguation by bootstrapping (MY, MI, SO, IS, HN), pp. 10–17.
- PPDP-2010-KameyamaT #axiom #call-by #equation
- Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.
- SAC-2010-AminBJ10a #wiki
- Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names (MSA, AB, HMJ), pp. 1656–1660.
- SAC-2010-RytzO #design #object-oriented #polymorphism #scala
- Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language (LR, MO), pp. 2090–2095.
- SLE-2010-HostO #canonical #identification #implementation #java #semantics #using
- Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.
- HT-2009-BruckschenVR #navigation #ontology #ranking #topic
- Named entities for hot topics ranking and ontology navigation aid (MB, RV, SJR), pp. 373–374.
- ICPC-2009-LinsteadHLB #first-order #java #markov #modelling
- Capturing Java naming conventions with first-order Markov models (EL, LH, CVL, PB), pp. 313–314.
- WCRE-1999-ButlerWYS99a #empirical #identifier #quality
- Relating Identifier Naming Flaws and Code Quality: An Empirical Study (SB, MW, YY, HS), pp. 31–35.
- ICALP-v2-2009-GuerraouiR #mobile
- Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures (RG, ER), pp. 484–495.
- HIMI-II-2009-NabetaKOT
- A Proposal of a Method to Extract Active Ingredient Names from Package Inserts (KN, MK, MO, FT), pp. 576–585.
- CIKM-2009-GongWO
- Matching person names through name transformation (JG, LW, DWO), pp. 1875–1878.
- CIKM-2009-HanZ #ambiguity #semantics #wiki
- Named entity disambiguation by leveraging wikipedia semantic knowledge (XH, JZ), pp. 215–224.
- CIKM-2009-KhaitanDGS #data-driven
- Data-driven compound splitting method for english compounds in domain names (SK, AD, SG, AS), pp. 207–214.
- ECIR-2009-Pablo-SanchezM #classification #graph
- Building a Graph of Names and Contextual Patterns for Named Entity Classification (CdPS, PM), pp. 530–537.
- KDD-2009-AmbekarWMMS #classification #open source
- Name-ethnicity classification from open sources (AA, CBW, JM, SM, SS), pp. 49–58.
- KDD-2009-XuYL #mining #using
- Named entity mining from click-through data using weakly supervised latent dirichlet allocation (GX, SHY, HL), pp. 1365–1374.
- MLDM-2009-SarmentoKOU09a #ambiguity #approach
- An Approach to Web-Scale Named-Entity Disambiguation (LS, AK, ECO, LHU), pp. 689–703.
- SIGIR-2009-GongO #ambiguity #clustering #web
- Selecting hierarchical clustering cut points for web person-name disambiguation (JG, DWO), pp. 778–779.
- SIGIR-2009-GuoXCL #query #recognition
- Named entity recognition in query (JG, GX, XC, HL), pp. 267–274.
- SIGIR-2009-McCarley
- Cross language name matching (JSM), pp. 660–661.
- SIGIR-2009-MonzW #ambiguity #clustering #comparison
- A comparison of retrieval-based hierarchical clustering approaches to person name disambiguation (CM, WW), pp. 650–651.
- SIGIR-2009-NaN #probability #retrieval
- A 2-poisson model for probabilistic coreference of named entities for improved text retrieval (SHN, HTN), pp. 275–282.
- ECOOP-2009-HostO #debugging
- Debugging Method Names (EWH, BMØ), pp. 294–317.
- DRR-2008-ZouLT #html #online #using
- Extracting a sparsely located named entity from online HTML medical articles using support vector machine (JZ, DXL, GRT), p. 68150.
- SCAM-2008-SingerK
- Exploiting the Correspondence between Micro Patterns and Class Names (JS, CCK), pp. 67–76.
- ICALP-B-2008-Lebresne #call-by #exception #system f
- A System F with Call-by-Name Exceptions (SL), pp. 323–335.
- ICGT-2008-ChalopinMM #graph #problem
- Labelled (Hyper)Graphs, Negotiations and the Naming Problem (JC, AWM, YM), pp. 54–68.
- CIKM-2008-FanWLZH #effectiveness #framework #graph #named
- GHOST: an effective graph-based framework for name distinction (XF, JW, BL, LZ, WH), pp. 1449–1450.
- CIKM-2008-TodaYMK #ranking
- Incorporating place name extents into geo-ir ranking (HT, NY, YM, RK), pp. 1489–1490.
- CIKM-2008-UdupaSKJ #corpus #mining
- Mining named entity transliteration equivalents from comparable corpora (RU, KS, AK, JJ), pp. 1423–1424.
- CIKM-2008-WhitelawKPU #recognition
- Web-scale named entity recognition (CW, AK, NP, LHU), pp. 123–132.
- ECIR-2008-KhalidJR #information retrieval #normalisation
- The Impact of Named Entity Normalization on Information Retrieval for Question Answering (MAK, VJ, MdR), pp. 705–710.
- ECIR-2008-MohdCR #analysis #comparison
- A Comparison of Named Entity Patterns from a User Analysis and a System Analysis (MM, FC, IR), pp. 679–683.
- POPL-2008-HerbelinG #approach #call-by #continuation
- An approach to call-by-name delimited continuations (HH, SG), pp. 383–394.
- ICLP-2008-Gosti #csp #game studies
- Resolving CSP with Naming Games (GG), pp. 807–808.
- ICDAR-2007-CheikhK #network #recognition
- Neural Network for the Recognition of Handwritten Tunisian City Names (IBC, AK), pp. 1108–1112.
- ICDAR-2007-TaghvaBC #documentation
- Extracting _Carbon Copy_ Names and Organizations from a Heterogeneous Document Collection (KT, RB, JSC), pp. 664–668.
- ICEIS-AIDSS-2007-LiuCM #recognition #using
- Named Entity Recognition in Biomedical Literature Using Two-Layer Support Vector Machines (FL, YC, BM), pp. 39–48.
- ICEIS-J-2007-LiuCM07a #comparison #random #recognition
- Named Entity Recognition in Biomedical Literature: A Comparison of Support Vector Machines and Conditional Random Fields (FL, YC, BM), pp. 137–147.
- CIKM-2007-LadY #feedback #using
- Generalizing from relevance feedback using named entity wildcards (AL, YY), pp. 721–730.
- CIKM-2007-Pasca07a #query #using #web
- Weakly-supervised discovery of named entities using web search queries (MP), pp. 683–690.
- CIKM-2007-PetkovaC #documentation #representation #retrieval
- Proximity-based document representation for named entity retrieval (DP, WBC), pp. 731–740.
- CIKM-2007-ZhangTLW #ambiguity #constraints #framework #probability
- A constraint-based probabilistic framework for name disambiguation (DZ, JT, JZL, KW), pp. 1019–1022.
- ECIR-2007-HeO #normalisation
- Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task (BH, IO), pp. 468–480.
- ECIR-2007-TzitzikasT
- Naming Functions for the Vector Space Model (YT, YT), pp. 613–620.
- KDD-2007-ZhuBK #automation
- Extracting relevant named entities for automated expense reimbursement (GZ, TJB, VK), pp. 1004–1012.
- SIGIR-2007-LeeHJ #fine-grained #recognition
- Fine-grained named entity recognition and relation extraction for question answering (CL, YGH, MGJ), pp. 799–800.
- SIGIR-2007-ZhangZW #detection
- New event detection based on indexing-tree and named entity (KZ, JZ, LGW), pp. 215–222.
- OOPSLA-2007-DucasseWBN
- User-changeable visibility: resolving unanticipated name clashes in traits (SD, RW, AB, ON), pp. 171–190.
- POPL-2007-PittsS #generative
- Generative unbinding of names (AMP, MRS), pp. 85–95.
- SAC-2007-VuMTA #knowledge base #using #web
- Using a knowledge base to disambiguate personal name in web search results (QMV, TM, AT, JA), pp. 839–843.
- LICS-2007-Pottier
- Static Name Control for FreshML (FP), pp. 356–365.
- DRR-2006-JacopiereL #image #recognition
- Author name recognition in degraded journal images (AdBdlJ, LLS).
- HT-2006-MillardR #hypermedia #question #web
- Web 2.0: hypertext by any other name? (DEM, MR), pp. 27–30.
- ICPC-2006-LawrieMFB #case study #identifier #what
- What’s in a Name? A Study of Identifiers (DL, CM, HF, DB), pp. 3–12.
- ICEIS-SAIC-2006-MartinelliSS #using
- E-Procurement Adoption among Italian Firms by Using Domain Names (MM, IS, MS), pp. 124–131.
- CIKM-2006-ShahCJ #detection #documentation #representation
- Representing documents with named entities for story link detection (SLD) (CS, WBC, DJ), pp. 868–869.
- SIGIR-2006-MinkovCN #ambiguity #email #graph #using
- Contextual search and name disambiguation in email using graphs (EM, WWC, AYN), pp. 27–34.
- OSDI-2006-FordSLRKM #mobile #persistent
- Persistent Personal Names for Globally Connected Mobile Devices (BF, JS, CLL, SCR, MFK, RM), pp. 233–248.
- LICS-2006-FioreS #calculus #congruence #process #semantics
- A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.
- ICDAR-2005-LeeL #comprehension #design
- Design of a Chinese Name Card Understanding System (HJL, SHL), pp. 981–985.
- ICDAR-2005-LinT #design
- Text Extraction from Name Cards with Complex Design (LL, CLT), pp. 977–980.
- FoSSaCS-2005-MiculanY
- A Unifying Model of Variables and Names (MM, KY), pp. 170–186.
- IWPC-2005-DeisenbockP #consistency
- Concise and Consistent Naming (FD, MP), pp. 97–106.
- WCRE-2005-KimPW #automation #detection
- When Functions Change Their Names: Automatic Detection of Origin Relationships (SK, KP, EJWJ), pp. 143–152.
- CIKM-2005-LiL #community #mining
- Mining community structure of named entities from free text (XL, BL), pp. 275–276.
- ECIR-2005-KutsumiYKSI #ambiguity
- Acquisition of Translation Knowledge of Syntactically Ambiguous Named Entity (TK, TY, KK, IS, HI), pp. 533–535.
- SIGIR-2005-RennieJ #detection #using
- Using term informativeness for named entity detection (JDMR, TSJ), pp. 353–360.
- PPDP-2005-FernandezG #abstraction #generative #locality
- Nominal rewriting with name generation: abstraction vs. locality (MF, MG), pp. 47–58.
- SAC-2005-HanXZG #ambiguity #naive bayes
- A hierarchical naive Bayes mixture model for name disambiguation in author citations (HH, WX, HZ, CLG), pp. 1065–1069.
- SAC-2005-MandlW #effectiveness #evaluation #information retrieval
- The effect of named entities on effectiveness in cross-language information retrieval evaluation (TM, CWH), pp. 1059–1064.
- GTTSE-2005-EkmanH #analysis #composition #jastadd #java #using
- Modular Name Analysis for Java Using JastAdd (TE, GH), pp. 422–436.
- ICSE-2005-RountevC #analysis #diagrams #sequence chart
- Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.
- LICS-2005-Winskel05a #generative
- Name Generation and Linearity (GW), pp. 301–310.
- RTA-2005-Rocheteau #call-by #λ-calculus #μ-calculus
- λμ-Calculus and Duality: Call-by-Name and Call-by-Value (JR), pp. 204–218.
- RTA-2005-Wadler #call-by
- Call-by-Value Is Dual to Call-by-Name — Reloaded (PW), pp. 185–203.
- TLCA-2005-LamarcheS #logic #proving
- Naming Proofs in Classical Propositional Logic (FL, LS), pp. 246–261.
- TLCA-2005-Sinot #call-by #interactive
- Call-by-Name and Call-by-Value as Token-Passing Interaction Nets (FRS), pp. 386–400.
- ESOP-2004-Thielecke #call-by #continuation #morphism #polymorphism
- Answer Type Polymorphism in Call-by-Name Continuation Passing (HT), pp. 279–293.
- FoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process
- On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
- FoSSaCS-2004-Laird #game studies #semantics
- A Game Semantics of Local Names and Good Variables (JL), pp. 289–303.
- FLOPS-2004-Hasegawa #call-by #continuation #linear #semantics
- Semantics of Linear Continuation-Passing in Call-by-Name (MH), pp. 229–243.
- ICALP-2004-AwerbuchS #distributed #protocol
- Group Spreading: A Protocol for Provably Secure Distributed Name Service (BA, CS), pp. 183–195.
- ICGT-2004-ChalopinMZ
- Election, Naming and Cellular Edge Local Computations (JC, YM, WZ), pp. 242–256.
- CIKM-2004-Pasca #web
- Acquisition of categorized named entities for web search (MP), pp. 137–145.
- ICPR-v1-2004-AzzabouL #image
- Neural Network-Based Proper Names Extraction in Fax Images (NA, LLS), pp. 421–424.
- KDD-2004-CohenS #integration #markov #process
- Exploiting dictionaries in named entity extraction: combining semi-Markov extraction processes and data integration methods (WWC, SS), pp. 89–98.
- SIGIR-2004-KumaranA #classification #detection
- Text classification and named entities for new event detection (GK, JA), pp. 297–304.
- SIGIR-2004-LamHC #learning #mining #similarity
- Learning phonetic similarity for matching named entity translations and mining new translations (WL, RH, PSC), pp. 289–296.
- SIGIR-2004-TryfonopoulosKD #algorithm #information retrieval #modelling #proximity
- Filtering algorithms for information retrieval models with named attributes and proximity operators (CT, MK, YD), pp. 313–320.
- SIGIR-2004-ZhangPZ #machine learning #recognition #using
- Focused named entity recognition using machine learning (LZ, YP, TZ), pp. 281–288.
- GPCE-2004-AnconaM #calculus
- A Fresh Calculus for Name Management (DA, EM), pp. 206–224.
- CSL-2004-SchoppS #dependent type #type system
- A Dependent Type Theory with Names and Binding (US, IS), pp. 235–249.
- ICLP-2004-CheneyU #logic programming #named #programming language #prolog
- αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.
- ICDAR-2003-Likforman-SulemVY #image
- Proper Names Extraction from Fax Images Combining Textual and Image Features (LLS, PV, FY), pp. 545–549.
- ICDAR-2003-SrihariNLD #approach #documentation
- A Case Restoration Approach to Named Entity Tagging in Degraded Documents (RKS, CN, WL, JD), p. 720–?.
- SIGMOD-2003-KangN #on the
- On Schema Matching with Opaque Column Names and Data Values (JK, JFN), pp. 205–216.
- ICFP-2003-Wadler #call-by
- Call-by-value is dual to call-by-name (PW), pp. 189–201.
- CIKM-2003-BeitzelJCG #automation #evaluation #taxonomy #using
- Using titles and category names from editor-driven taxonomies for automatic evaluation (SMB, ECJ, AC, DAG), pp. 17–23.
- SIGIR-2003-VirgaK
- Transliteration of proper names in cross-language applications (PV, SK), pp. 365–366.
- CSL-2003-ZhangN #logic
- Logical Relations for Dynamic Name Creation (YZ, DN), pp. 575–588.
- FoSSaCS-2002-FerrariMP #algebra #calculus
- Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
- ICFP-2002-Nanevski #metaprogramming
- Meta-programming with names and necessity (AN), pp. 206–217.
- CIKM-2002-CallanM #knowledge-based
- Knowledge-based extraction of named entities (JPC, TM), pp. 532–537.
- ICML-2002-ChenWZ #approach #statistics
- A New Statistical Approach to Personal Name Extraction (ZC, LW, FZ), pp. 67–74.
- HPDC-2002-HumphreyAW #grid #using
- Location-Transparent Naming in Grid Computing Using Legion-G (MH, SA, GSW), p. 418.
- CSL-2002-Kakutani #call-by #recursion
- Duality between Call-by-Name Recursion and Call-by-Value Iteration (YK), pp. 506–521.
- ICDAR-2001-LeedhamTY #identification #markov #using
- Handwritten Country Name Identification Using Vector Quantisation and Hidden Markov Model (GL, WKT, WLY), pp. 685–688.
- ICDAR-2001-Likforman-Sulem #image #using #visual notation
- Name Block Location in Facsimile Images Using Spatial/Visual Cues (LLS), pp. 680–684.
- TACAS-2001-Khurshid #algorithm #search-based #testing #using
- Testing an Intentional Naming Scheme Using Genetic Algorithms (SK), pp. 358–372.
- CIAA-2001-FriburgerM #finite #transducer
- Finite-State Transducer Cascade to Extract Proper Names in Texts (NF, DM), pp. 115–124.
- POPL-2001-AbadiF #communication #mobile
- Mobile values, new names, and secure communication (MA, CF), pp. 104–115.
- SOSP-2001-HeidemannSIGEG #low level #network #performance
- Building Efficient Wireless Sensor Networks with Low-Level Naming (JSH, FS, CI, RG, DE, DG), pp. 146–159.
- LICS-2001-FioreT #semantics
- Semantics of Name and Value Passing (MPF, DT), pp. 93–104.
- RTA-2001-VestergaardB #confluence #first-order #proving #using #λ-calculus
- A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (RV, JB), pp. 306–321.
- TLCA-2001-CardelliG #logic #strict
- Logical Properties of Name Restriction (LC, ADG), pp. 46–60.
- ASE-2000-KhurshidJ #automation #constraints #design
- Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
- HT-2000-TzagarakisKCR #concept #hypermedia
- Naming as a fundamental concept of open hypermedia systems (MT, NK, DC, SR), pp. 103–112.
- FoSSaCS-2000-Merro #calculus #locality
- Locality and Polyadicity in Asynchronous Name-Passing Calculi (MM), pp. 238–251.
- ICSM-2000-CaprileT #identifier
- Restructuring Program Identifier Names (BC, PT), pp. 97–107.
- CHI-2000-WatsonFM #predict #quality #using
- Using naming time to evaluate quality predictors for model simplification (BW, AF, AM), pp. 113–120.
- TOOLS-PACIFIC-2000-PowerM #c++
- Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
- SAC-2000-PowerM #approach #c++ #modelling #problem #programming language
- An Approach for Modeling the Name Lookup Problem in the C++ Programming Language (JFP, BAM), pp. 792–796.
- LICS-2000-CattaniS #modelling #process
- Models for Name-Passing Processes: Interleaving and Causal (GLC, PS), pp. 322–333.
- LICS-2000-JeffreyR #bisimulation #concurrent #formal method #ml
- A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (AJ, JR), pp. 311–321.
- ICFP-1999-Glew
- Type Dispatch for Named Hierarchical Types (NG), pp. 172–182.
- IFL-1999-JonesME #haskell #pointer
- Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell (SLPJ, SM, CE), pp. 37–58.
- EDOC-1999-StefanoBS #internet #mobile
- Naming and locating mobile agents in an Internet environment (ADS, LLB, CS), pp. 153–161.
- CIKM-1999-Kanada
- A Method of Geographical Name Extraction from Japanese Text for Thematic Geographical Search (YK), pp. 46–54.
- SOSP-1999-Adjie-WinotoSBL #design #implementation
- The design and implementation of an intentional naming system (WAW, ES, HB, JL), pp. 186–201.
- LICS-1999-JeffreyR #bisimulation #formal method #towards
- Towards a Theory of Bisimulation for Local Names (AJ, JR), pp. 56–66.
- ICALP-1998-MerroS #calculus #on the
- On Asynchrony in Name-Passing Calculi (MM, DS), pp. 856–867.
- ICSE-1998-AnquetilL #clustering #concept
- Extracting Concepts from File Names: A New File Clustering Criterion (NA, TCL), pp. 84–93.
- LICS-1998-BorealeS #bisimulation #calculus
- Bisimulation in Name-Passing Calculi without Matching (MB, DS), pp. 165–175.
- ICDAR-1997-MarianiDLM #algorithm #network
- Algorithms for the Hydrographic Network Names Association on Geographic Maps (RM, MPD, JL, RM), p. 362.
- ICALP-1997-RitterP #on the
- On Explicit Substitution and Names (Extended Abstract) (ER, VdP), pp. 248–258.
- ICALP-1997-Sangiorgi
- The Name Discipline of Uniform Receptiveness (Extended Abstract) (DS), pp. 303–313.
- ECOOP-1997-Mezini #evolution
- Dynamic Object Evolution without Name Collisions (MM), pp. 190–219.
- TLCA-1997-Stark #equation
- Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
- CSL-1996-Stark #call-by #logic
- Call-by-Value, Call-by-Name and the Logic of Values (RFS), pp. 431–445.
- ICDAR-v1-1995-SrihariSRL
- Name and Address Block Reader system for tax form processing (SNS, YCS, VR, DSL), pp. 5–10.
- ICDAR-v2-1995-El-YacoubiBG #recognition
- Conjoined location and recognition of street names within a postal address delivery line (MAEY, JMB, MG), pp. 1024–1027.
- ICDAR-v2-1995-LiiS
- Location of name and address on fax cover pages (JL, SNS), pp. 756–759.
- SAS-1995-NielsenS #call-by
- Call-By-Name CPS-Translation as a Binding-Time Improvement (KN, MHS), pp. 296–313.
- CAiSE-1995-Laitinen #development #feedback
- Natural Naming in Software Development: Feedback from Practitioners (KL), pp. 375–388.
- FSE-1995-KaplanW #formal method
- Formalization and Application of a Unifying Model for Name Management (AK, JCW), pp. 161–172.
- HPCA-1995-NuthD #implementation #performance
- The Named-State Register File: Implementation and Performance (PRN, WJD), pp. 4–13.
- POPL-1994-Odersky #functional
- A Functional Theory of Local Names (MO), pp. 48–59.
- ICDAR-1993-LeeKM #algorithm #fault #performance #recognition
- Efficient postprocessing algorithms for error correction in handwritten Hangul address and human name recognition (SWL, ESK, BWM), pp. 232–235.
- ICDAR-1993-MarukawaKSF #recognition #using
- A post-processing method for handwritten Kanji name recognition using Furigana information (KM, MK, YS, HF), pp. 218–221.
- ICDAR-1993-TsuruokaKMSC #recognition #segmentation
- Segmentation and recognition for handwritten 2-letter state names (ST, FK, YM, MS, ZC), pp. 814–817.
- HCI-SHI-1993-TakedaSKO #distributed #empirical #network
- Preliminary Experiment with a Distributed and Networking Card-Handling Tool Named KJ-Editor (NT, AS, KK, HO), pp. 273–278.
- POPL-1993-Leroy #continuation #morphism #polymorphism
- Polymorphism by Name for References and Continuations (XL), pp. 220–231.
- POPL-1993-OderskyRH #call-by #λ-calculus
- Call by Name, Assignment, and the λ Calculus (MO, DR, PH), pp. 43–56.
- PODS-1992-Ross #algebra #calculus
- Relations with Relation Names as Arguments: Algebra and Calculus (KAR), pp. 346–353.
- CSL-1992-Marzetta #formal method
- Universes in the Theory of Types and Names (MM), pp. 340–351.
- KR-1991-GroveH #logic #multi
- Naming and Identity in a Multi-Agent Epistemic Logic (AJG, JYH), pp. 301–312.
- SIGMOD-1990-BlumS #query
- The INA: A Simple Query Language with Only Attribute Names (BIB, RDS), p. 390.
- ECOOP-1988-Knudsen #classification #multi
- Name Collision in Multiple Classification Hierarchies (JLK), pp. 93–109.
- HCI-CE-1987-Tominaga #specification
- A Computer Method for Specifying Colors by Means of Color Naming (ST), pp. 131–138.
- SOSP-1987-SchwartzZN #evolution
- A Name Service for Evolving, Heterogeneous Systems (MFS, JZ, DN), pp. 52–62.
- CSL-1987-Jager #induction
- Induction in the Elementary Theory of Types and Names (GJ), pp. 118–128.
- VLDB-1984-Ward #using
- Name-Tracing Using the ICL Content Addressable Filestore (AGW), pp. 523–528.
- LFP-1982-Clinger #call-by #lazy evaluation #nondeterminism
- Nondeterministic Call by Need is Neither Lazy Nor by Name (WDC), pp. 226–234.
- POPL-1982-Francez #communication #process
- Extended Naming Conventions for Communicating Processes (NF), pp. 40–45.
- VLDB-1978-Kleefstra #database
- Data Base Description with a Single Name Category Data Model (WJK), pp. 177–185.