Stem expans$ (all stems)

215 papers:

SANER-2015-LuSWLD #code search #effectiveness #query

Query expansion via WordNet for effective code search (ML, XS, SW, DL, YD), pp. 545–549.

SCAM-2015-LemosPSL #code search #query #question #scalability

Can the use of types and query expansion help improve large-scale code search? (OALL, ACdP, HS, CVL), pp. 41–50.

STOC-2015-ChristianiPT #independence

From Independence to Expansion and Back Again (TC, RP, MT), pp. 813–820.

LATA-2015-Zinoviadis #2d #finite

Hierarchy and Expansiveness in 2D Subshifts of Finite Type (CZ), pp. 365–377.

FM-2015-SolovyevJRG #estimation #fault #float

Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.

CHI-2015-GuillonLN #visual notation

Investigating Visual Feedforward for Target Expansion Techniques (MG, FL, LN), pp. 2777–2786.

ECIR-2015-BouchouchaLN #query #towards

Towards Query Level Resource Weighting for Diversified Query Expansion (AB, XL, JYN), pp. 1–12.

ICML-2015-HanMS #probability #scalability

Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.

SEKE-2015-ChavezM #information retrieval #ontology #query #using

An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain (BGCC, AM), pp. 652–655.

SIGMOD-2014-ChenW #knowledge base #probability

Knowledge expansion over probabilistic knowledge bases (YC, DZW), pp. 649–660.

MSR-2014-LemosPZL #automation #code search #interface #query

Thesaurus-based automatic query expansion for interface-driven code search (OALL, ACdP, FCZ, CVL), pp. 212–221.

PEPM-J-2013-Simon14 #type inference #using

Deriving a complete type inference for Hindley-Milner and vector sizes using expansion (AS), pp. 254–271.

STOC-2014-CoudronY #constant #infinity

Infinite randomness expansion with a constant number of devices (MC, HY), pp. 427–436.

ECIR-2014-BouchouchaLN #multi #query

Integrating Multiple Resources for Diversified Query Expansion (AB, XL, JYN), pp. 437–442.

ECIR-2014-BueyGETIM #named #query #semantics

SQX-Lib: Developing a Semantic Query Expansion System in a Media Group (MGB, ALG, SE, RT, SI, EM), pp. 780–783.

ECIR-2014-CraveiroMM #query

Query Expansion with Temporal Segmented Texts (OC, JM, HM), pp. 612–617.

ECIR-2014-LiangRR #clustering #documentation #microblog #semantics

The Impact of Semantic Document Expansion on Cluster-Based Fusion for Microblog Search (SL, ZR, MdR), pp. 493–499.

KDIR-2014-SourourL #information retrieval #query

Association Rules Between Terms Appreciated by EII for Query Expansion in IR (BRS, CL), pp. 381–387.

SIGIR-2014-DaltonDA #knowledge base #query #using

Entity query feature expansion using knowledge base links (JD, LD, JA), pp. 365–374.

SIGIR-2014-GuptaBBCR #information retrieval #query

Query expansion for mixed-script information retrieval (PG, KB, REB, MC, PR), pp. 677–686.

SAC-2014-AudehBB #information retrieval #query

Exploring query reformulation for named entity expansion in information retrieval (BA, PB, MB), pp. 929–930.

PODS-2013-KazanaS #bound #first-order #query

Enumeration of first-order queries on classes of structures with bounded expansion (WK, LS), pp. 297–308.

ICPC-2013-EddyRKC #replication #source code #summary

Evaluating source code summarization techniques: Replication and expansion (BPE, JAR, NAK, JCC), pp. 13–22.

PEPM-2013-Simon #type inference #using

Deriving a complete type inference for hindley-milner and vector sizes using expansion (AS), pp. 13–22.

PLDI-2013-YuKL #data type #multi #thread

General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.

CSCW-2013-FugelliLM #development #distributed #open source

Shared prolepsis and intersubjectivity in open source development: expansive grounding in distributed work (PF, LCL, AIM), pp. 129–144.

HCI-UC-2013-OkiTS #named #using

AugmentedBacklight: Expansion of LCD Backlights Using Lighting Methods in the Real World (MO, KT, IS), pp. 209–216.

CIKM-2013-SymondsZKBS #perspective #query

Term associations in query expansion: a structural linguistic perspective (MS, GZ, BK, PB, LS), pp. 1189–1192.

ECIR-2013-KumarC #feedback #query #twitter

Time Based Feedback and Query Expansion for Twitter Search (NK, BAC), pp. 734–737.

ICML-c3-2013-LeSS #named

Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.

SIGIR-2013-GangulyLJ #case study #documentation #retrieval

An LDA-smoothed relevance model for document expansion: a case study for spoken document retrieval (DG, JL, GJFJ), pp. 1057–1060.

SIGIR-2013-GaoXX #query #random #using

Query expansion using path-constrained random walks (JG, GX, JX), pp. 563–572.

SAC-2013-CamposFHV #personalisation #query #ranking #using #xml

XML search personalization strategies using query expansion, reranking and a search engine modification (LMdC, JMFL, JFH, EVL), pp. 872–877.

CSL-2013-BoudesHP

A characterization of the Taylor expansion of λ-terms (PB, FH, MP), pp. 101–115.

SAT-2013-JanotaM #on the

On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.

VLDB-2012-SelkeLB #bound #database

Pushing the Boundaries of Crowd-enabled Databases with Query-driven Schema Expansion (JS, CL, WTB), pp. 538–549.

ESOP-2012-LengletW #quantifier

Expansion for Universal Quantifiers (SL, JBW), pp. 456–475.

WCRE-2012-GuerroujGGAP #algorithm #identifier #named #performance

TRIS: A Fast and Accurate Identifiers Splitting and Expansion Algorithm (LG, PG, YGG, GA, MDP), pp. 103–112.

STOC-2012-BourgainY

Monotone expansion (JB, AY), pp. 1061–1078.

ICALP-v1-2012-KapralovP #bound #metric

NNS Lower Bounds via Metric Expansion for l ∞ and EMD (MK, RP), pp. 545–556.

CIKM-2012-LiuFCW #enterprise #query

Entity centric query expansion for enterprise search (XL, HF, FC, MW), pp. 1955–1959.

CIKM-2012-OliveiraGBBAZG #automation #query #recommendation

Automatic query expansion based on tag recommendation (VCdO, GdCMG, FB, WCB, JMA, NZ, MAG), pp. 1985–1989.

CIKM-2012-ZhangWH #integer #linear #programming #set

Selecting expansion terms as a set via integer linear programming (QZ, YW, XH), pp. 2399–2402.

ECIR-2012-MantrachR12a #multi #query #using

A Mailbox Search Engine Using Query Multi-modal Expansion and Community-Based Smoothing (AM, JMR), pp. 576–577.

ECIR-2012-NawabSC #documentation #query #using

Retrieving Candidate Plagiarised Documents Using Query Expansion (RMAN, MS, PDC), pp. 207–218.

KDD-2012-LiLP #coordination #performance #using

Fast bregman divergence NMF using taylor expansion and coordinate descent (LL, GL, HP), pp. 307–315.

SIGIR-2012-EfronOF #documentation #retrieval

Improving retrieval of short texts through document expansion (ME, PO, KF), pp. 911–920.

SIGIR-2012-ZhaoC #automation #query

Automatic term mismatch diagnosis for selective query expansion (LZ, JC), pp. 515–524.

LOPSTR-2012-InsaST #debugging #declarative

Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.

ICLP-2012-CatDS #incremental #lazy evaluation

Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.

HT-2011-ZhangL #documentation #set

Entity set expansion in opinion documents (LZ, BL), pp. 281–290.

ICDAR-2011-ZhangS #rank

Circle Text Expansion as Low-Rank Textures (XZ, FS), pp. 202–206.

VLDB-2011-CohenEHKPSW #online

Online Expansion of Largescale Data Warehouses (JC, JE, BH, JK, CP, GS, FW), pp. 1249–1259.

VLDB-2011-LiuNC #clustering #query

Query Expansion Based on Clustered Results (ZL, SN, YC), pp. 350–361.

HCD-2011-KimuraHKM #evaluation #research #taxonomy

Expansion of the System of JSL-Japanese Electronic Dictionary: An Evaluation for the Compound Research System (TK, DH, KK, KM), pp. 407–416.

CIKM-2011-AmodeoAG #on the #query

On relevance, time and query expansion (GA, GA, GG), pp. 1973–1976.

CIKM-2011-LiangXL

Adding structure to top-k: from items to expansions (XL, MX, LVSL), pp. 1699–1708.

CIKM-2011-LiuCZH #learning #random

Learning conditional random fields with latent sparse features for acronym expansion finding (JL, JC, YZ, YH), pp. 867–872.

CIKM-2011-SchlaeferCNFZF #statistics

Statistical source expansion for question answering (NS, JCC, EN, JF, WZ, DAF), pp. 345–354.

ECIR-2011-LiWJC #clustering #documentation #web

User-Related Tag Expansion for Web Document Clustering (PL, BW, WJ, YC), pp. 19–31.

ECIR-2011-MassoudiTRW #microblog #quality #query

Incorporating Query Expansion and Quality Indicators in Searching Microblog Posts (KM, MT, MdR, WW), pp. 362–367.

KDIR-2011-ClariziaCSGN #graph #novel #query

A Novel Query Expansion Technique based on a Mixed Graph of Terms (FC, FC, MDS, LG, PN), pp. 84–93.

SIGIR-2011-BouadjenekHBD #personalisation #query #social #using

Personalized social query expansion using social bookmarking systems (MRB, HH, MB, JD), pp. 1113–1114.

SIGIR-2011-Jiang #graph #query #semantics

Query expansion based on a semantic graph model (XJ), pp. 1315–1316.

SIGIR-2011-LinLJY #approach #machine learning #query #social

Social annotation in query expansion: a machine learning approach (YL, HL, SJ, ZY), pp. 405–414.

SAC-2011-YeHL #approach #network #query

A Bayesian network approach to context sensitive query expansion (ZY, XH, HL), pp. 1138–1142.

TLCA-2011-ManzonettoP #theorem #λ-calculus

Böhm’s Theorem for Resource λ Calculus through Taylor Expansion (GM, MP), pp. 153–168.

STOC-2010-RaghavendraS #game studies #graph

Graph expansion and the unique games conjecture (PR, DS), pp. 755–764.

CIKM-2010-CartrightALM #approximate #modelling #performance #query #using

Fast query expansion using approximations of relevance models (MAC, JA, VL, AM), pp. 1573–1576.

CIKM-2010-LangMWL #concept #markov #random #using

Improved latent concept expansion using hierarchical markov random fields (HL, DM, BW, JTL), pp. 249–258.

CIKM-2010-LiuCXD #collaboration #personalisation #ranking

Exploiting user interests for collaborative filtering: interests expansion via personalized ranking (QL, EC, HX, CHQD), pp. 1697–1700.

CIKM-2010-MaiyaB #network

Expansion and search in networks (ASM, TYBW), pp. 239–248.

CIKM-2010-PickensCG #feedback

Reverted indexing for feedback and expansion (JP, MC, GG), pp. 1049–1058.

CIKM-2010-WoodLH #concept #image #using

Searching consumer image collections using web-based concept expansion (MDW, ACL, SH), pp. 679–688.

ECIR-2010-RudinacLH #consistency #query #retrieval

Exploiting Result Consistency to Select Query Expansions for Spoken Content Retrieval (SR, ML, AH), pp. 645–648.

ECIR-2010-SahibTR #elicitation #interactive #query

Enabling Interactive Query Expansion through Eliciting the Potential Effect of Expansion Terms (NGS, AT, IR), pp. 532–543.

ICPR-2010-TaoYCWLT #2d #estimation #fourier

Estimation of Fingerprint Orientation Field by Weighted 2D Fourier Expansion Model (XT, XY, KC, RW, PL, JT), pp. 1253–1256.

KDIR-2010-SinghMG #feedback #query #realtime

Dynamic Query Expansion based on User’s Real Time Implicit Feedback (SRS, HAM, TAG), pp. 112–121.

SIGIR-2010-FengCCZL #multi #query #video #web

Multi-modal query expansion for web video search (BF, JC, ZC, YZ, SL), pp. 721–722.

SIGIR-2010-HillardL #documentation #retrieval

Clicked phrase document expansion for sponsored search ad retrieval (DH, CL), pp. 799–800.

SIGIR-2010-LevelingJ #query

Query recovery of short user queries: on query expansion with stopwords (JL, GJFJ), pp. 733–734.

SIGIR-2010-RudinacLH #concept #query #retrieval #visual notation

Visual concept-based selection of query expansions for spoken content retrieval (SR, ML, AH), pp. 891–892.

SIGIR-2010-WangH #distance #effectiveness #metric #query #similarity

Effective query expansion with the resistance distance based term similarity metric (SW, MH), pp. 715–716.

VLDB-2009-SarkasBDK #keyword

Measure-driven Keyword-Query Expansion (NS, NB, GD, NK), pp. 121–132.

ICEIS-HCI-2009-NakanishiTO #artificial reality #complexity #design #effectiveness #guidelines #using #verification

Study for Establishing Design Guidelines for Manuals using Augmented Reality Technology — Verification and Expansion of the Basic Model Describing “Effective Complexity” (MN, SiT, YO), pp. 21–26.

ICEIS-J-2009-CastellaniKRWG #maintenance #query

Creation and Maintenance of Query Expansion Rules (SC, ANK, FR, JW, AG), pp. 819–830.

ICEIS-J-2009-LipariBB #2d #fault #visual notation

Investigation of Error in 2D Vibrotactile Position Cues with Respect to Visual and Haptic Display Properties: A Radial Expansion Model for Improved Cuing (NGL, CWB, VBB), pp. 963–974.

CIKM-2009-Collins-Thompson #optimisation #query #robust

Reducing the risk of query expansion via robust constrained optimization (KCT), pp. 837–846.

CIKM-2009-GuoR #interactive #mining #query

Mining linguistic cues for query expansion: applications to drug interaction search (SG, NR), pp. 335–344.

CIKM-2009-VyasPC #editing #set

Helping editors choose better seed sets for entity set expansion (VV, PP, EC), pp. 225–234.

ECIR-2009-HeO #effectiveness #query

Studying Query Expansion Effectiveness (BH, IO), pp. 611–619.

ECIR-2009-YinSC #query #using

Query Expansion Using External Evidence (ZY, MS, NC), pp. 362–374.

KEOD-2009-GrozaH #approach #hybrid #metadata #towards

A Hybrid Approach Towards Information Expansion based on Shallow and Deep Metadata (TG, SH), pp. 109–116.

SIGIR-2009-KalmanovichK #clustering #query

Cluster-based query expansion (IGK, OK), pp. 646–647.

SIGIR-2009-ShokouhiAT #effectiveness #query

Effective query expansion for federated search (MS, LA, PT), pp. 427–434.

SIGIR-2009-WangLFXY #performance #query

Efficient query expansion for advertisement search (HW, YL, LF, GRX, YY), pp. 51–58.

CAV-2009-DangS #image #polynomial #using

Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion (TD, DS), pp. 219–232.

ICLP-2009-SchaubT #network #programming #set

Metabolic Network Expansion with Answer Set Programming (TS, ST), pp. 312–326.

ICLP-2009-WittocxVD #debugging

Debugging for Model Expansion (JW, HV, MD), pp. 296–311.

LICS-2009-PaganiT #linear #logic #problem

The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.

CASE-2008-BeghiBBC #algorithm #design #simulation

A simulation environment for dry-expansion evaporators with application to the design of autotuning control algorithms for electronic (AB, UB, CB, LC), pp. 814–820.

DATE-2008-ChoiC #testing #using

Digital bit stream jitter testing using jitter expansion (HWC, AC), pp. 1468–1473.

DATE-2008-LarssonLCEP #architecture #optimisation #scheduling

Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns (AL, EL, KC, PE, ZP), pp. 188–193.

MSR-2008-HillFBSNPV #automation #maintenance #mining #named #source code #tool support

AMAP: automatically mining abbreviation expansions in programs to enhance software maintenance tools (EH, ZPF, HB, GS, YN, LLP, KVS), pp. 79–88.

ICALP-A-2008-KaleS #bound #graph

An Expansion Tester for Bounded Degree Graphs (SK, CS), pp. 527–538.

CIKM-2008-CustisA #corpus #query #statistics

Investigating external corpus and clickthrough statistics for query expansion in the legal domain (TC, KAK), pp. 1363–1364.

CIKM-2008-HuangS #markov #query #using

A latent variable model for query expansion using the hidden markov model (QH, DS), pp. 1417–1418.

ECIR-2008-HuangSR #documentation #feedback #pseudo #query #robust

Robust Query-Specific Pseudo Feedback Document Selection for Query Expansion (QH, DS, SMR), pp. 547–554.

SIGIR-2008-BuscherDE #feedback #query #using

Query expansion using gaze-based feedback on the subdocument level (GB, AD, LvE), pp. 387–394.

SIGIR-2008-CaoNGR #feedback #pseudo

Selecting good expansion terms for pseudo-relevance feedback (GC, JYN, JG, SR), pp. 243–250.

SIGIR-2008-JiangN #using #video #visual notation

Bag-of-visual-words expansion using visual relatedness for video indexing (YGJ, CWN), pp. 769–770.

SIGIR-2008-ZighelnicK #query #robust

Query-drift prevention for robust query expansion (LZ, OK), pp. 825–826.

SAC-2008-ZhouZCZ #concept #ontology #semantics

A method for semantics-based conceptual expansion of ontology (LZ, DZ, XC, CZ), pp. 1583–1587.

DAC-2007-IwataYF

A DFT Method for Time Expansion Model at Register Transfer Level (HI, TY, HF), pp. 682–687.

DATE-2007-CiesielskiAGGB #data flow #diagrams #using

Data-flow transformations using Taylor expansion diagrams (MJC, SA, DGP, JG, EB), pp. 455–460.

CIKM-2007-BastMW #interactive #performance #query

Efficient interactive query expansion with complete search (HB, DM, IW), pp. 857–860.

CIKM-2007-CaoGNB #markov #modelling #query

Extending query translation to cross-language query expansion with markov chain models (GC, JG, JYN, JB), pp. 351–360.

CIKM-2007-MacdonaldO #query

Expertise drift and query expansion in expert search (CM, IO), pp. 341–350.

CIKM-2007-YanH #feedback #multi #probability #query #retrieval #using

Query expansion using probabilistic local feedback with application to multimedia retrieval (RY, AGH), pp. 361–370.

ECIR-2007-MoreauCS #automation #machine learning #query #using

Automatic Morphological Query Expansion Using Analogy-Based Machine Learning (FM, VC, PS), pp. 222–233.

ECIR-2007-YamoutOT #feedback #query #using

Relevance Feedback Using Weight Propagation Compared with Information-Theoretic Query Expansion (FY, MPO, JT), pp. 258–270.

KDD-2007-CrabtreeAG #aspect-oriented #automation #query

Exploiting underrepresented query aspects for automatic query expansion (DC, PA, XG), pp. 191–200.

SIGIR-2007-ChiritaFN #personalisation #query #web

Personalized query expansion for the web (PAC, CSF, WN), pp. 7–14.

SIGIR-2007-CustisA #approach #query

A new approach for evaluating query expansion: query-document term mismatch (TC, KAK), pp. 575–582.

SIGIR-2007-MetzlerC #concept #markov #random #using

Latent concept expansion using markov random fields (DM, WBC), pp. 311–318.

SIGIR-2007-WinaverKD #framework #modelling #query #robust #towards

Towards robust query expansion: model selection in the language modeling framework (MW, OK, CD), pp. 729–730.

SAT-2007-BubeckB #bound #preprocessor

Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.

DAC-2006-ChoP #named

BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.

DATE-2006-GuillotBRCGA #diagrams #performance #using

Efficient factorization of DSP transforms using taylor expansion diagrams (JG, EB, QR, MJC, DGP, SA), pp. 754–755.

ICPR-v4-2006-ReisertB #3d #data-driven #database #integration #invariant #using

Invariant Features for 3D-Data based on Group Integration using Directional Information and Spherical Harmonic Expansion (MR, HB), pp. 206–209.

SIGIR-2006-FuK #query

Evaluating sources of query expansion terms (XF, DK), pp. 647–648.

SIGIR-2006-SunOC #dependence #mining #query #retrieval

Mining dependency relations for query expansion in passage retrieval (RS, CHO, TSC), pp. 382–389.

SIGIR-2006-WhiteM #case study #effectiveness #query #realtime

A study of real-time query expansion effectiveness (RWW, GM), pp. 715–716.

DAC-2005-GopeCJ #3d #multi #named #performance

DiMES: multilevel fast direct solver based on multipole expansions for parasitic extraction of massively coupled 3D microelectronic structures (DG, IC, VJ), pp. 159–162.

VLDB-2005-KacholiaPCSDK #bidirectional #database #graph #keyword

Bidirectional Expansion For Keyword Search on Graph Databases (VK, SP, SC, SS, RD, HK), pp. 505–516.

CIKM-2005-BaiSBNC #information retrieval #modelling #query #using

Query expansion using term relationships in language models for information retrieval (JB, DS, PB, JYN, GC), pp. 688–695.

CIKM-2005-Collins-ThompsonC #modelling #query #random #using

Query expansion using random walk models (KCT, JC), pp. 704–711.

CIKM-2005-FonsecaGPRZ #concept #interactive #query

Concept-based interactive query expansion (BMF, PBG, BP, BARN, NZ), pp. 696–703.

CIKM-2005-TaoWMZ #documentation #estimation

Accurate language model estimation with document expansion (TT, XW, QM, CZ), pp. 273–274.

SIGIR-2005-KellyDF #independence #query

The loquacious user: a document-independent source of terms for query expansion (DK, VDD, XF), pp. 457–464.

SIGIR-2005-TheobaldSW #incremental #performance #query #self

Efficient and self-tuning incremental query expansion for top-k query processing (MT, RS, GW), pp. 242–249.

SIGIR-2005-ZhangHV #mining #query #web

Mining translations of OOV terms from the web through cross-lingual query expansion (YZ, FH, SV), pp. 669–670.

SAC-2005-LiuC #knowledge-based #query #retrieval

Knowledge-based query expansion to support scenario-specific retrieval of medical free text (ZL, WWC), pp. 1076–1083.

ESOP-2004-CarlierPWK #flexibility #linear #type system

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.

CIKM-2004-Cronen-TownsendZC #framework #query

A framework for selective query expansion (SCT, YZ, WBC), pp. 236–237.

ECIR-2004-AmatiCR #query #robust

Query Difficulty, Robustness, and Selective Application of Query Expansion (GA, CC, GR), pp. 127–137.

ECIR-2004-JohoSB #case study #concept #interactive #query

A Study of User Interaction with a Concept-Based Interactive Query Expansion Support Tool (HJ, MS, MB), pp. 42–56.

SIGIR-2004-NemethST #automation #evaluation #interactive #query

Evaluation of the real and perceived value of automatic and interactive query expansion (YN, BS, MTM), pp. 526–527.

PPDP-2004-CarlierW #type inference

Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.

CC-2004-ClaussT #approach #optimisation #program analysis

A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization (PC, IT), pp. 120–133.

ICDAR-2003-BaldiMS #classification #set #using

Using tree-grammars for training set expansion in page classification (SB, SM, GS), pp. 829–833.

ICALP-2003-GutierrezR #calculus #type system

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems (FG, BCR), pp. 956–968.

CHI-2003-ZhaiCBG #online

Human on-line response to target expansion (SZ, SC, MBL, YG), pp. 177–184.

CIKM-2003-BillerbeckSWZ #query #using

Query expansion using associated queries (BB, FS, HEW, JZ), pp. 2–9.

SIGIR-2003-BillerbeckZ #query

When query expansion fails (BB, JZ), pp. 387–388.

SIGIR-2003-Ruthven #effectiveness #interactive #query

Re-examining the potential effectiveness of interactive query expansion (IR), pp. 213–220.

SIGIR-2003-TsengJ #categorisation

Document-self expansion for text categorization (YHT, DWJ), pp. 399–400.

DATE-2002-CiesielskiKZR #canonical #diagrams #representation #verification

Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.

VLDB-2002-OhuraTPK #internet #mining #query #using #web

Experiments on Query Expansion for Internet Yellow Page Services Using Web Log Mining (YO, KT, IP, MK), pp. 1008–1018.

ECIR-2002-Vakkari #query

Subject Knowledge, Source of Terms, and Term Selection in Query Expansion: An Analytical Study (PV), pp. 110–123.

SIGIR-2002-McNameeM #query

Comparing cross-language query expansion techniques by degrading translation resources (PM, JM), pp. 159–166.

SAC-2002-JohoCSB

Hierarchical presentation of expansion terms (HJ, CC, MS, MHB), pp. 645–649.

CIKM-2001-CaiRJ #automation #query

Automatic Query Expansion Based on Divergence (DC, CJvR, JMJ), pp. 419–426.

CIKM-2001-OgilvieC #distributed #effectiveness #information retrieval #query

The Effectiveness of Query Expansion for Distributed Information Retrieval (PO, JPC), pp. 183–190.

SIGIR-2001-HoashiMIH #algorithm #collaboration #predict #query

Query Expansion Based on Predictive Algorithms for Collaborative Filtering (KH, KM, NI, KH), pp. 414–415.

SIGIR-2001-ManoO #automation #query

Selecting Expansion Terms in Automatic Query Expansion (HM, YO), pp. 390–391.

DAC-2000-YuWK #algorithm #network #order #reduction

Passive model order reduction algorithm based on Chebyshev expansion of impulse response of interconnect networks (QY, JMW, ESK), pp. 520–525.

DAC-1999-PomeranzR #generative #sequence #testing

Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.

SIGIR-1999-HoashiMIH #query #word

Query Expansion Method Based on Word Contribution (poster abstract) (KH, KM, NI, KH), pp. 303–304.

SIGIR-1999-LimaP #query #recognition

Phrase Recognition and Expansion for Short, Precision-Biased Queries Based on a Query Log (EFdL, JOP), pp. 145–152.

SIGIR-1999-MandalaTT #multi #query

Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion (RM, TT, HT), pp. 191–197.

SIGIR-1999-SinghalP #documentation #retrieval #speech

Document Expansion for Speech Retrieval (AS, FCNP), pp. 34–41.

CC-1999-KnoopRS #semantics

Expansion-Based Removal of Semantic Partial Redundancies (JK, OR, BS), pp. 91–106.

TAGT-1998-Pfaltz

Neighborhood Expansion Grammars (JLP), pp. 30–44.

SIGIR-1998-FranzR #correlation #query

A Method for Scoring Correlated Features in Query Expansion (MF, SR), pp. 337–338.

SIGIR-1998-Jean-David #automation #corpus #query

Automatic Acquisition of Terminological Relations from a Corpus for Query Expansion (SJD), pp. 371–372.

SIGIR-1998-KekalainenJ #performance #query #retrieval

The Impact of Query Structure and Query Expansion on Retrieval Performance (JK, KJ), pp. 130–137.

SIGIR-1998-MitraSB #automation #query

Improving Automatic Query Expansion (MM, AS, CB), pp. 206–214.

POPL-1998-BarthouCC

Maximal Static Expansion (DB, AC, JFC), pp. 98–106.

ICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #functional #metaprogramming #optimisation

A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.

ACIR-1997-Wilkinson #using

Using Combination of Evidence for Term Expansion (RW).

CIKM-1997-GauchW #analysis #approach #automation #corpus #query

A Corpus Analysis Approach for Automatic Query Expansion (SG, JW), pp. 278–284.

SIGIR-1997-BallesterosC #information retrieval #query

Phrasal Translation and Query Expansion Techniques for Cross-language Information Retrieval (LB, WBC), pp. 84–91.

SIGIR-1997-MagennisR #effectiveness #interactive #query

The Potential and Actual Effectiveness of Interactive Query Expansion (MM, CJvR), pp. 324–332.

PLILP-1997-Serrano #how #question

Inline Expansion: When and How? (MS), pp. 143–157.

TLCA-1997-Ghani #calculus #dependent type #type system

Eta-Expansions in Dependent Type Theory — The Calculus of Constructions (NG), pp. 164–180.

SAS-1996-Steffen

Property-Oriented Expansion (BS), pp. 22–41.

STOC-1996-LinialS

Non-Expansive Hashing (NL, OS), pp. 509–518.

ICPR-1996-WangRNBJ

A generalized expansion matching based feature extractor (ZW, KRR, DN, JBA, NJ), pp. 29–33.

SIGIR-1996-JarvelinKNSK #deduction #query

A Deductive Data Model for Query Expansion (KJ, JK, TN, ES, HK), pp. 235–243.

SIGIR-1996-XuC #analysis #documentation #query #using

Query Expansion Using Local and Global Document Analysis (JX, WBC), pp. 4–11.

CSL-1996-Ghani

η-Expansions in Fω (NG), pp. 182–197.

PEPM-1994-DanvyMP #partial evaluation

The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.

CIKM-1994-KwonKC #adaptation #query #using

Query Expansion Using Domain Adapted, Weighted Thesaurus in an Extended Boolean Model (OWK, MCK, KSC), pp. 140–146.

SIGIR-1994-Spink #design #feedback #query

Term Relevance Feedback and Query Expansion: Relation to Design (AS), pp. 81–90.

SIGIR-1994-Voorhees #query #semantics #using

Query Expansion Using Lexical-Semantic Relations (EMV), pp. 61–69.

SIGIR-1993-Efthimiadis #evaluation #interactive #query #ranking

A User-Centered Evaluation of Ranking Algorithims for Interactive Query Expansion (ENE), pp. 146–159.

SIGIR-1993-QiuF #concept #query

Concept Based Query Expansion (YQ, HPF), pp. 160–169.

LFP-1992-BoveA #calculus #confluence #evaluation #metaprogramming

A Confluent Calculus of Macro Expansion and Evaluation (AB, LA), pp. 278–287.

PODS-1991-Matsliach #analysis #multi #performance

Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves with Partial Expansions (GM), pp. 164–180.

STOC-1991-Babai #finite #generative #graph #random #transitive

Local Expansion of Vertex-Transitive Graphs and Random Generation in Finite Groups (LB), pp. 164–174.

SIGIR-1991-Kwok #adaptation #architecture #network #query

Query Modification and Expansion in a Network with Adaptive Architecture (KLK), pp. 192–201.

CSL-1990-Rauszer #modelling

Expansions and Models of Autoepistemic Theories (CR), pp. 340–353.

PLDI-1989-HwuC #c #compilation #source code

Inline Function Expansion for Compiling C Programs (WmWH, PPC), pp. 246–257.

PLDI-1988-AllenJ #c #compilation #parallel

Compiling C for Vectorization, Parallelization, and Inline Expansion (RA, SJ), pp. 241–249.

SIGIR-1988-Harman #interactive #query #towards

Towards Interactive Query Expansion (DH), pp. 321–331.

LFP-1986-DybvigFH #metaprogramming

Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.

LFP-1986-KohlbeckerFFD #metaprogramming

Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.

DAC-1984-ChenK #design #layout #problem

The channel expansion problem in layout design (RRC, YK), pp. 388–391.

CADE-1984-Miller #deduction #proving

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs (DM), pp. 375–393.

VLDB-1982-Larson #linear

A Single-File Version of Linear Hashing with Partial Expansions (PÅL), pp. 300–309.

DAC-1980-HeynsSB #algorithm #problem

A line-expansion algorithm for the general routing problem with a guaranteed solution (WH, WS, HB), pp. 243–249.

VLDB-1980-Larson #linear

Linear Hashing with Partial Expansions (PÅL), pp. 224–232.

DAC-1974-WeberS #algorithm #integer

An integer arithmetic path expansion algorithm (TAW, DGS), pp. 62–69.

DAC-1971-ChuangK

Computer expansion of Boolean expressions (YHC, CCK), pp. 378–383.