Stem name$ (all stems)

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.