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:
size (35)
enterpris (35)
medium (33)
use (29)
softwar (26)

Stem small$ (all stems)

371 papers:

CASECASE-2015-LeeC #big data
Aggregate production planning with small data in TFT-LCD manufacturing (CYL, MCC), pp. 647–648.
DATEDATE-2015-ErolOSPB #metric #using
On-chip measurement of bandgap reference voltage using a small form factor VCO based zoom-in ADC (OEE, SO, CKHS, RAP, LB), pp. 1559–1562.
DATEDATE-2015-SchneiderHKWW #fault #simulation
GPU-accelerated small delay fault simulation (ES, SH, MAK, XW, HJW), pp. 1174–1179.
DATEDATE-2015-SonLKYL #smarttech
A small non-volatile write buffer to reduce storage writes in smartphones (MS, SL, KK, SY, SL), pp. 713–718.
HTHT-2015-SchulzSS #detection
Small-Scale Incident Detection based on Microposts (AS, BS, TS), pp. 3–12.
HTHT-2015-Smyth #big data
From Small Sensors to Big Data (BS), p. 101.
PODSPODS-2015-FanGCDL #big data #query
Querying Big Data by Accessing Small Data (WF, FG, YC, TD, PL), pp. 173–184.
VLDBVLDB-2015-LoghinTZOT #big data #performance
A Performance Study of Big Data on Small Nodes (DL, BMT, HZ, BCO, YMT), pp. 762–773.
PLDIPLDI-2015-MehtaY #compilation #optimisation #scalability #source code
Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
SASSAS-2015-Terauchi #effectiveness #heuristic #refinement #verification
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
STOCSTOC-2015-BhowmickL
The List Decoding Radius of Reed-Muller Codes over Small Fields (AB, SL), pp. 277–285.
STOCSTOC-2015-BraunPZ #combinator #problem
Inapproximability of Combinatorial Problems via Small LPs and SDPs (GB, SP, DZ), pp. 107–116.
STOCSTOC-2015-BravermanG #game studies #parallel
Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.
ICALPICALP-v1-2015-Nikolov #big data #database
An Improved Private Mechanism for Small Databases (AN), pp. 1010–1021.
CHICHI-2015-HouL #effectiveness #social #social media
Social Media Effectiveness for Public Engagement: Example of Small Nonprofits (YH, CL), pp. 3107–3116.
CSCWCSCW-2015-KulkarniCKBK #distance #matter #named
Talkabout: Making Distance Matter with Small Groups in Massive Classes (CK, JC, YK, MSB, SRK), pp. 1116–1128.
ICEISICEIS-v1-2015-Hasheela #comparison #enterprise #scalability
On-premise ERP Organizational Post-implementation Practices — Comparison between Large Enterprises and Small and Medium-Sized Enterprises (VH), pp. 243–250.
ICEISICEIS-v3-2015-PonsardM #architecture #case study #enterprise #lessons learnt
Driving the Adoption of Enterprise Architecture Inside Small Companies — Lessons Learnt from a Long Term Case Study (CP, AM), pp. 334–339.
ICEISICEIS-v3-2015-WissotzkiTS #architecture #bibliography #enterprise
A Survey on Enterprise Architecture Management in Small and Medium Enterprises (MW, FT, AS), pp. 213–220.
ICMLICML-2015-EggelingKG #big data
Dealing with small data: On the generalization of context trees (RE, MK, IG), pp. 1245–1253.
ICMLICML-2015-HugginsNSM #markov #named #process
JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.
ICMLICML-2015-WangZ #clustering #named #parametricity
DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
SEKESEKE-2015-SampaioMLM #adaptation #approach #learning #research
Reflecting, adapting and learning in small software organizations: an action research approach (SS, MM, AL, HPM), pp. 46–50.
SACSAC-2015-KimK #scalability #using
Dual region write buffering: making large-scale nonvolatile buffer using small capacitor in SSD (DK, SK), pp. 2039–2046.
SACSAC-2015-LeeOL #enterprise #problem
SSD caching to overcome small write problem of disk-based RAID in enterprise environments (EL, YO, DL), pp. 2047–2053.
CAVCAV-2015-BrazdilCCFK #learning #markov #process
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CASECASE-2014-LiWGC #assembly #case study
A pilot study of dual 7-axis -arm robot in small part assembly application (QL, GW, HG, ZC), pp. 196–201.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-TangZS #design #development #performance
System-level design methodology enabling fast development of baseband MP-SoC for 4G small cell base station (ST, ZZ, YS), pp. 1–6.
DATEDATE-2014-YuSHEAB #estimation #performance #physics
Efficient performance estimation with very small sample size via physical subspace projection and maximum a posteriori estimation (LY, SS, CH, IME, DAA, DSB), pp. 1–6.
VLDBVLDB-2014-YuYWLC #big data #classification #design #detection #power management
Big Data Small Footprint: The Design of A Low-Power Classifier for Detecting Transportation Modes (MCY, TY, SCW, CJL, EYC), pp. 1429–1440.
ITiCSEITiCSE-2014-GibsonM #collaboration #tool support
A small scale project to investigate the current and potential use of collaborative tools at sheffield hallam university (TMG, CM), p. 342.
ESOPESOP-2014-PoulsenM #semantics
Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.
PLDIPLDI-2014-GreenawayLAK #c #verification
Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
STOCSTOC-2014-Rossman #distance
Formulas vs. circuits for small distance connectivity (BR), pp. 203–212.
FLOPSFLOPS-2014-Riesco #debugging #declarative #maude #semantics #using
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
DLTDLT-2014-FeliceN #algorithm #automaton #complexity #on the
On the Average Complexity of Brzozowski’s Algorithm for Deterministic Automata with a Small Number of Final States (SDF, CN), pp. 25–36.
DLTDLT-2014-YakaryilmazSD #quantum #verification
Debates with Small Transparent Quantum Verifiers (AY, ACCS, HGD), pp. 327–338.
ICALPICALP-v1-2014-MertziosNRS #interactive #memory management #network
Determining Majority in Networks with Local Interactions and Very Small Local Memory (GBM, SEN, CR, PGS), pp. 871–882.
CHICHI-2014-MottW #lens #using
Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.
CHICHI-2014-OakleyL #interactive
Interaction on the edge: offset sensing for small devices (IO, DL), pp. 169–178.
CHICHI-2014-SheininG #difference #game studies #in the small #physics
Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
HCIHIMI-AS-2014-TehraniS #enterprise #in the cloud
Factors Influencing the Adoption of Cloud Computing by Small and Medium Size Enterprises (SMEs) (SRT, FS), pp. 631–642.
HCISCSM-2014-PapachristosKKIFA #case study #deployment #enterprise #social #social media #tool support
Deployment, Usage and Impact of Social Media Tools in Small and Medium Enterprises: A Case Study (EP, CK, NK, II, CF, NMA), pp. 79–90.
ICEISICEIS-v2-2014-RalyteB #implementation #novel #requirements
Implementing Novel IT Products in Small Size Organizations — Technology-driven Requirements Engineering (JR, LB), pp. 153–160.
ICPRICPR-2014-MittalKKK #recognition #using
Small Object Discovery and Recognition Using Actively Guided Robot (SM, MSK, SK, KMK), pp. 4334–4339.
ICPRICPR-2014-RazakarivonyJ #detection
Discriminative Autoencoders for Small Targets Detection (SR, FJ), pp. 3528–3533.
KDDKDD-2014-KloumannK #community #identification #set
Community membership identification from small seed sets (IMK, JMK), pp. 1366–1375.
KDIRKDIR-2014-Sydow #set #towards #visualisation
Towards Integrity in Diversity-aware Small Set Selection and Visualisation Tasks (MS), pp. 480–484.
KMISKMIS-2014-HeavinDA #big data #information management
Small Data to Big Data — The Information Systems (IS) Continuum (CH, MD, FA), pp. 289–297.
MLDMMLDM-2014-JiangDPL #approach #estimation #markov #optimisation #recognition
Modified Bootstrap Approach with State Number Optimization for Hidden Markov Model Estimation in Small-Size Printed Arabic Text Line Recognition (ZJ, XD, LP, CL), pp. 437–441.
ASPLOSASPLOS-2014-ChenDSWWCT #named #ubiquitous
DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning (TC, ZD, NS, JW, CW, YC, OT), pp. 269–284.
LICSLICS-CSL-2014-KreutzerS #on the
On Hanf-equivalence and the number of embeddings of small induced subgraphs (SK, NS), p. 10.
DACDAC-2013-GuCL #estimation #performance #validation
Efficient moment estimation with extremely small sample size via bayesian inference for analog/mixed-signal validation (CG, EC, XL), p. 7.
DACDAC-2013-HanZF #gpu #named #parallel #simulation
TinySPICE: a parallel SPICE simulator on GPU for massively repeated small circuit simulations (LH, XZ, ZF), p. 8.
ITiCSEITiCSE-2013-PorterGGMT
Peer instruction in computer science at small liberal arts colleges (LP, SG, JG, AM, CT), pp. 129–134.
STOCSTOC-2013-LenzenP #performance #using
Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.
CIAACIAA-2013-KisielewiczS #automaton #generative
Generating Small Automata and the Černý Conjecture (AK, MS), pp. 340–348.
ICALPICALP-v1-2013-BilleFGKSV
Sparse Suffix Tree Construction in Small Space (PB, JF, ILG, TK, BS, HWV), pp. 148–159.
ICALPICALP-v1-2013-KavithaV
Small Stretch Pairwise Spanners (TK, NMV), pp. 601–612.
IFMIFM-2013-Ciobaca #automation #semantics
From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.
CHICHI-2013-AceitunoCR #how
How low can you go?: human limits in small unidirectional mouse movements (JA, GC, NR), pp. 1383–1386.
CHICHI-2013-FuchsFMBI #design #evaluation #multi
Evaluation of alternative glyph designs for time series data in a small multiple setting (JF, FF, FM, EB, PI), pp. 3237–3246.
CHICHI-2013-NancelCPYIB #scalability #using
High-precision pointing on large wall displays using small handheld devices (MN, OC, EP, XDY, PPI, MBL), pp. 831–840.
CHICHI-2013-OneyHOW #named #using
ZoomBoard: a diminutive qwerty soft keyboard using iterative zooming for ultra-small devices (SO, CH, AO, JW), pp. 2799–2802.
CHICHI-2013-VatavuCG #gesture #scalability
Small, medium, or large?: estimating the user-perceived scale of stroke gestures (RDV, GC, LG), pp. 277–280.
HCIDUXU-WM-2013-WilliamsGMW #approach #enterprise #performance
A User Centred Approach to Determining the Impact of Faster Broadband on Small and Medium Sized Enterprises (DW, AG, JM, JW), pp. 140–149.
HCIHIMI-D-2013-KomineN #evaluation #optimisation #smarttech #user interface #visual notation
Optimization of GUI on Touchscreen Smartphones Based on Physiological Evaluation — Feasibility of Small Button Size and Spacing for Graphical Objects (SK, MN), pp. 80–88.
HCIHIMI-HSM-2013-ItohKMYYO #behaviour #comparison
Comparison of Cognitively Impaired, Healthy Non-Professional and Healthy Professional Driver Behavior on a Small and Low-Fidelity Driving Simulator (MI, MK, KM, KY, SY, MO), pp. 490–496.
ICMLICML-c3-2013-AilonCX #clustering #graph
Breaking the Small Cluster Barrier of Graph Clustering (NA, YC, HX), pp. 995–1003.
ICMLICML-c3-2013-SeijenS
Planning by Prioritized Sweeping with Small Backups (HvS, RSS), pp. 361–369.
KDDKDD-2013-CannyZ #big data #data analysis
Big data analytics with small footprint: squaring the cloud (JC, HZ), pp. 95–103.
KDDKDD-2013-Neumann #big data #problem #using
Using “big data” to solve “small data” problems (CN), p. 1140.
KDIRKDIR-KMIS-2013-AtrashAM #enterprise #learning #semantics
A Semantic Model for Small and Medium-sized Enterprises to Support Organizational Learning (AA, MHA, CM), pp. 476–483.
KDIRKDIR-KMIS-2013-PapulaVH #analysis #enterprise #network #process
Knowledge Networks as a Source of Knowledge Initiatives and Innovation Activity in Small and Medium Enterprises — Regression Analysis for EU 27 Countries (JP, JV, JH), pp. 389–396.
PPDPPPDP-2013-Garcia-PerezNM #order #semantics
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
CAVCAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
TLCATLCA-2013-HancockMGMA #induction #recursion
Small Induction Recursion (PH, CM, NG, LM, TA), pp. 156–172.
DACDAC-2012-HuangLTCSCK #3d #testing
Small delay testing for TSVs in 3-D ICs (SYH, YHL, KHT, WTC, SKS, YFC, DMK), pp. 1031–1036.
DATEDATE-2012-NassarSGD #named #performance
RSM: A small and fast countermeasure for AES, secure against 1st and 2nd-order zero-offset SCAs (MN, YS, SG, JLD), pp. 1173–1178.
DocEngDocEng-2012-JanssenSBWS #documentation #named
Receipts2Go: the big world of small documents (BJ, ES, EAB, PW, MAS), pp. 121–124.
VLDBVLDB-2012-ChengSCWY #named
K-Reach: Who is in Your Small World (JC, ZS, HC, HW, JXY), pp. 1292–1303.
PEPMPEPM-2012-CaretteS #towards #type system
Towards typing for small-step direct reflection (JC, AS), pp. 93–96.
DLTDLT-2012-KapoutsisL #automaton #finite #nondeterminism #theorem
Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (CAK, NL), pp. 202–213.
DLTDLT-2012-ReidenbachS #pattern matching
Regular and Context-Free Pattern Languages over Small Alphabets (DR, MLS), pp. 130–141.
SEFMSEFM-2012-PaulSS #assembly #automation #verification
Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.
IFLIFL-2012-ReichNR #lazy evaluation #roadmap
Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.
CHICHI-2012-HourcadeB #how #visual notation
How small can you go?: analyzing the effect of visual angle in pointing tasks (JPH, NEBR), pp. 213–216.
CHICHI-2012-JianuL #evaluation #how #user interface
An evaluation of how small user interface changes can improve scientists’ analytic strategies (RJ, DHL), pp. 2953–2962.
CHICHI-2012-SongQ #representation
Representing “too small to see” as “too small to see” with temporal representation (MS, CQ), pp. 1441–1450.
CIKMCIKM-2012-FukumotoYMS #classification #documentation
Text classification with relatively small positive documents and unlabeled data (FF, TY, SM, YS), pp. 2315–2318.
ICMLICML-2012-VaroquauxGT #clustering #correlation #design
Small-sample brain mapping: sparse recovery on spatially correlated designs with randomization and clustering (GV, AG, BT), p. 178.
KRKR-2012-GottlobS #datalog #ontology #query #recursion #source code
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).
KRKR-2012-OetschPPST #on the #source code #testing
On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
RecSysRecSys-2012-StrickrothP #community #network #quality #recommendation
High quality recommendations for small communities: the case of a regional parent network (SS, NP), pp. 107–114.
CASECASE-2011-KimL #clustering #constraints #scheduling #tool support
Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
DATEDATE-2011-EggersglusD #fault #generative #optimisation #pseudo #testing #using
As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.
DocEngDocEng-2011-BalinskyBS #automation #network #summary
Automatic text summarization and small-world networks (HB, AB, SJS), pp. 175–184.
PLDIPLDI-2011-DEliaDF #mining
Mining hot calling contexts in small space (DCD, CD, IF), pp. 516–527.
STOCSTOC-2011-GiakkoupisS #matter
Optimal path search in small worlds: dimension matters (GG, NS), pp. 393–402.
ICALPICALP-v1-2011-FarzanK #distance #graph #navigation
Compact Navigation and Distance Oracles for Graphs with Small Treewidth (AF, SK), pp. 268–280.
ICALPICALP-v2-2011-Kapoutsis #nondeterminism
Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.
LATALATA-2011-KowalukLL
Unique Small Subgraphs Are Not Easier to Find (MK, AL, EML), pp. 336–341.
LATALATA-2011-Schluter #automaton #lookahead
Restarting Automata with Auxiliary Symbols and Small Lookahead (NS), pp. 499–510.
HCIOCSC-2011-PuseyM #collaboration #design #learning #recommendation #wiki
Assessments in Large- and Small-Scale Wiki Collaborative Learning Environments: Recommendations for Educators and Wiki Designers (PP, GM), pp. 60–68.
ICEISICEIS-v1-2011-AdamKM #enterprise #resource management
Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.
CIKMCIKM-2011-SelvarajBSS #classification #dataset
Semi-supervised SVMs for classification with unknown class proportions and a small labeled dataset (SKS, BB, SS, SKS), pp. 653–662.
CIKMCIKM-2011-TakesK #network
Determining the diameter of small world networks (FWT, WAK), pp. 1191–1196.
KDIRKDIR-2011-ClariziaCSGN11a #classification #novel #set
A Novel Supervised Text Classifier from a Small Training Set (FC, FC, MDS, LG, PN), pp. 545–553.
KMISKMIS-2011-DoanRG #enterprise
A Reference Model for Knowledge Retention within Small and Medium-sized Enterprises (QMD, CRS, MG), pp. 306–311.
KMISKMIS-2011-RajabionK #enterprise
Information Technology — It’s Role in Facilitating the Sharing and Transfer of Knowledge in Small Medium Sized Enterprises (LR, AK), pp. 275–282.
REFSQREFSQ-2011-MertenLB #comprehension #enterprise #requirements #research #towards
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research (TM, KL, SB), pp. 60–65.
DATEDATE-2010-PengYTC #fault #process
High-quality pattern selection for screening small-delay defects considering process variations and crosstalk (KP, MY, MT, KC), pp. 1426–1431.
VLDBVLDB-2010-ChaytorW #privacy
Small Domain Randomization: Same Privacy, More Utility (RC, KW), pp. 608–618.
SASSAS-2010-DilligDA #constraints #online #scalability #source code #static analysis
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis (ID, TD, AA), pp. 236–252.
STOCSTOC-2010-FraigniaudG #network #on the
On the searchability of small-world networks with arbitrary underlying structure (PF, GG), pp. 389–398.
STOCSTOC-2010-FraigniaudK
An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.
STOCSTOC-2010-OnakR #maintenance #scalability
Maintaining a large matching and a small vertex cover (KO, RR), pp. 457–464.
STOCSTOC-2010-Talagrand #question #set
Are many small sets explicitly small? (MT), pp. 13–36.
CHICHI-2010-BonanniHZCI #design #web
Small business applications of sourcemap: a web tool for sustainable design and supply chain transparency (LB, MH, DZ, CC, HI), pp. 937–946.
CHICHI-2010-HarrisonH #interactive #low cost #mobile #multi #named
Minput: enabling interaction on small mobile devices with high-precision, low-cost, multipoint optical tracking (CH, SEH), pp. 1661–1664.
CHICHI-2010-PatelCJDP #case study #interactive
Avaaj Otalo: a field study of an interactive voice forum for small farmers in rural India (NP, DC, AJ, PD, TSP), pp. 733–742.
CSCWCSCW-2010-BertramVGW #collaboration #communication #debugging #issue tracking #social
Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams (DB, AV, SG, RW), pp. 291–300.
ICPRICPR-2010-Rivest-HenaultCDL #segmentation
Length Increasing Active Contour for the Segmentation of Small Blood Vessels (DRH, MC, SD, CL), pp. 2796–2799.
SEKESEKE-2010-Radlinski #development #predict #quality #using
Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data (LR), pp. 113–116.
SEKESEKE-2010-TrujilloPP #process
Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.
SACSAC-2010-LeeKM #named #performance #random
ReSSD: a software layer for resuscitating SSDs from poor small random write performance (YL, JSK, SM), pp. 242–243.
SACSAC-2010-SulaymanM #process #web
Quantitative assessments of key success factors in software process improvement for small and medium web companies (MS, EM), pp. 2319–2323.
ICSEICSE-2010-LunguL #ecosystem #reverse engineering
The small project observatory: a tool for reverse engineering software ecosystems (ML, ML), pp. 289–292.
SPLCSPLC-2010-Jarzabek #product line #variability
Pragmatic Strategies for Variability Management in Product Lines in Small- to Medium-Size Companies (SJ), pp. 503–504.
ICSTSAT-2010-Ben-SassonJ #bound #learning #strict
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas (EBS, JJ), pp. 16–29.
ICSTSAT-2010-GelderS #design #satisfiability
Zero-One Designs Produce Small Hard SAT Instances (AVG, IS), pp. 388–397.
DATEDATE-2009-GarciaO #embedded #fault #information management #self
Making DNA self-assembly error-proof: Attaining small growth error rates through embedded information redundancy (SG, AO), pp. 898–901.
DATEDATE-2009-RemersaroRRP #generative #scalability #testing
A scalable method for the generation of small test sets (SR, JR, SMR, IP), pp. 1136–1141.
DATEDATE-2009-YilmazC #detection #fault
Seed selection in LFSR-reseeding-based test compression for the detection of small-delay defects (MY, KC), pp. 1488–1493.
CSEETCSEET-2009-KrishnanRS #case study #collaboration #experience #industrial
Industry Academia Collaboration: An Experience Report at a Small University (PK, KJR, PAPS), pp. 117–121.
ESOPESOP-2009-DemangeS
All Secrets Great and Small (DD, DS), pp. 207–221.
MSRMSR-2009-LunguML #gnome #visualisation
Visualizing Gnome with the Small Project Observatory (ML, JM, ML), pp. 103–106.
STOCSTOC-2009-AronovES
Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.
STOCSTOC-2009-DietzfelbingerW #bound
Tight lower bounds for greedy routing in uniform small world rings (MD, PW), pp. 591–600.
STOCSTOC-2009-RabaniS #linear
Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.
CIAACIAA-2009-CaronCM #automaton
Small Extended Expressions for Acyclic Automata (PC, JMC, LM), pp. 198–207.
DLTDLT-2009-Harju #matrix #problem
Post Correspondence Problem and Small Dimensional Matrices (TH), pp. 39–46.
ICALPICALP-v1-2009-Amano #approximate #bound
Bounds on the Size of Small Depth Circuits for Approximating Majority (KA), pp. 59–70.
CHICHI-2009-BaudischC #interactive
Back-of-device interaction allows creating very small touch devices (PB, GC), pp. 1923–1932.
CHICHI-2009-PiperH
Tabletop displays for small group study: affordances of paper and digital materials (AMP, JDH), pp. 1227–1236.
HCIHIMI-II-2009-FujiokaAO #evaluation #performance #user interface
Evaluation of Pointing Efficiency on Small Screen Touch User Interfaces (RF, TA, HO), pp. 375–384.
ICEISICEIS-DISI-2009-IskaniusHM #case study #enterprise #experience
Experiences of ERP use in Small Enterprises (PI, RH, MM), pp. 5–10.
ICEISICEIS-SAIC-2009-TruongMLBCDGKLMMPSW #enterprise
Email-based Interoperability Service Utilities for Cooperative Small and Medium Enterprises (HLT, EM, ML, TB, MC, CD, PG, KK, DLL, CAM, CM, AP, MS, DW), pp. 95–101.
KMISKMIS-2009-HeinzeG #development #enterprise #maturity #process #quality
Quality Management in Knowledge Intensive Business Processes — Development of a Maturity Model to Measure the Quality of Knowledge Intensive Business Processes in Small and Medium Enterprises (PH, DG), pp. 276–279.
PADLPADL-2009-DukeBWR #design #domain-specific language #embedded #multi #source code #visualisation
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs (DJD, RB, MW, CR), pp. 31–45.
SACSAC-2009-PinoGP #process
Key processes to start software process improvement in small companies (FJP, FG, MP), pp. 509–516.
SPLCSPLC-2009-Jarzabek #product line #variability
Pragmatic strategies for variability management in product lines in small- to medium-size companies (SJ), p. 327.
SPLCSPLC-2009-PechKCSH #case study #development #experience #lessons learnt #variability
Variability management in small development organizations: experiences and lessons learned from a case study (DP, JK, RC, CS, DH), pp. 285–294.
CASECASE-2008-MatinfarIFWK #framework #research
Calibration of the treatment beam of the Small Animal Radiation Research Platform (MM, II, EF, JW, PK), pp. 609–614.
DACDAC-2008-BastaniKWC #learning #predict #set
Speedpath prediction based on learning from a small set of examples (PB, KK, LCW, EC), pp. 217–222.
HTHT-2008-ShiBAG
The very small world of the well-connected (XS, MB, LAA, ACG), pp. 61–70.
MSRMSR-2008-WeissgerberND #exclamation
Small patches get in! (PW, DN, SD), pp. 67–76.
STOCSTOC-2008-GopalanKZ
List-decoding reed-muller codes over small fields (PG, ARK, DZ), pp. 265–274.
STOCSTOC-2008-Umans #composition #performance #polynomial
Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.
DLTDLT-J-2007-DiekertGK08 #bibliography #finite #first-order #logic #word
A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.
DLTDLT-2008-HromkovicS #automaton #bound #nondeterminism #on the #proving
On the Hardness of Determining Small NFA’s and of Proving Lower Bounds on Their Sizes (JH, GS), pp. 34–55.
LATALATA-2008-AlhazovCMR #hybrid #network
About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.
SEFMSEFM-2008-HansenG
Cheap and Small Counterexamples (HH, JG), pp. 53–62.
CSCWCSCW-2008-ReillyMWI #using
Small details: using one device to navigate together (DFR, BM, CRW, KMI), pp. 253–256.
ICEISICEIS-DISI-2008-SousaL #approach #enterprise
ERP Impact on Number of Employees and Personnel Costs in Small and Medium Sized Enterprises — A Panel Data Approach (JES, VBL), pp. 196–202.
ICEISICEIS-ISAS1-2008-OhgrenS #bibliography #enterprise #ontology
Do SME Need Ontologies? — Results from a Survey among Small and Medium-sized Enterprises (, KS), pp. 104–111.
CIKMCIKM-2008-Lee #categorisation #documentation #set #topic
Incorporating topical support documents into a small training set in text categorization (KSL), pp. 1511–1512.
ECIRECIR-2008-ShtykhCJ #interface #mobile #web
Slide-Film Interface: Overcoming Small Screen Limitations in Mobile Web Search (RYS, JC, QJ), pp. 622–626.
ICPRICPR-2008-HuangLZ #detection
A method of small object detection and tracking based on particle filters (YH, JL, CZ), pp. 1–4.
KDDKDD-2008-ChenW #classification #feature model #metric #named #performance #problem
FAST: a roc-based feature selection metric for small samples and imbalanced data classification problems (XwC, MW), pp. 124–132.
POPLPOPL-2008-MooreG #semantics #transaction
High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
RERE-2008-SchmitzNJRDHR #development #enterprise #requirements
Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises (DS, HWN, MJ, TR, PD, FJH, MR), pp. 229–234.
SACSAC-2008-NishizawaC #java #refinement
A small extension to Java for class refinement (MN, SC), pp. 160–165.
FSEFSE-2008-CottrellWD #reuse #source code
Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.
ECSAECSA-2007-LopesTMS #architecture #component #framework
An Architectural Model for Small-Scale Component-Oriented Frameworks (SFL, AT, JLM, CAS), pp. 300–303.
ASEASE-2007-McIntyreW #automation #heuristic
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
CASECASE-2007-SchmidtR #queue
Queue time and x-factor characteristics for semiconductor manufacturing with small lot sizes (KS, OR), pp. 1069–1074.
DATEDATE-2007-FavalliM #detection #fault #interactive
Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.
ICDARICDAR-2007-SchulzMM #performance #precise #set
Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.
ITiCSEITiCSE-2007-Dooley #case study #experience
Experiences with CC2001 at a small college (JFD), p. 314.
ESOPESOP-2007-BessonJT #abstract interpretation #proving
Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.
LATALATA-2007-Martugin #automaton
A series of slowly synchronizable automata with a zero state over a small alphabet (PVM), pp. 391–402.
CHICHI-2007-ZiefleSSM #how
How younger and older adults master the usage of hyperlinks in small screen devices (MZ, US, JS, TM), pp. 307–316.
HCIHCI-IPT-2007-KimL #design #evaluation #readability
The Design and Evaluation of a Diagonally Splitted Column to Improve Text Readability on a Small Screen (YJK, WL), pp. 384–393.
HCIHIMI-IIE-2007-KohL #case study #distance #education #effectiveness #scalability
The Effectiveness of Educational Technology: A Preliminary Study of Learners from Small and Large Power Distance Cultures (EK, JL), pp. 384–393.
HCIHIMI-MTT-2007-Aikio #approach #development #usability
Exporting Usability Knowledge into a Small-Sized Software Development Organization — A Pattern Approach (KPA), pp. 3–11.
HCIHIMI-MTT-2007-ChienC #comprehension
The Use of Dynamic Display to Improve Reading Comprehension for the Small Screen of a Wrist Watch (YHC, CHC), pp. 814–823.
HCIHIMI-MTT-2007-JungK #information management
A Methodology for Construction Information System for Small Size Organization with Excel/VBA (HSJ, THK), pp. 642–649.
ICEISICEIS-DISI-2007-AntoniouGA #documentation #enterprise
Doing things right or doing the right things? Proposing a documentation scheme for small to medium enterprises (JA, PG, ASA), pp. 408–414.
ICMLICML-2007-ChenJ #classification #feature model #set
Minimum reference set based feature selection for small sample classifications (XwC, JCJ), pp. 153–160.
TOOLSTOOLS-EUROPE-2007-KolovosPPR #in the small
Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.
RERE-2007-ArandaEW #how #requirements
Requirements in the wild: How small companies do it (JA, SME, GW), pp. 39–48.
ESEC-FSEESEC-FSE-2007-El-SheikhT #bibliography #development #web
A survey of web engineering practice in small Jordanian web development firms (AES, HT), pp. 481–490.
GTTSEGTTSE-2007-ChellappaFP #how #performance
How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.
ICSEICSE-2007-MartinRRS #testing
“Good” Organisational Reasons for “Bad” Software Testing: An Ethnographic Study of Testing in a Small Software Company (DM, JR, MR, IS), pp. 602–611.
SPLCSPLC-2007-SellierEU #enterprise #product line
Introducing Software Product Line Engineering for Metal Processing Lines in a Small to Medium Enterprise (DS, GBE, GU), pp. 54–62.
SMTSMT-J-2006-GanaiTG07 #difference #encoding #integration #lazy evaluation #logic #named
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.
CSLCSL-2007-AehligCN #complexity
Relativizing Small Complexity Classes and Their Theories (KA, SAC, PN), pp. 374–388.
ICSTSAT-2007-CimattiGS #flexibility #modulo theories #satisfiability
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories (AC, AG, RS), pp. 334–339.
CBSECBSE-2006-KadriMS #case study #enterprise #experience
CBSE in Small and Medium-Sized Enterprise: Experience Report (RK, FM, SS), pp. 154–165.
ASEASE-2006-NeumullerG #automation #case study #lessons learnt #traceability
Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learned (CN, PG), pp. 145–156.
CASECASE-2006-LuHLL #detection #image
Detecting Small Target of Ship at Sea by Infrared Image (JWL, YJH, HYL, FLL), pp. 165–169.
DACDAC-2006-AhmedTJ #fault
Timing-based delay test for screening small delay defects (NA, MT, VJ), pp. 320–325.
VLDBVLDB-2006-KimBLLJ #embedded #memory management #named
LGeDBMS: A Small DBMS for Embedded System with Flash Memory (GJK, SCB, HSL, HDL, MJJ), pp. 1255–1258.
TACASTACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.
STOCSTOC-2006-FeigeM
Finding small balanced separators (UF, MM), pp. 375–384.
STOCSTOC-2006-KampRVZ
Deterministic extractors for small-space sources (JK, AR, SPV, DZ), pp. 691–700.
STOCSTOC-2006-Rao #constant #independence
Extractors for a constant number of polynomially small min-entropy independent sources (AR), pp. 497–506.
ICALPICALP-v1-2006-Kapoutsis
Small Sweeping 2NFAs Are Not Closed Under Complement (CAK), pp. 144–156.
CSCWCSCW-2006-AokiSPTWY #multi
Where’s the “party” in “multi-party”?: analyzing the structure of small-group sociable talk (PMA, MHS, LDP, JDT, AW, WY), pp. 393–402.
CSCWCSCW-2006-WilsonGF #collaboration #scalability
Not all sharing is equal: the impact of a large display on small group collaborative work (SMW, JG, JF), pp. 25–28.
ICEISICEIS-DISI-2006-Abad-GrauAMHH #case study #enterprise #information management #web
Web Knowledge Management for Small and Medium-Size Enterprises — WebTour: A Case Study from the Tourism Sector (MMAG, FA, RM, MVH, MJH), pp. 239–244.
ICMLICML-2006-HertzBW #classification #kernel #learning
Learning a kernel function for classification with small training samples (TH, ABH, DW), pp. 401–408.
ICPRICPR-v2-2006-ZhengYYW #classification #effectiveness #image #problem
Effective classification image space which can solve small sample size problem (YJZ, JYY, JY, XW), pp. 861–864.
SIGIRSIGIR-2006-RamirezWV #using #xml
Using small XML elements to support relevance (GR, TW, APdV), pp. 693–694.
POPLPOPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code
Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.
SACSAC-2006-MalaquiasRC
A small-world model of the human mind (JLM, ACdR, CMBAC), pp. 15–22.
ICSEICSE-2006-Bishop #challenge #multi #re-engineering #user interface
Multi-platform user interface construction: a challenge for software engineering-in-the-small (JB), pp. 751–760.
SPLCSPL-BOOK-2006-Mansell #case study #experience #reuse
Experiences and Expectations Regarding the Introduction of Systematic Reuse in Small- and Medium-Sized Companies (JXM), pp. 91–124.
CAVCAV-2006-GershmanKS #satisfiability
Deriving Small Unsatisfiable Cores with Dominators (RG, MK, OS), pp. 109–122.
DATEDATE-2005-WangWI #distributed #embedded #performance
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
IWPCIWPC-2005-Sim #architecture #social
A Small Social History of Software Architecture (SES), pp. 341–344.
CIAACIAA-2005-Sakarovitch #automaton
The Language, the Expression, and the (Small) Automaton (JS), pp. 15–30.
DLTDLT-2005-AlhazovFO
Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells (AA, RF, MO), pp. 100–111.
CHICHI-2005-KarlsonBS #design
AppLens and launchTile: two designs for one-handed thumb use on small devices (AKK, BBB, JS), pp. 201–210.
CHICHI-2005-LamB #summary #web
Summary thumbnails: readable overviews for small screen web browsers (HL, PB), pp. 681–690.
CHICHI-2005-XieLGM #image #learning
Learning user interest for image browsing on small-form-factor devices (XX, HL, SG, WYM), pp. 671–680.
CIKMCIKM-2005-XiaoLHF #web
Slicing*-tree based web page transformation for small displays (XX, QL, DH, HF), pp. 303–304.
ECIRECIR-2005-VinayCMW #algorithm #feedback
Evaluating Relevance Feedback Algorithms for Searching on Small Displays (VV, IJC, NMF, KRW), pp. 185–199.
LSOLSO-2005-SantosMRFMAPA #development #information management #process #using
Using a Software Development Environment with Knowledge Management to Support Deploying Software Processes in Small and Medium Size Companies (GS, MM, ARR, SF, SM, AA, BDP, MA), pp. 72–76.
MLDMMLDM-2005-MakrehchiK #classification #using
Text Classification Using Small Number of Features (MM, MSK), pp. 580–589.
SACSAC-2005-McPhersonMO #clustering #graph #parametricity #social
Discovering parametric clusters in social small-world graphs (JM, KLM, MO), pp. 1231–1238.
SACSAC-2005-WattersZD
Comparing table views for small devices (CRW, RZ, JD), pp. 975–980.
ICSEICSE-2005-VerlageK #product line
Five years of product line engineering in a small company (MV, TK), pp. 534–543.
HPCAHPCA-2005-KondoN #clustering #performance #power management
A Small, Fast and Low-Power Register File by Bit-Partitioning (MK, HN), pp. 40–49.
HPDCHPDC-2005-IamnitchiF #community
Interest-aware information dissemination in small-world communities (AI, ITF), pp. 167–175.
ICLPICLP-2005-SarkarPC #proving
Small Proof Witnesses for LF (SS, BP, KC), pp. 387–401.
LICSLICS-2005-KieronskiO #decidability #first-order #logic
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
RTARTA-2005-BonfanteMM #bound
Quasi-interpretations and Small Space Bounds (GB, JYM, JYM), pp. 150–164.
ITiCSEITiCSE-2004-Dooley
Moving to CC2001 at a small college (JFD), pp. 196–198.
CSMRCSMR-2004-ItkonenHL #analysis #java
Application of Relation Analysis to a Small Java Software (JI, MH, VL), pp. 233–242.
WCREWCRE-2004-HassanH #reverse engineering
The Small World of Software Reverse Engineering (AEH, RCH), pp. 278–283.
DLTDLT-2004-Reidenbach #equivalence #on the #pattern matching #problem
On the Equivalence Problem for E-pattern Languages over Small Alphabets (DR), pp. 368–380.
ICEISICEIS-v3-2004-ChapmanS #enterprise #guidelines #on the #security
On Information Security Guidelines for Small/Medium Enterprises (DC, LS), pp. 3–9.
ICEISICEIS-v3-2004-RaymondRJ #enterprise
Small Enterprises’ Predisposition to Adopt an ERP (LR, SR, DJ), pp. 614–618.
ICPRICPR-v1-2004-Kazanov04a #image
Modification of Watershed Transformation for Images, Containing Small Objects (MK), pp. 612–615.
ICPRICPR-v2-2004-Srinivasan #approximate #segmentation
Small-world Approximations in Spectral Segmentation (SHS), pp. 36–39.
ICSEICSE-2004-Foster #community #distributed #grid #scalability
Grid Small and Large: Distributed Systems and Global Communities (ITF), p. 27.
DACDAC-2003-Travaglione #algorithm #design #implementation #quantum
Designing and implementing small quantum circuits and algorithms (BT), pp. 894–899.
DATEDATE-2003-GouraryRUZM #analysis #simulation
A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.
DRRDRR-2003-WuL #image #web
Resource-optimized delivery of web images to small-screen devices (YW, DPL), pp. 144–155.
VLDBVLDB-2003-WangZL #data mining #data type #mining #named #sql
ATLAS: A Small but Complete SQL Extension for Data Mining and Data Streams (HW, CZ, CL), pp. 1113–1116.
WCREWCRE-2003-LiuS #process #reverse engineering
Reverse Engineering the Process of Small Novice Software Teams (YL, ES), pp. 102–112.
CHICHI-2003-HuangM
Semi-public displays for small, co-located groups (EMH, EDM), pp. 49–56.
ICEISICEIS-v3-2003-Santana #communication #enterprise
The Impact of Information and Communication Technologies in Small and Medium Enterprises (SS), pp. 637–641.
ICEISICEIS-v4-2003-StorBNM #enterprise #framework #network
It Infrastructure for Supply Chain Management in Company Networks with Small and Medium-Sized Enterprise (MS, NB, JN, GM), pp. 280–287.
SIGIRSIGIR-2003-XueZCMZL #analysis #web
Implicit link analysis for small web search (GRX, HJZ, ZC, WYM, HZ, CJL), pp. 56–63.
PPDPPPDP-2003-WuAS #proving
Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.
ESEC-FSEESEC-FSE-2003-Dyba #empirical #process #scalability
Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context (TD), pp. 148–157.
HPCAHPCA-2003-RedstoneEL #named #smt #thread
Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
LCTESLCTES-2003-ShaylorSB #architecture #java #virtual machine
A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
VLDBVLDB-2002-Vingralek #database #named
GnatDb: A Small-Footprint, Secure Database System (RV), pp. 884–893.
ESOPESOP-2002-WandW #analysis #composition #proving
A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.
STOCSTOC-2002-GilbertGIKMS #algorithm #approximate #maintenance #performance
Fast, small-space algorithms for approximate histogram maintenance (ACG, SG, PI, YK, SM, MS), pp. 389–398.
ICALPICALP-2002-Ollinger #automaton
The Quest for Small Universal Cellular Automata (NO), pp. 318–329.
ICEISICEIS-2002-CostaA
Evaluating EMS Value — The Case of a Small Accountancy Firm (CJC, PA), pp. 460–466.
ICEISICEIS-2002-GarciaBHGL #e-commerce #enterprise
An E-Commerce Model for Small and Medium Enterprises (FJGP, IB, MJH, ABG, MAL), pp. 1035–1041.
ICPRICPR-v3-2002-HuangLLM #problem
Solving the Small Sample Size Problem of LDA (RH, QL, HL, SM), pp. 29–32.
SEKESEKE-2002-GrutznerAP #approach #information management #learning
A systematic approach to produce small courseware modules for combined learning and knowledge management environements (IG, NA, DP), pp. 533–539.
HTHT-2001-Bjorneborn
Small-world linkage and co-linkage (LB), pp. 133–137.
ICDARICDAR-2001-IwataYYKIM #identification #library #using
Book Cover Identification by Using Four Directional Features Filed for a Small-Scale Library System (KI, KY, MY, KK, MI, KM), pp. 582–586.
ICEISICEIS-v2-2001-NunesP #enterprise #identification #information management #modelling
The Use of Information Systems Modelling to Identify and Evaluate E-Business Strategies for Small and Medium Enterprises (SMES) (JMBN, DP), pp. 1018–1025.
ICEISICEIS-v2-2001-Virginas #enterprise #workflow
Agent Based Workflows for Small to Medium Enterprises (BV), pp. 1091–1093.
CIKMCIKM-2001-ToutanovaCPH #classification #set
Text Classification in a Hierarchical Mixture Model for Small Training Sets (KT, FC, KP, TH), pp. 105–112.
ICSEICSE-2001-White #java
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.
ICSTSAT-2001-BruniS #maintenance #satisfiability
Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae (RB, AS), pp. 162–173.
ITiCSEITiCSE-2000-DannCP #programming
Making the connection: programming with animated small world (WD, SC, RP), pp. 41–44.
STOCSTOC-2000-Kleinberg #algorithm #perspective
The small-world phenomenon: an algorithmic perspective (JMK), pp. 163–170.
STOCSTOC-2000-MahajanV #graph
A new NC-algorithm for finding a perfect matching in bipartite planar and small genus graphs (extended abstract) (MM, KRV), pp. 351–357.
ICFPICFP-2000-Okasaki #algorithm #design #lessons learnt
Breadth-first numbering: lessons from a small exercise in algorithm design (CO), pp. 131–136.
CHICHI-2000-SmithFD #chat #social #visual notation
The social life of small graphical chat spaces (MAS, SF, SMD), pp. 462–469.
CSCWCSCW-2000-FarnhamCMKL #interactive #online
Structured online interactions: improving the decision-making of small discussion groups (SF, HRC, DEM, RK, JL), pp. 299–308.
ICEISICEIS-2000-ChesneyF #modelling #requirements
Increasing End User Involvement in Requirements Modelling in Small Organisations (TC, HF), pp. 248–252.
ICEISICEIS-2000-ThomasASC #enterprise
Evaluatin IT Usage in Small and Medium Sized Enterprises (DTT, AA, HS, DJC), pp. 355–362.
ICPRICPR-v2-2000-Fursov #pattern matching #pattern recognition #recognition #using
Training in Pattern Recognition from a Small Number of Observations Using Projections onto Null-Space (VAF), pp. 2785–2788.
ICPRICPR-v2-2000-HwangLBV #re-engineering
Face Reconstruction from a Small Number of Feature Points (BWH, SWL, VB, TV), pp. 2838–2837.
ICPRICPR-v4-2000-HatteryCLG #embedded #migration
Optical Signatures of Small, Deeply Embedded, Tumor-Like Inclusions in Tissue-Like Turbid Media Based on a Random-Walk Theory of Photon Migration (DH, VC, MHL, AG), pp. 4348–4351.
KDDKDD-2000-PadmanabhanT #set
Small is beautiful: discovering the minimal set of unexpected patterns (BP, AT), pp. 54–63.
SIGIRSIGIR-2000-Iwayama #clustering #documentation #feedback #incremental
Relevance reedback with a small number of relevance judgements: incremental relevance feedback vs. document clustering (MI), pp. 10–16.
SACSAC-2000-AbiadHM #big data #database #metric
Software Metrics for Small Database Applications (SA, RAH, NM), pp. 866–870.
SACSAC-2000-Lyon #assurance #protocol #web
Assurance Protocols and Small Web Retailers (GEL), pp. 904–908.
ICSEICSE-2000-KautzHT #enterprise #process
Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise (KK, HWH, KT), pp. 626–633.
DACDAC-1999-LachMP #multi #robust
Robust FPGA Intellectual Property Protection Through Multiple Small Watermarks (JL, WHMS, MP), pp. 831–836.
DATEDATE-1999-TanS #diagrams #scalability #using
Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
ITiCSEITiCSE-1999-Levin99a #implementation
The implementation of a data communications laboratory in small to medium sized universities (MHL), p. 187.
STOCSTOC-1999-CapalboK #graph
Small Universal Graphs (MRC, SRK), pp. 741–749.
STOCSTOC-1999-DinurFKRS #towards
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
ICALPICALP-1999-AndreevBCR #bound #branch #pseudo #set #source code
Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs (AEA, JLB, AEFC, JDPR), pp. 179–189.
HCIHCI-EI-1999-Chuan #case study #using #web
Small Group CSCW Using Web Recources: A Case Study (TKC), pp. 788–792.
HCIHCI-EI-1999-Kuutti99a #community #human-computer #interface #question
Small interfaces — a blind spot of the academical HCI community? (KK), pp. 710–714.
HCIHCI-EI-1999-MarcusAFG99b #design #interface
Good Things in Small Packages: User-Interface Design for Baby Faces in Devices and Appliances for Y2K and Beyond (AM, JA, VF, EG), pp. 715–719.
TOOLSTOOLS-USA-1999-Morrisette #evolution #object-oriented
Evolution of a Small Object Oriented Manufacturing System (TMM), p. 33–?.
SACSAC-1999-RowMAW #linux #network #security
Security Issues in Small Linux Networks (WMR, DJM, BLA, AHW), pp. 506–510.
SOSPSOSP-1999-ZuberiPS #kernel #named #realtime
EMERALDS: a small-memory real-time microkernel (KMZ, PP, KGS), pp. 277–299.
CAVCAV-1999-PnueliRSS #similarity
Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
ICLPICLP-1999-Truszczynski #modelling #scalability
Computing Large and Small Stable Models (MT), pp. 169–183.
VLDBVLDB-1998-Moerkotte
Small Materialized Aggregates: A Light Weight Index Structure for Data Warehousing (GM), pp. 476–487.
ICMLICML-1998-WeissH #problem
The Problem with Noise and Small Disjuncts (GMW, HH), p. 574–?.
ICPRICPR-1998-BoccignoneCP #detection #using
Small target detection using wavelets (GB, AC, AP), pp. 1776–1778.
TOOLSTOOLS-ASIA-1998-MisicT #case study #estimation #object-oriented #quality
Downsizing the Estimation of Software Quality: A Small Object-Oriented Case Study (VBM, DNT), pp. 308–317.
ICSEICSE-1998-DemirorsDDK #certification #process #towards
Process Improvement Towards ISO 9001 Certification in a Small Software Organization (ED, OD, OD, BK), pp. 435–438.
LCTESLCTES-1998-YurkoskiRE #java #using
Using InfernoTM to Execute JavaTM on Small Devices (CFY, LRR, BKE), pp. 108–118.
CADECADE-1998-NonnengartRW #generative #normalisation #on the
On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.
CHICHI-1997-ScholtzSLN #design #named
Design: No Job too Small (JS, TS, PL, JN), pp. 447–454.
OOPSLAOOPSLA-1997-ZendraCC #compilation #performance
Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
ICSEICSE-1997-BrodmanJ #approach #process #tutorial
A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial) (JGB, DLJ), pp. 661–662.
ICLPICLP-1997-CaseauL #constraints
Solving Small TSPs with Constraints (YC, FL), pp. 316–330.
CHICHI-1996-KambaEHSS #using
Using Small Screen Space More Efficiently (TK, SAE, TH, TS, PNS), pp. 383–390.
ICPRICPR-1996-ChenJ #behaviour #network #on the
On the small sample behavior of the class-sensitive neural network (CHC, AJ), pp. 209–213.
ICPRICPR-1996-SkurichinaD #classification
Stabilizing classifiers for very small sample sizes (MS, RPWD), pp. 891–896.
HPCAHPCA-1996-NayfehOS #clustering #multi
The Impact of Shared-Cache Clustering in Small-Scale Shared-Memory Multiprocessors (BAN, KO, JPS), pp. 74–84.
STOCSTOC-1995-BonetPR #bound #proving
Lower bounds for cutting planes proofs with small coefficients (MLB, TP, RR), pp. 575–584.
DLTDLT-1995-Galvez #lr #parsing #stack
A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.
ICALPICALP-1995-ChaudhuriZ #graph #query
Shortest Path Queries in Digraphs of Small Treewidth (SC, CDZ), pp. 244–255.
ICALPICALP-1995-KoblerW
New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
CHICHI-1995-OlsonOM #design #question #realtime #video #what
What Mix of Video and Audio is Useful for Small Groups Doing Remote Real-Time Design Work? (JSO, GMO, DKM), pp. 362–368.
ICMLICML-1995-AuerHM #theory and practice
Theory and Applications of Agnostic PAC-Learning with Small Decision Trees (PA, RCH, WM), pp. 21–29.
ICMLICML-1995-Weiss #learning
Learning with Rare Cases and Small Disjuncts (GMW), pp. 558–565.
SACSAC-1995-MotzkinEKT #database #evaluation #performance
A tool for performance evaluation of database systems for small computer systems (DM, RE, MK, ST), pp. 420–426.
SACSAC-1995-SmithPN #analysis #network #performance
Performance analysis of small FDDI networks (JS, LDP, TN), pp. 401–405.
STOCSTOC-1994-AlonYZ #graph #named #scalability
Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs (NA, RY, UZ), pp. 326–335.
STOCSTOC-1994-KhullerRY
Low degree spanning trees of small weight (SK, BR, NEY), pp. 412–421.
ICALPICALP-1994-ItalianoR #maintenance
Maintaining Spanning Trees of Small Diameter (GFI, RR), pp. 227–238.
CSCWCSCW-1994-RouncefieldHRV #constant
Working with “Constant Interruption”: CSCW and the Small Office (MR, JAH, TR, SV), pp. 275–286.
CSCWCSCW-1994-Toth #interactive #social
The Effects of Interactive Graphics and Text on Social Influence in Computer-Mediated Small Groups (JAT), pp. 299–310.
AdaTRI-Ada-1994-LuksL #ada #education
Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.
ICMLICML-1994-AhaLLM #learning #recursion #set
Learning Recursive Relations with Randomly Selected Small Training Sets (DWA, SL, CXL, SM), pp. 12–18.
ICMLICML-1994-WeissI
Small Sample Decision tree Pruning (SMW, NI), pp. 335–342.
SACSAC-1994-MitrpanontGC
PAD-BASED expert system in small computer (JLM, KMG, GWC), pp. 36–41.
SACSAC-1994-Poulin #library #reuse #scalability
Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.
ICSEICSE-1994-BrodmanJ #case study #experience #what
What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.
STOCSTOC-1993-Bodlaender #algorithm #linear
A linear time algorithm for finding tree-decompositions of small treewidth (HLB), pp. 226–234.
STOCSTOC-1993-KollerM #constraints
Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.
STOCSTOC-1993-LinialLSZ #combinator #performance #set
Efficient construction of a small hitting set for combinatorial rectangles in high dimension (NL, ML, MES, DZ), pp. 258–267.
ICMLICML-1993-DanylukP #fault #learning #network
Small Disjuncts in Action: Learning to Diagnose Errors in the Local Loop of the Telephone Network (APD, FJP), pp. 81–88.
STOCSTOC-1992-BealsS #composition #linear
Structure Forest and Composition Factors for Small Base Groups in Nearly Linear Time (RB, ÁS), pp. 116–125.
STOCSTOC-1992-KlugermanP #network
Small-Depth Counting Networks (MK, CGP), pp. 417–428.
STOCSTOC-1992-Rao #algorithm #graph #performance
Faster Algorithms for Finding Small Edge Cuts in Planar Graphs (Extended Abstract) (SR), pp. 229–240.
CHICHI-1992-RiemanDR #bibliography #big data #database #lessons learnt
A visit to a very small database: lessons from managing the review of papers submitted for CHI 1991 (JR, SD, JR), pp. 471–478.
CCCC-1992-Galvez #generative #lr #parsing
Generating LR(1) Parsers of Small Size (JFG), pp. 16–29.
DACDAC-1991-Srinivasan #algorithm
An Algorithm for Performance-Driven Initial Placement of Small-Cell ICs (AS), pp. 636–639.
STOCSTOC-1990-NaorN #performance #probability
Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.
FMVDME-1990-HaastrupG #correctness #in the small
Correctness in the Small (PH, CG), pp. 72–98.
POPLPOPL-1990-SekarPR #analysis #performance #strict
Small Domains Spell Fast Strictness Analysis (RCS, SP, IVR), pp. 169–183.
STOCSTOC-1989-Vallee #integer #performance #polynomial
Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.
LICSLICS-1989-Gischer
A Small Universal Model for System Executions (JLG), pp. 146–153.
STOCSTOC-1988-FraysseixPP #graph #set
Small Sets Supporting Fáry Embeddings of Planar Graphs (HdF, JP, RP), pp. 426–433.
DACDAC-1987-Serlet #combinator #performance
Fast, Small, and Static Combinatorial CMOS Circuits (BS), pp. 451–458.
HCIHCI-SES-1987-Miller #scalability
Small Windows on a Large System (DPM), pp. 105–112.
SOSPSOSP-1987-BirrellJW #big data #database #implementation #performance
A Simple and Efficient Implementation for Small Databases (AB, MBJ, EW), pp. 149–154.
STOCSTOC-1986-Hastad #bound
Almost Optimal Lower Bounds for Small Depth Circuits (JH), pp. 6–20.
PODSPODS-1985-MannilaR #database #design
Small Armstrong Relations for Database Design (HM, KJR), pp. 245–250.
STOCSTOC-1984-Miller #graph
Finding Small Simple Cycle Separators for 2-Connected Planar Graphs (GLM), pp. 376–382.
ICSEICSE-1982-Runge
The Inspection Method Applied to Small Projects (BR), pp. 416–417.
ICLPILPC-1982-PereiraP82 #implementation #prolog #scalability
A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.
VLDBVLDB-1980-Walker #database #on the #retrieval #scalability
On Retrieval from a Small Version of a Large Data Base (AW), pp. 47–54.
SOSPSOSP-1979-Gehringer #problem
Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.
DACDAC-1973-FullenwiderR #architecture #implementation
Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.
DACDAC-1972-McClure #fault #logic #simulation
Fault simulation of digital logic utilizing a small host machine (RMM), pp. 104–110.
SOSPSOSP-1969-Mills #multi
Multiprogramming in a small-systems environment (DLM), pp. 112–119.

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.