Stem short$ (all stems)

200 papers:

HT-2015-Orellana-Rodriguez #mining #recommendation

Mining Affective Context in Short Films for Emotion-Aware Recommendation (COR, EDA, WN), pp. 185–194.

PLDI-2015-LongfieldNMT #self #specification

Preventing glitches and short circuits in high-level self-timed chip specifications (SLJ, BN, RM, RT), pp. 270–279.

ICALP-v2-2015-AisenbergBBCI #principle #proving

Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.

HCI-UC-2015-BorsciFMC #assessment #testing #usability

Short Scales of Satisfaction Assessment: A Proxy to Involve Disabled Users in the Usability Testing of Websites (SB, SF, MLM, MC), pp. 35–42.

LCT-2015-Alvarez-Montero #bibliography #concept #feedback #perspective #tool support

Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.

ICEIS-v2-2015-McharfiADBK #product line #traceability

Return on Investment of Software Product Line Traceability in the Short, Mid and Long Term (ZM, BEA, ID, AB, AK), pp. 463–468.

ICML-2015-ZhuSG #memory management #recursion

Long Short-Term Memory Over Recursive Structures (XDZ, PS, HG), pp. 1604–1612.

RecSys-2015-JannachLJ #adaptation #evaluation #recommendation

Adaptation and Evaluation of Recommendations for Short-term Shopping Goals (DJ, LL, MJ), pp. 211–218.

SIGIR-2015-AzarbonyadDMK

Time-Aware Authorship Attribution for Short Text Streams (HA, MD, MM, JK), pp. 727–730.

SIGIR-2015-SeverynM #learning #network #rank

Learning to Rank Short Text Pairs with Convolutional Deep Neural Networks (AS, AM), pp. 373–382.

DLT-2014-Berlinkov #algorithm #automaton #on the #problem

On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.

DLT-2014-DickyJ #finite #infinity #word

Embedding Finite and Infinite Words into Overlapping Tiles — (Short Paper) (AD, DJ), pp. 339–347.

DLT-2014-Gusev #automaton #random

Synchronizing Automata with Random Inputs — (Short Paper) (VVG), pp. 68–75.

DLT-2014-MarsaultS

Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.

DLT-2014-Sinya #automaton #finite #graph

Graph Spectral Properties of Deterministic Finite Automata — (Short Paper) (RS), pp. 76–83.

ICALP-v1-2014-Ben-SassonV #query

Short PCPs with Projection Queries (EBS, EV), pp. 163–173.

CHI-2014-VaishWCCB #crowdsourcing

Twitch crowdsourcing: crowd contributions in short bursts of time (RV, KW, JC, BC, MSB), pp. 3645–3654.

CIKM-2014-LuciaF #classification #knowledge-based #named #network

EgoCentric: Ego Networks for Knowledge-based Short Text Classification (WL, EF), pp. 1079–1088.

CIKM-2014-WangWLW #classification #concept #ranking

Concept-based Short Text Classification and Ranking (FW, ZW, ZL, JRW), pp. 1069–1078.

KDD-2014-YinW #approach #clustering #modelling #multi

A dirichlet multinomial mixture model-based approach for short text clustering (JY, JW), pp. 233–242.

KEOD-2014-Exman #named

Opinion-Ontologies — Short and Sharp (IE), pp. 454–458.

KR-2014-Herzig #logic

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).

MLDM-2014-OtteLK #memory management #network #pattern matching #pattern recognition #problem #recognition

Investigating Long Short-Term Memory Networks for Various Pattern Recognition Problems (SO, ML, DK), pp. 484–497.

GPCE-2014-GousetiPS #algebra #implementation

Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.

GPCE-2014-MaAZS #performance #product line #testing

Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.

GPCE-2014-SteindorferV #memory management #performance

Code specialization for memory efficient hash tries (short paper) (MJS, JJV), pp. 11–14.

ASPLOS-2014-ArulrajJL #hardware #memory management

Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.

HT-2013-WangQS #analysis #realtime #social #twitter

Reading tweeting minds: real-time analysis of short text for computational social science (ZW, DQ, DÓS), pp. 169–173.

VLDB-2013-Elmeleegy #named #optimisation

Piranha: Optimizing Short Jobs in Hadoop (KE), pp. 985–996.

PEPM-2013-AktemurKKS #challenge #generative #programming

Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.

STOC-2013-ElkinS

Optimal euclidean spanners: really short, thin and lanky (ME, SS), pp. 645–654.

ICALP-v1-2013-BrunschR #algorithm

Finding Short Paths on Polytopes by the Shadow Vertex Algorithm (TB, HR), pp. 279–290.

ICFP-2013-Morihata #parallel #theorem

A short cut to parallelization theorems (AM), pp. 245–256.

CIKM-2013-ShirakawaNHN #metric #probability #semantics #similarity #using #wiki

Probabilistic semantic similarity measurements for noisy short texts using Wikipedia entities (MS, KN, TH, SN), pp. 903–908.

CIKM-2013-ZhangJSCDZ #classification #detection

Short text classification by detecting information path (SZ, XJ, DS, BC, XD, XZ), pp. 727–732.

ECIR-2013-PatilDV #concept

Leveraging Latent Concepts for Retrieving Relevant Ads for Short Text (AP, KSD, VV), pp. 780–783.

SIGIR-2013-BonzaniniMR #summary

Extractive summarisation via sentence removal: condensing relevant sentences into a short summary (MB, MMA, TR), pp. 893–896.

TLCA-2013-Breuvart #relational #λ-calculus

The Resource λ Calculus Is Short-Sighted in Its Relational Model (FB), pp. 93–108.

HT-2012-KlienS #analysis #network

Short links under attack: geographical analysis of spam in a URL shortener network (FK, MS), pp. 83–88.

STOC-2012-HrubesT #proving

Short proofs for the determinant identities (PH, IT), pp. 193–212.

SFM-2012-Selic #uml

The Less Well Known UML — A Short User Guide (BS), pp. 1–20.

CHI-2012-WooL #named #smarttech #tool support

Clipoid: an augmentable short-distance wireless toolkit for “accidentally smart home” environments (JbW, YKL), pp. 1751–1754.

CIKM-2012-LongCZZ #classification #named #using

TCSST: transfer classification of short & sparse text using external data (GL, LC, XZ, CZ), pp. 764–772.

CIKM-2012-QureshiOP #n-gram #using #wiki

Short-text domain specific key terms/phrases extraction using an n-gram model with wikipedia (MAQ, CO, GP), pp. 2515–2518.

CIKM-2012-YanGLCW #clustering #matrix #using

Clustering short text using Ncut-weighted non-negative matrix factorization (XY, JG, SL, XC, YW), pp. 2259–2262.

ECIR-2012-VitaleFS #classification #topic

Classification of Short Texts by Deploying Topical Annotations (DV, PF, US), pp. 376–387.

ICPR-2012-FrinkenZBBFB #memory management #modelling #network #recognition

Long-short term memory neural networks language modeling for handwriting recognition (VF, FZM, SEB, MJCB, AF, HB), pp. 701–704.

KDD-2012-TattiV #sequence

The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.

KDIR-2012-Timonen #categorisation #documentation

Categorization of Very Short Documents (MT), pp. 5–16.

KDIR-2012-TimonenTTCH #documentation #keyword

Informativeness-based Keyword Extraction from Short Documents (MT, TT, YT, CC, LH), pp. 411–421.

SIGIR-2012-BennettWCDBBC #behaviour #modelling #personalisation

Modeling the impact of short- and long-term behavior on search personalization (PNB, RWW, WC, STD, PB, FB, XC), pp. 185–194.

SIGIR-2012-EfronOF #documentation #retrieval

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

SIGIR-2012-Sun #classification #using #word

Short text classification using very few words (AS), pp. 1145–1146.

SIGIR-2012-YangCZY #collaboration #mining

Collaborative filtering with short term preferences mining (DY, TC, WZ, YY), pp. 1043–1044.

LICS-2012-MullerT #random

Short Propositional Refutations for Dense Random 3CNF Formulas (SM, IT), pp. 501–510.

ICDAR-2011-JiangDLW #algorithm #markov #novel #segmentation #string #using

A Novel Short Merged Off-line Handwritten Chinese Character String Segmentation Algorithm Using Hidden Markov Model (ZJ, XD, CL, YW), pp. 668–672.

ITiCSE-2011-KleinKT #analysis #assessment #automation #semantics #using

Automated assessment of short free-text responses in computer science using latent semantic analysis (RK, AK, MT), pp. 158–162.

DLT-2011-CherubiniFP #word

Short 3-Collapsing Words over a 2-Letter Alphabet (AC, AF, BP), pp. 469–471.

LATA-2011-Leroux #problem #proving #reachability #self

Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.

SEFM-2011-Boender #component #performance

Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.

CHI-2011-Monroy-HernandezHGb #automation #community #how #online

Computers can’t give credit: how automatic attribution falls short in an online remixing community (AMH, BMH, JGR, DB), pp. 3421–3430.

HCI-UA-2011-MiyagiKJSI #modelling

Proposal of an Office Work Productivity Model Based on Short Pauses in Mental Tasks (KM, SK, HZJ, HS, HI), pp. 403–412.

ICEIS-v2-2011-BadarudinSSMM #algorithm #memory management #problem #representation #search-based

An Improved Genetic Algorithm with Gene Value Representation and Short Term Memory for Shape Assignment Problem (IB, ABMS, MNS, AM, MTMM), pp. 178–183.

CIKM-2011-JinLZYY #clustering #topic

Transferring topical knowledge from auxiliary long texts for short text clustering (OJ, NNL, KZ, YY, QY), pp. 775–784.

KEOD-2011-YanZR #design #distance #semantics

An Application of Semantic Distance between Short Texts to Inventive Design (WY, CZM, FR), pp. 261–266.

RecSys-2011-LiZL #integration #named #personalisation #recommendation

LOGO: a long-short user interest integration in personalized news recommendation (LL, LZ, TL), pp. 317–320.

SIGIR-2011-SunWY #classification #effectiveness #towards

Towards effective short text deep classification (XS, HW, YY), pp. 1143–1144.

POPL-2011-Leroux #problem #proving #reachability #self

Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.

CC-2011-HenrettySPFRS #architecture #layout

Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.

ISMM-2011-AignerHKLSSU #memory management #self

Short-term memory for self-collecting mutators (MA, AH, CMK, ML, AS, SS, AU), pp. 99–108.

LATA-2010-Ehlers #automaton

Short Witnesses and Accepting Lassos in ω-Automata (RE), pp. 261–272.

CHI-2010-ChenNNBC #recommendation #twitter

Short and tweet: experiments on recommending content from information streams (JC, RN, LN, MSB, EHC), pp. 1185–1194.

CIKM-2010-AjmeraKLMP #corpus #parallel #web

Alignment of short length parallel corpora with an application to web search (JA, HSK, KPL, SM, MP), pp. 1477–1480.

CIKM-2010-FerraginaS #named #on the fly #wiki

TAGME: on-the-fly annotation of short text fragments (by wikipedia entities) (PF, US), pp. 1625–1628.

CIKM-2010-WhiteBD #predict #using

Predicting short-term interests using activity-based search context (RWW, PNB, STD), pp. 1009–1018.

ECIR-2010-GottronL #comparison #identification

A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.

ECIR-2010-InchesCC #documentation #online #statistics

Statistics of Online User-Generated Short Documents (GI, MJC, FC), pp. 649–652.

ICPR-2010-BourlaiKRCH #verification

Cross-Spectral Face Verification in the Short Wave Infrared (SWIR) Band (TB, NDK, AR, BC, LH), pp. 1343–1347.

ICPR-2010-StadelmannF #recognition

Dimension-Decoupled Gaussian Mixture Model for Short Utterance Speaker Recognition (TS, BF), pp. 1602–1605.

KDD-2010-XiangYZCZYS #graph #recommendation

Temporal recommendation on graphs via long- and short-term preference fusion (LX, QY, SZ, LC, XZ, QY, JS), pp. 723–732.

SEKE-2010-Wang10a

Temporal Filter: A Temporal Extension to Wireshark Display Filter (Short Paper) (SW), pp. 421–424.

SIGIR-2010-LevelingJ #query

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

SIGIR-2010-SriramFDFD #classification #information management #twitter

Short text classification in twitter to improve information filtering (BS, DF, ED, HF, MD), pp. 841–842.

ICDAR-2009-BoubakerKA #algorithm #detection

New Algorithm of Straight or Curved Baseline Detection for Short Arabic Handwritten Writing (HB, MK, AMA), pp. 778–782.

STOC-2009-Ta-Shma #quantum

Short seed extractors against quantum storage (ATS), pp. 401–408.

CIAA-2009-GruberHT #automaton #empirical #finite #regular expression

Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.

CIKM-2009-HuSZC #clustering #semantics #using

Exploiting internal and external semantics for the clustering of short texts using world knowledge (XH, NS, CZ, TSC), pp. 919–928.

STOC-2008-GamaN #difference

Finding short lattice vectors within mordell’s inequality (NG, PQN), pp. 207–216.

CHI-2008-GillGFO #rating

Emotion rating from short blog texts (AJG, DG, RMF, JO), pp. 1121–1124.

CSCW-2008-GillFGO

The language of emotion in short blog texts (AJG, RMF, DG, JO), pp. 299–302.

CIKM-2008-LiuBP #categorisation

Categorizing blogger’s interests based on short snippets of blog posts (JL, LB, BP), pp. 1525–1526.

ICPR-2008-CarulloBGL #clustering #documentation #web

Clustering of short commercial documents for the web (MC, EB, IG, NL), pp. 1–4.

BX-2008-Axelsen

Languages Short Talk 2 (HBA), p. 2.

BX-2008-Bezivin #modelling

Models and Transformations Short Talk 1 (JB), p. 22.

BX-2008-Cunha

Languages and Applications Short Talk 6 (JC), p. 13.

BX-2008-Czarnecki #modelling

Models Short Talk 5 (KC), p. 19.

BX-2008-Diskin #modelling

Models Short Talk 6 (ZD), p. 20.

BX-2008-Fischer #modelling

Models Short Talk 2 (BF), p. 16.

BX-2008-Fisher

Languages and Applications Short Talk 5 (KF), p. 12.

BX-2008-Foster

Languages Short Talk 7 (NF), p. 7.

BX-2008-Glueck

Languages Short Talk 1 (RG), p. 1.

BX-2008-Hidaka #modelling

Models Short Talk 7 (SH), p. 21.

BX-2008-Hu

Languages Short Talk 6 (ZH), p. 6.

BX-2008-Kato

Languages and Applications Short Talk 7 (HK), p. 14.

BX-2008-Laemmel

Languages and Applications Short Talk 3 (RL), p. 10.

BX-2008-Lutterkort

Languages and Applications Short Talk 4 (DL), p. 11.

BX-2008-Matsuda

Languages Short Talk 3 (KM), p. 3.

BX-2008-Mu

Languages and Applications Short Talk 1 (SCM), p. 8.

BX-2008-Nakano

Languages Short Talk 4 (KN), p. 4.

BX-2008-Pierantonio #modelling

Models Short Talk 3 (AP), p. 17.

BX-2008-Razavi #modelling

Models Short Talk 4 (AR), p. 18.

BX-2008-Ruscio #modelling

Models and Transformations Short Talk 2 (DDR), p. 23.

BX-2008-Schuerr #modelling

Models Short Talk 1 (AS), p. 15.

BX-2008-Song #modelling

Models and Transformations Short Talk 6 (HS), p. 27.

BX-2008-Terwilliger #modelling

Models and Transformations Short Talk 5 (JT), p. 26.

BX-2008-Vallecillo #modelling

Models and Transformations Short Talk 3 (AV), p. 24.

BX-2008-Voigtlaender

Languages and Applications Short Talk 2 (JV), p. 9.

BX-2008-Wang

Languages Short Talk 5 (MW), p. 5.

BX-2008-Wasowski #modelling

Models and Transformations Short Talk 4 (AW), p. 25.

BX-2008-Xiong #modelling

Models and Transformations Short Talk 7 (YX), p. 28.

ASPLOS-2008-ChoiPT #branch #predict #thread

Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.

CAV-2008-KashyapG #using

Producing Short Counterexamples Using “Crucial Events” (SK, VKG), pp. 491–503.

CASE-2007-HablaDMPE

A Short-Term Forecast Method for Demand Quantities in Semiconductor Manufacturing (CH, RD, LM, TP, HE), pp. 94–99.

ICDAR-2007-ProchassonVM #modelling

Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.

CSEET-2007-JanzenTS #empirical #industrial #re-engineering

Empirical Software Engineering in Industry Short Courses (DJ, CST, HS), pp. 89–96.

FASE-2007-RatzingerPG #evolution #fault #named #predict

EQ-Mine: Predicting Short-Term Defects for Software Evolution (JR, MP, HCG), pp. 12–26.

ICALP-2007-FurukawaA #black box #encryption

Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys (JF, NA), pp. 496–508.

HIMI-IIE-2007-MaILJ

Use of Chinese Short Messages (DM, FI, YL, LJ), pp. 582–591.

ICEIS-DISI-2007-DangelmaierRHBKDT #information management #named #reliability

OOPUS — a production planning information system to assure high delivery reliability under short-term demand changes and production disturbances (WD, TR, TH, DB, DK, AD, TT), pp. 423–432.

CIKM-2007-CormackHS

Spam filtering for short messages (GVC, JMGH, EPS), pp. 313–320.

ECIR-2007-MetzlerDM #metric #similarity

Similarity Measures for Short Segments of Text (DM, STD, CM), pp. 16–27.

SIGIR-2007-BanerjeeRG #clustering #using #wiki

Clustering short texts using wikipedia (SB, KR, AG), pp. 787–788.

SAT-2007-GomesHSS #theory and practice

Short XORs for Model Counting: From Theory to Practice (CPG, JH, AS, BS), pp. 100–106.

ECIR-2006-ZhangDC #detection

Combining Short and Long Term Audio Features for TV Sports Highlight Detection (BZ, WD, LC), pp. 472–475.

ICPR-v1-2006-Morita #3d #image #memory management

Three Dimensional Short-term Memory Image (SM), pp. 1226–1230.

ICPR-v4-2006-Onoguchi #correlation #detection #using

Moving Object Detection Using a Cross Correlation between a Short Accumulated Histogram and a Long Accumulated Histogram (KO), pp. 896–899.

HPDC-2006-BrunetAN #network #optimisation

Short Paper : Dynamic Optimization of Communications over High Speed Networks (EB, OA, RN), pp. 345–346.

HPDC-2006-CicottiB #programming

Short Paper: Asynchronous programming with Tarragon (PC, SBB), pp. 375–376.

WICSA-2005-KnodelLM #architecture #evaluation #summary

Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.

WICSA-2005-PoortAKW #architecture

Successful Architecture for Short Message Service Center (ERP, HA, AK, PHNdW), pp. 299–300.

CIAA-2005-MoraisMR #automaton #regular expression

Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.

ICALP-2005-KaoSS #design #performance #random #word

Randomized Fast Design of Short DNA Words (MYK, MS, RTS), pp. 1275–1286.

ICFP-2005-GhaniJUV #monad

Monadic augment and generalised short cut fusion (NG, PJ, TU, VV), pp. 294–305.

KDD-2005-PowersGC #enterprise #performance

Short term performance forecasting in enterprise systems (RP, MG, IC), pp. 801–807.

SIGIR-2005-Krishnan #modelling

Short comings of latent models in supervised settings (VK), pp. 625–626.

ITiCSE-2004-Lopez-HerrejonS #case study #experience #interactive #java #using

Using interactive technology in a short java course: an experience report (RELH, MS), pp. 203–207.

ICPR-v2-2004-Olson #clustering

Pose Clustering Guided by Short Interpretation Trees (CFO), pp. 149–152.

ICPR-v3-2004-YuanTR #performance #robust #scalability #video

Fast and Robust Search Method for Short Video Clips from Large Video Collection (JY, QT, SR), pp. 866–869.

STOC-2003-Ben-SassonSVW #testing

Randomness-efficient low degree tests and short PCPs via epsilon-biased sets (EBS, MS, SPV, AW), pp. 612–621.

STOC-2003-KowalikK #constant #graph #query

Short path queries in planar graphs in constant time (LK, MK), pp. 143–148.

ICEIS-v4-2003-AndreouMLCPSS #development #e-commerce #process

E-Commerce Engineering: A Short vs. Long Software Process for the Development of E-Commerce Applications (ASA, SM, CL, CC, AP, GS, CS), pp. 10–20.

CADE-2003-Nivelle #axiom #first-order #proving

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.

ICPR-v3-2002-KawanoYKH #integration #recognition

Integration of Pose Recognition for a Person Wearing Short or Long Sleeves (TK, KY, KK, HH), pp. 1023–1026.

KDD-2002-LinLCY #data mining #database #distributed #mining #transaction

Distributed data mining in a chain store database of short transactions (CRL, CHL, MSC, PSY), pp. 576–581.

SAC-2002-Sankoff #clustering

Short inversions and conserved gene clusters (DS), pp. 164–167.

DATE-2001-Al-ArsG #array #behaviour #embedded #memory management

Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.

DLT-2001-Thomas #automaton #infinity

A Short Introduction to Infinite Automata (WT), pp. 130–144.

SAIG-2001-Johann

Short Cut Fusion: Proved and Improved (PJ), pp. 47–71.

IJCAR-2001-EglyS #composition #proving #source code

Deriving Modular Programs from Short Proofs (UE, SS), pp. 561–577.

CSEET-2000-Smith #development

Achieving Organizational Training Objectives with Short Course Development (CS), pp. 32–38.

WCRE-2000-HoltW

A Short Introduction to the GXL Software Exchange Format (RCH, AW), p. 299–?.

STOC-2000-Boneh #integer #using

Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.

ICALP-2000-AielloBOR #performance #proving #verification

Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP (WA, SNB, RO, SR), pp. 463–474.

ICML-2000-ZelikovitzH #classification #problem #using

Improving Short-Text Classification using Unlabeled Data for Classification Problems (SZ, HH), pp. 1191–1198.

ICPR-v2-2000-JainJV #experience #network #using

Short-Term Water Demand Forecasting Using Artificial Neural Networks: IIT Kanpur Experience (AJ, UCJ, AKV), pp. 2459–2462.

ICPR-v3-2000-SroubekFSS #image #multi

Multichannel Blind Deconvolution of the Short-Exposure Astronomical Images (FS, JF, TS, SS), pp. 3053–3056.

ICPR-v4-2000-LaiLCCW #pattern matching #pattern recognition #recognition

Pattern Recognition of Radar Echoes for Short-Range Rainfall Forecast (ESTL, PWL, CMC, MCC, WHW), pp. 4299–4302.

STOC-1999-Ben-SassonW #proving

Short Proofs are Narrow — Resolution Made Simple (EBS, AW), pp. 517–526.

STOC-1999-BlomerS #complexity #independence #on the

On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice (JB, JPS), pp. 711–720.

ICALP-1999-Ajtai #generative #problem

Generating Hard Instances of the Short Basis Problem (MA), pp. 1–9.

ICFP-1999-Chitil #deforestation #type inference

Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.

IFL-1999-Chitil #deforestation

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.

AGTIVE-1999-DrewesK #named

TREEBAG — a Short Presentation (FD, PK), pp. 411–417.

SIGIR-1999-LimaP #query #recognition

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

DATE-1998-Rodriguez-MontanesF #estimation

Estimation of the Defective IDDQ Caused by Shorts in Deep-Submicron CMOS ICs (RRM, JF), pp. 490–494.

SIGIR-1998-KwokC #ad hoc #query #retrieval

Improving Two-Stage Ad-Hoc Retrieval for Short Queries (KLK, MC), pp. 250–256.

EDTC-1997-SousaC

Improved diagnosis of realistic interconnect shorts (JTdS, PYKC), pp. 501–505.

STOC-1997-FeigeK #game studies

Making Games Short (Extended Abstract) (UF, JK), pp. 506–516.

ICALP-1997-ErdosSSW #sequence

Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.

ICPR-1996-HeikkilaS #off the shelf

Calibration procedure for short focal length off-the-shelf CCD cameras (JH, OS), pp. 166–170.

STOC-1995-AryaDMSS

Euclidean spanners: short, thin, and lanky (SA, GD, DMM, JSS, MHMS), pp. 489–498.

STOC-1995-GalilY #theorem

Short length versions of Menger’s theorem (Extended Abstract) (ZG, XY), pp. 499–508.

STOC-1995-RaghavanU #probability

Stochastic contention resolution with short delays (PR, EU), pp. 229–237.

ICALP-1995-BermondGRV #performance

Fast Gossiping by Short Messages (JCB, LG, AAR, UV), pp. 135–146.

ICALP-1995-NikoletseasRSY #graph #memory management #probability

Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time (SEN, JHR, PGS, MY), pp. 159–170.

EDAC-1994-McGowenF #case study #detection

A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.

ICALP-1994-NikolestseasPSY #graph #multi #network #random #reliability

Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing (SEN, KVP, PGS, MY), pp. 508–519.

ILPS-1994-Cras #constraints #logic programming #using

Using Constraint Logic Programming in Services: A Few Short Tales (YC), pp. 3–16.

STOC-1993-BarnesF #graph #random

Short random walks on graphs (GB, UF), pp. 728–737.

FPCA-1993-GillLJ #deforestation

A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.

CSL-1993-BaazZ #equivalence #proving #using

Short Proofs of Tautologies Using the Schema of Equivalence (MB, RZ), pp. 33–35.

DAC-1992-ChengCDL #optimisation #performance

The Role of Long and Short Paths in Circuit Performance Optimization (SWC, HCC, DHCD, AL), pp. 543–548.

PLILP-1991-LegeardL #bibliography

Short Overview of the CLPS System (BL, EL), pp. 431–433.

CCHSC-1988-Assmann #bibliography #compilation

A Short Review of High Speed Compilation (WA), pp. 1–10.

LICS-1987-KfouryTU #functional #source code

The Hierarchy of Finitely Typed Functional Programs (Short Version) (AJK, JT, PU), pp. 225–235.

DAC-1986-NavedaCD #approach #multi

A new approach to multi-layer PCB routing with short vias (JFN, KCC, DHCD), pp. 696–701.

DAC-1983-Acken #fault #testing

Testing for bridging faults (shorts) in CMOS circuits (JMA), pp. 717–718.

ICALP-1980-EhrigKTWW #algebra #data type #specification

Parameterized Data Types in Algebraic Specification Languages (Short Version) (HE, HJK, JWT, EGW, JBW), pp. 157–168.

STOC-1972-WalkerS #recursion

Characterization of Flowchartable Recursions (Short Version) (SAW, HRS), pp. 18–34.

SOSP-1971-Hansen #multi #scheduling

Short Term Scheduling in Multiprogramming Systems (PBH), pp. 101–105.