BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
entiti (55)
use (30)
recognit (27)
call (22)
model (20)

Stem name$ (all stems)

251 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.