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:
text (29)
talk (28)
model (25)
term (21)
languag (21)

Stem short$ (all stems)

200 papers:

HTHT-2015-Orellana-Rodriguez #mining #recommendation
Mining Affective Context in Short Films for Emotion-Aware Recommendation (COR, EDA, WN), pp. 185–194.
PLDIPLDI-2015-LongfieldNMT #self #specification
Preventing glitches and short circuits in high-level self-timed chip specifications (SLJ, BN, RM, RT), pp. 270–279.
ICALPICALP-v2-2015-AisenbergBBCI #principle #proving
Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.
HCIHCI-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.
HCILCT-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.
ICEISICEIS-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.
ICMLICML-2015-ZhuSG #memory management #recursion
Long Short-Term Memory Over Recursive Structures (XDZ, PS, HG), pp. 1604–1612.
RecSysRecSys-2015-JannachLJ #adaptation #evaluation #recommendation
Adaptation and Evaluation of Recommendations for Short-term Shopping Goals (DJ, LL, MJ), pp. 211–218.
SIGIRSIGIR-2015-AzarbonyadDMK
Time-Aware Authorship Attribution for Short Text Streams (HA, MD, MM, JK), pp. 727–730.
SIGIRSIGIR-2015-SeverynM #learning #network #rank
Learning to Rank Short Text Pairs with Convolutional Deep Neural Networks (AS, AM), pp. 373–382.
DLTDLT-2014-Berlinkov #algorithm #automaton #on the #problem
On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
DLTDLT-2014-DickyJ #finite #infinity #word
Embedding Finite and Infinite Words into Overlapping Tiles — (Short Paper) (AD, DJ), pp. 339–347.
DLTDLT-2014-Gusev #automaton #random
Synchronizing Automata with Random Inputs — (Short Paper) (VVG), pp. 68–75.
DLTDLT-2014-MarsaultS
Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.
DLTDLT-2014-Sinya #automaton #finite #graph
Graph Spectral Properties of Deterministic Finite Automata — (Short Paper) (RS), pp. 76–83.
ICALPICALP-v1-2014-Ben-SassonV #query
Short PCPs with Projection Queries (EBS, EV), pp. 163–173.
CHICHI-2014-VaishWCCB #crowdsourcing
Twitch crowdsourcing: crowd contributions in short bursts of time (RV, KW, JC, BC, MSB), pp. 3645–3654.
CIKMCIKM-2014-LuciaF #classification #knowledge-based #named #network
EgoCentric: Ego Networks for Knowledge-based Short Text Classification (WL, EF), pp. 1079–1088.
CIKMCIKM-2014-WangWLW #classification #concept #ranking
Concept-based Short Text Classification and Ranking (FW, ZW, ZL, JRW), pp. 1069–1078.
KDDKDD-2014-YinW #approach #clustering #modelling #multi
A dirichlet multinomial mixture model-based approach for short text clustering (JY, JW), pp. 233–242.
KEODKEOD-2014-Exman #named
Opinion-Ontologies — Short and Sharp (IE), pp. 454–458.
KRKR-2014-Herzig #logic
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).
MLDMMLDM-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.
GPCEGPCE-2014-GousetiPS #algebra #implementation
Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.
GPCEGPCE-2014-MaAZS #performance #product line #testing
Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
GPCEGPCE-2014-SteindorferV #memory management #performance
Code specialization for memory efficient hash tries (short paper) (MJS, JJV), pp. 11–14.
ASPLOSASPLOS-2014-ArulrajJL #hardware #memory management
Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
HTHT-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.
VLDBVLDB-2013-Elmeleegy #named #optimisation
Piranha: Optimizing Short Jobs in Hadoop (KE), pp. 985–996.
PEPMPEPM-2013-AktemurKKS #challenge #generative #programming
Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
STOCSTOC-2013-ElkinS
Optimal euclidean spanners: really short, thin and lanky (ME, SS), pp. 645–654.
ICALPICALP-v1-2013-BrunschR #algorithm
Finding Short Paths on Polytopes by the Shadow Vertex Algorithm (TB, HR), pp. 279–290.
ICFPICFP-2013-Morihata #parallel #theorem
A short cut to parallelization theorems (AM), pp. 245–256.
CIKMCIKM-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.
CIKMCIKM-2013-ZhangJSCDZ #classification #detection
Short text classification by detecting information path (SZ, XJ, DS, BC, XD, XZ), pp. 727–732.
ECIRECIR-2013-PatilDV #concept
Leveraging Latent Concepts for Retrieving Relevant Ads for Short Text (AP, KSD, VV), pp. 780–783.
SIGIRSIGIR-2013-BonzaniniMR #summary
Extractive summarisation via sentence removal: condensing relevant sentences into a short summary (MB, MMA, TR), pp. 893–896.
TLCATLCA-2013-Breuvart #relational #λ-calculus
The Resource λ Calculus Is Short-Sighted in Its Relational Model (FB), pp. 93–108.
HTHT-2012-KlienS #analysis #network
Short links under attack: geographical analysis of spam in a URL shortener network (FK, MS), pp. 83–88.
STOCSTOC-2012-HrubesT #proving
Short proofs for the determinant identities (PH, IT), pp. 193–212.
SFMSFM-2012-Selic #uml
The Less Well Known UML — A Short User Guide (BS), pp. 1–20.
CHICHI-2012-WooL #named #smarttech #tool support
Clipoid: an augmentable short-distance wireless toolkit for “accidentally smart home” environments (JbW, YKL), pp. 1751–1754.
CIKMCIKM-2012-LongCZZ #classification #named #using
TCSST: transfer classification of short & sparse text using external data (GL, LC, XZ, CZ), pp. 764–772.
CIKMCIKM-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.
CIKMCIKM-2012-YanGLCW #clustering #matrix #using
Clustering short text using Ncut-weighted non-negative matrix factorization (XY, JG, SL, XC, YW), pp. 2259–2262.
ECIRECIR-2012-VitaleFS #classification #topic
Classification of Short Texts by Deploying Topical Annotations (DV, PF, US), pp. 376–387.
ICPRICPR-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.
KDDKDD-2012-TattiV #sequence
The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.
KDIRKDIR-2012-Timonen #categorisation #documentation
Categorization of Very Short Documents (MT), pp. 5–16.
KDIRKDIR-2012-TimonenTTCH #documentation #keyword
Informativeness-based Keyword Extraction from Short Documents (MT, TT, YT, CC, LH), pp. 411–421.
SIGIRSIGIR-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.
SIGIRSIGIR-2012-EfronOF #documentation #retrieval
Improving retrieval of short texts through document expansion (ME, PO, KF), pp. 911–920.
SIGIRSIGIR-2012-Sun #classification #using #word
Short text classification using very few words (AS), pp. 1145–1146.
SIGIRSIGIR-2012-YangCZY #collaboration #mining
Collaborative filtering with short term preferences mining (DY, TC, WZ, YY), pp. 1043–1044.
LICSLICS-2012-MullerT #random
Short Propositional Refutations for Dense Random 3CNF Formulas (SM, IT), pp. 501–510.
ICDARICDAR-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.
ITiCSEITiCSE-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.
DLTDLT-2011-CherubiniFP #word
Short 3-Collapsing Words over a 2-Letter Alphabet (AC, AF, BP), pp. 469–471.
LATALATA-2011-Leroux #problem #proving #reachability #self
Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
SEFMSEFM-2011-Boender #component #performance
Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.
CHICHI-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.
HCIHCI-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.
ICEISICEIS-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.
CIKMCIKM-2011-JinLZYY #clustering #topic
Transferring topical knowledge from auxiliary long texts for short text clustering (OJ, NNL, KZ, YY, QY), pp. 775–784.
KEODKEOD-2011-YanZR #design #distance #semantics
An Application of Semantic Distance between Short Texts to Inventive Design (WY, CZM, FR), pp. 261–266.
RecSysRecSys-2011-LiZL #integration #named #personalisation #recommendation
LOGO: a long-short user interest integration in personalized news recommendation (LL, LZ, TL), pp. 317–320.
SIGIRSIGIR-2011-SunWY #classification #effectiveness #towards
Towards effective short text deep classification (XS, HW, YY), pp. 1143–1144.
POPLPOPL-2011-Leroux #problem #proving #reachability #self
Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
CCCC-2011-HenrettySPFRS #architecture #layout
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.
ISMMISMM-2011-AignerHKLSSU #memory management #self
Short-term memory for self-collecting mutators (MA, AH, CMK, ML, AS, SS, AU), pp. 99–108.
LATALATA-2010-Ehlers #automaton
Short Witnesses and Accepting Lassos in ω-Automata (RE), pp. 261–272.
CHICHI-2010-ChenNNBC #recommendation #twitter
Short and tweet: experiments on recommending content from information streams (JC, RN, LN, MSB, EHC), pp. 1185–1194.
CIKMCIKM-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.
CIKMCIKM-2010-FerraginaS #named #on the fly #wiki
TAGME: on-the-fly annotation of short text fragments (by wikipedia entities) (PF, US), pp. 1625–1628.
CIKMCIKM-2010-WhiteBD #predict #using
Predicting short-term interests using activity-based search context (RWW, PNB, STD), pp. 1009–1018.
ECIRECIR-2010-GottronL #comparison #identification
A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.
ECIRECIR-2010-InchesCC #documentation #online #statistics
Statistics of Online User-Generated Short Documents (GI, MJC, FC), pp. 649–652.
ICPRICPR-2010-BourlaiKRCH #verification
Cross-Spectral Face Verification in the Short Wave Infrared (SWIR) Band (TB, NDK, AR, BC, LH), pp. 1343–1347.
ICPRICPR-2010-StadelmannF #recognition
Dimension-Decoupled Gaussian Mixture Model for Short Utterance Speaker Recognition (TS, BF), pp. 1602–1605.
KDDKDD-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.
SEKESEKE-2010-Wang10a
Temporal Filter: A Temporal Extension to Wireshark Display Filter (Short Paper) (SW), pp. 421–424.
SIGIRSIGIR-2010-LevelingJ #query
Query recovery of short user queries: on query expansion with stopwords (JL, GJFJ), pp. 733–734.
SIGIRSIGIR-2010-SriramFDFD #classification #information management #twitter
Short text classification in twitter to improve information filtering (BS, DF, ED, HF, MD), pp. 841–842.
ICDARICDAR-2009-BoubakerKA #algorithm #detection
New Algorithm of Straight or Curved Baseline Detection for Short Arabic Handwritten Writing (HB, MK, AMA), pp. 778–782.
STOCSTOC-2009-Ta-Shma #quantum
Short seed extractors against quantum storage (ATS), pp. 401–408.
CIAACIAA-2009-GruberHT #automaton #empirical #finite #regular expression
Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.
CIKMCIKM-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.
STOCSTOC-2008-GamaN #difference
Finding short lattice vectors within mordell’s inequality (NG, PQN), pp. 207–216.
CHICHI-2008-GillGFO #rating
Emotion rating from short blog texts (AJG, DG, RMF, JO), pp. 1121–1124.
CSCWCSCW-2008-GillFGO
The language of emotion in short blog texts (AJG, RMF, DG, JO), pp. 299–302.
CIKMCIKM-2008-LiuBP #categorisation
Categorizing blogger’s interests based on short snippets of blog posts (JL, LB, BP), pp. 1525–1526.
ICPRICPR-2008-CarulloBGL #clustering #documentation #web
Clustering of short commercial documents for the web (MC, EB, IG, NL), pp. 1–4.
BXBX-2008-Axelsen
Languages Short Talk 2 (HBA), p. 2.
BXBX-2008-Bezivin #modelling
Models and Transformations Short Talk 1 (JB), p. 22.
BXBX-2008-Cunha
Languages and Applications Short Talk 6 (JC), p. 13.
BXBX-2008-Czarnecki #modelling
Models Short Talk 5 (KC), p. 19.
BXBX-2008-Diskin #modelling
Models Short Talk 6 (ZD), p. 20.
BXBX-2008-Fischer #modelling
Models Short Talk 2 (BF), p. 16.
BXBX-2008-Fisher
Languages and Applications Short Talk 5 (KF), p. 12.
BXBX-2008-Foster
Languages Short Talk 7 (NF), p. 7.
BXBX-2008-Glueck
Languages Short Talk 1 (RG), p. 1.
BXBX-2008-Hidaka #modelling
Models Short Talk 7 (SH), p. 21.
BXBX-2008-Hu
Languages Short Talk 6 (ZH), p. 6.
BXBX-2008-Kato
Languages and Applications Short Talk 7 (HK), p. 14.
BXBX-2008-Laemmel
Languages and Applications Short Talk 3 (RL), p. 10.
BXBX-2008-Lutterkort
Languages and Applications Short Talk 4 (DL), p. 11.
BXBX-2008-Matsuda
Languages Short Talk 3 (KM), p. 3.
BXBX-2008-Mu
Languages and Applications Short Talk 1 (SCM), p. 8.
BXBX-2008-Nakano
Languages Short Talk 4 (KN), p. 4.
BXBX-2008-Pierantonio #modelling
Models Short Talk 3 (AP), p. 17.
BXBX-2008-Razavi #modelling
Models Short Talk 4 (AR), p. 18.
BXBX-2008-Ruscio #modelling
Models and Transformations Short Talk 2 (DDR), p. 23.
BXBX-2008-Schuerr #modelling
Models Short Talk 1 (AS), p. 15.
BXBX-2008-Song #modelling
Models and Transformations Short Talk 6 (HS), p. 27.
BXBX-2008-Terwilliger #modelling
Models and Transformations Short Talk 5 (JT), p. 26.
BXBX-2008-Vallecillo #modelling
Models and Transformations Short Talk 3 (AV), p. 24.
BXBX-2008-Voigtlaender
Languages and Applications Short Talk 2 (JV), p. 9.
BXBX-2008-Wang
Languages Short Talk 5 (MW), p. 5.
BXBX-2008-Wasowski #modelling
Models and Transformations Short Talk 4 (AW), p. 25.
BXBX-2008-Xiong #modelling
Models and Transformations Short Talk 7 (YX), p. 28.
ASPLOSASPLOS-2008-ChoiPT #branch #predict #thread
Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.
CAVCAV-2008-KashyapG #using
Producing Short Counterexamples Using “Crucial Events” (SK, VKG), pp. 491–503.
CASECASE-2007-HablaDMPE
A Short-Term Forecast Method for Demand Quantities in Semiconductor Manufacturing (CH, RD, LM, TP, HE), pp. 94–99.
ICDARICDAR-2007-ProchassonVM #modelling
Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.
CSEETCSEET-2007-JanzenTS #empirical #industrial #re-engineering
Empirical Software Engineering in Industry Short Courses (DJ, CST, HS), pp. 89–96.
FASEFASE-2007-RatzingerPG #evolution #fault #named #predict
EQ-Mine: Predicting Short-Term Defects for Software Evolution (JR, MP, HCG), pp. 12–26.
ICALPICALP-2007-FurukawaA #black box #encryption
Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys (JF, NA), pp. 496–508.
HCIHIMI-IIE-2007-MaILJ
Use of Chinese Short Messages (DM, FI, YL, LJ), pp. 582–591.
ICEISICEIS-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.
CIKMCIKM-2007-CormackHS
Spam filtering for short messages (GVC, JMGH, EPS), pp. 313–320.
ECIRECIR-2007-MetzlerDM #metric #similarity
Similarity Measures for Short Segments of Text (DM, STD, CM), pp. 16–27.
SIGIRSIGIR-2007-BanerjeeRG #clustering #using #wiki
Clustering short texts using wikipedia (SB, KR, AG), pp. 787–788.
ICSTSAT-2007-GomesHSS #theory and practice
Short XORs for Model Counting: From Theory to Practice (CPG, JH, AS, BS), pp. 100–106.
ECIRECIR-2006-ZhangDC #detection
Combining Short and Long Term Audio Features for TV Sports Highlight Detection (BZ, WD, LC), pp. 472–475.
ICPRICPR-v1-2006-Morita #3d #image #memory management
Three Dimensional Short-term Memory Image (SM), pp. 1226–1230.
ICPRICPR-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.
HPDCHPDC-2006-BrunetAN #network #optimisation
Short Paper : Dynamic Optimization of Communications over High Speed Networks (EB, OA, RN), pp. 345–346.
HPDCHPDC-2006-CicottiB #programming
Short Paper: Asynchronous programming with Tarragon (PC, SBB), pp. 375–376.
WICSAWICSA-2005-KnodelLM #architecture #evaluation #summary
Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.
WICSAWICSA-2005-PoortAKW #architecture
Successful Architecture for Short Message Service Center (ERP, HA, AK, PHNdW), pp. 299–300.
CIAACIAA-2005-MoraisMR #automaton #regular expression
Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.
ICALPICALP-2005-KaoSS #design #performance #random #word
Randomized Fast Design of Short DNA Words (MYK, MS, RTS), pp. 1275–1286.
ICFPICFP-2005-GhaniJUV #monad
Monadic augment and generalised short cut fusion (NG, PJ, TU, VV), pp. 294–305.
KDDKDD-2005-PowersGC #enterprise #performance
Short term performance forecasting in enterprise systems (RP, MG, IC), pp. 801–807.
SIGIRSIGIR-2005-Krishnan #modelling
Short comings of latent models in supervised settings (VK), pp. 625–626.
ITiCSEITiCSE-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.
ICPRICPR-v2-2004-Olson #clustering
Pose Clustering Guided by Short Interpretation Trees (CFO), pp. 149–152.
ICPRICPR-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.
STOCSTOC-2003-Ben-SassonSVW #testing
Randomness-efficient low degree tests and short PCPs via epsilon-biased sets (EBS, MS, SPV, AW), pp. 612–621.
STOCSTOC-2003-KowalikK #constant #graph #query
Short path queries in planar graphs in constant time (LK, MK), pp. 143–148.
ICEISICEIS-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.
CADECADE-2003-Nivelle #axiom #first-order #proving
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.
ICPRICPR-v3-2002-KawanoYKH #integration #recognition
Integration of Pose Recognition for a Person Wearing Short or Long Sleeves (TK, KY, KK, HH), pp. 1023–1026.
KDDKDD-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.
SACSAC-2002-Sankoff #clustering
Short inversions and conserved gene clusters (DS), pp. 164–167.
DATEDATE-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.
DLTDLT-2001-Thomas #automaton #infinity
A Short Introduction to Infinite Automata (WT), pp. 130–144.
GPCESAIG-2001-Johann
Short Cut Fusion: Proved and Improved (PJ), pp. 47–71.
IJCARIJCAR-2001-EglyS #composition #proving #source code
Deriving Modular Programs from Short Proofs (UE, SS), pp. 561–577.
CSEETCSEET-2000-Smith #development
Achieving Organizational Training Objectives with Short Course Development (CS), pp. 32–38.
WCREWCRE-2000-HoltW
A Short Introduction to the GXL Software Exchange Format (RCH, AW), p. 299–?.
STOCSTOC-2000-Boneh #integer #using
Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.
ICALPICALP-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.
ICMLICML-2000-ZelikovitzH #classification #problem #using
Improving Short-Text Classification using Unlabeled Data for Classification Problems (SZ, HH), pp. 1191–1198.
ICPRICPR-v2-2000-JainJV #experience #network #using
Short-Term Water Demand Forecasting Using Artificial Neural Networks: IIT Kanpur Experience (AJ, UCJ, AKV), pp. 2459–2462.
ICPRICPR-v3-2000-SroubekFSS #image #multi
Multichannel Blind Deconvolution of the Short-Exposure Astronomical Images (FS, JF, TS, SS), pp. 3053–3056.
ICPRICPR-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.
STOCSTOC-1999-Ben-SassonW #proving
Short Proofs are Narrow — Resolution Made Simple (EBS, AW), pp. 517–526.
STOCSTOC-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.
ICALPICALP-1999-Ajtai #generative #problem
Generating Hard Instances of the Short Basis Problem (MA), pp. 1–9.
ICFPICFP-1999-Chitil #deforestation #type inference
Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
IFLIFL-1999-Chitil #deforestation
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
AGTIVEAGTIVE-1999-DrewesK #named
TREEBAG — a Short Presentation (FD, PK), pp. 411–417.
SIGIRSIGIR-1999-LimaP #query #recognition
Phrase Recognition and Expansion for Short, Precision-Biased Queries Based on a Query Log (EFdL, JOP), pp. 145–152.
DATEDATE-1998-Rodriguez-MontanesF #estimation
Estimation of the Defective IDDQ Caused by Shorts in Deep-Submicron CMOS ICs (RRM, JF), pp. 490–494.
SIGIRSIGIR-1998-KwokC #ad hoc #query #retrieval
Improving Two-Stage Ad-Hoc Retrieval for Short Queries (KLK, MC), pp. 250–256.
DATEEDTC-1997-SousaC
Improved diagnosis of realistic interconnect shorts (JTdS, PYKC), pp. 501–505.
STOCSTOC-1997-FeigeK #game studies
Making Games Short (Extended Abstract) (UF, JK), pp. 506–516.
ICALPICALP-1997-ErdosSSW #sequence
Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.
ICPRICPR-1996-HeikkilaS #off the shelf
Calibration procedure for short focal length off-the-shelf CCD cameras (JH, OS), pp. 166–170.
STOCSTOC-1995-AryaDMSS
Euclidean spanners: short, thin, and lanky (SA, GD, DMM, JSS, MHMS), pp. 489–498.
STOCSTOC-1995-GalilY #theorem
Short length versions of Menger’s theorem (Extended Abstract) (ZG, XY), pp. 499–508.
STOCSTOC-1995-RaghavanU #probability
Stochastic contention resolution with short delays (PR, EU), pp. 229–237.
ICALPICALP-1995-BermondGRV #performance
Fast Gossiping by Short Messages (JCB, LG, AAR, UV), pp. 135–146.
ICALPICALP-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.
DATEEDAC-1994-McGowenF #case study #detection
A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.
ICALPICALP-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.
ICLPILPS-1994-Cras #constraints #logic programming #using
Using Constraint Logic Programming in Services: A Few Short Tales (YC), pp. 3–16.
STOCSTOC-1993-BarnesF #graph #random
Short random walks on graphs (GB, UF), pp. 728–737.
FPCAFPCA-1993-GillLJ #deforestation
A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
CSLCSL-1993-BaazZ #equivalence #proving #using
Short Proofs of Tautologies Using the Schema of Equivalence (MB, RZ), pp. 33–35.
DACDAC-1992-ChengCDL #optimisation #performance
The Role of Long and Short Paths in Circuit Performance Optimization (SWC, HCC, DHCD, AL), pp. 543–548.
PPDPPLILP-1991-LegeardL #bibliography
Short Overview of the CLPS System (BL, EL), pp. 431–433.
CCCCHSC-1988-Assmann #bibliography #compilation
A Short Review of High Speed Compilation (WA), pp. 1–10.
LICSLICS-1987-KfouryTU #functional #source code
The Hierarchy of Finitely Typed Functional Programs (Short Version) (AJK, JT, PU), pp. 225–235.
DACDAC-1986-NavedaCD #approach #multi
A new approach to multi-layer PCB routing with short vias (JFN, KCC, DHCD), pp. 696–701.
DACDAC-1983-Acken #fault #testing
Testing for bridging faults (shorts) in CMOS circuits (JMA), pp. 717–718.
ICALPICALP-1980-EhrigKTWW #algebra #data type #specification
Parameterized Data Types in Algebraic Specification Languages (Short Version) (HE, HJK, JWT, EGW, JBW), pp. 157–168.
STOCSTOC-1972-WalkerS #recursion
Characterization of Flowchartable Recursions (Short Version) (SAW, HRS), pp. 18–34.
SOSPSOSP-1971-Hansen #multi #scheduling
Short Term Scheduling in Multiprogramming Systems (PBH), pp. 101–105.

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.