Stem small$ (all stems)

371 papers:

CASE-2015-LeeC #big data

Aggregate production planning with small data in TFT-LCD manufacturing (CYL, MCC), pp. 647–648.

DATE-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.

DATE-2015-SchneiderHKWW #fault #simulation

GPU-accelerated small delay fault simulation (ES, SH, MAK, XW, HJW), pp. 1174–1179.

DATE-2015-SonLKYL #smarttech

A small non-volatile write buffer to reduce storage writes in smartphones (MS, SL, KK, SY, SL), pp. 713–718.

HT-2015-SchulzSS #detection

Small-Scale Incident Detection based on Microposts (AS, BS, TS), pp. 3–12.

HT-2015-Smyth #big data

From Small Sensors to Big Data (BS), p. 101.

PODS-2015-FanGCDL #big data #query

Querying Big Data by Accessing Small Data (WF, FG, YC, TD, PL), pp. 173–184.

VLDB-2015-LoghinTZOT #big data #performance

A Performance Study of Big Data on Small Nodes (DL, BMT, HZ, BCO, YMT), pp. 762–773.

PLDI-2015-MehtaY #compilation #optimisation #scalability #source code

Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.

SAS-2015-Terauchi #effectiveness #heuristic #refinement #verification

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.

STOC-2015-BhowmickL

The List Decoding Radius of Reed-Muller Codes over Small Fields (AB, SL), pp. 277–285.

STOC-2015-BraunPZ #combinator #problem

Inapproximability of Combinatorial Problems via Small LPs and SDPs (GB, SP, DZ), pp. 107–116.

STOC-2015-BravermanG #game studies #parallel

Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.

ICALP-v1-2015-Nikolov #big data #database

An Improved Private Mechanism for Small Databases (AN), pp. 1010–1021.

CHI-2015-HouL #effectiveness #social #social media

Social Media Effectiveness for Public Engagement: Example of Small Nonprofits (YH, CL), pp. 3107–3116.

CSCW-2015-KulkarniCKBK #distance #matter #named

Talkabout: Making Distance Matter with Small Groups in Massive Classes (CK, JC, YK, MSB, SRK), pp. 1116–1128.

ICEIS-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.

ICEIS-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.

ICEIS-v3-2015-WissotzkiTS #architecture #bibliography #enterprise

A Survey on Enterprise Architecture Management in Small and Medium Enterprises (MW, FT, AS), pp. 213–220.

ICML-2015-EggelingKG #big data

Dealing with small data: On the generalization of context trees (RE, MK, IG), pp. 1245–1253.

ICML-2015-HugginsNSM #markov #named #process

JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.

ICML-2015-WangZ #clustering #named #parametricity

DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.

SEKE-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.

SAC-2015-KimK #scalability #using

Dual region write buffering: making large-scale nonvolatile buffer using small capacitor in SSD (DK, SK), pp. 2039–2046.

SAC-2015-LeeOL #enterprise #problem

SSD caching to overcome small write problem of disk-based RAID in enterprise environments (EL, YO, DL), pp. 2047–2053.

CAV-2015-BrazdilCCFK #learning #markov #process

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.

CASE-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.

DATE-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.

DATE-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.

DATE-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.

VLDB-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.

ITiCSE-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.

ESOP-2014-PoulsenM #semantics

Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.

PLDI-2014-GreenawayLAK #c #verification

Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.

STOC-2014-Rossman #distance

Formulas vs. circuits for small distance connectivity (BR), pp. 203–212.

FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.

DLT-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.

DLT-2014-YakaryilmazSD #quantum #verification

Debates with Small Transparent Quantum Verifiers (AY, ACCS, HGD), pp. 327–338.

ICALP-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.

CHI-2014-MottW #lens #using

Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.

CHI-2014-OakleyL #interactive

Interaction on the edge: offset sensing for small devices (IO, DL), pp. 169–178.

CHI-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.

HIMI-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.

SCSM-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.

ICEIS-v2-2014-RalyteB #implementation #novel #requirements

Implementing Novel IT Products in Small Size Organizations — Technology-driven Requirements Engineering (JR, LB), pp. 153–160.

ICPR-2014-MittalKKK #recognition #using

Small Object Discovery and Recognition Using Actively Guided Robot (SM, MSK, SK, KMK), pp. 4334–4339.

ICPR-2014-RazakarivonyJ #detection

Discriminative Autoencoders for Small Targets Detection (SR, FJ), pp. 3528–3533.

KDD-2014-KloumannK #community #identification #set

Community membership identification from small seed sets (IMK, JMK), pp. 1366–1375.

KDIR-2014-Sydow #set #towards #visualisation

Towards Integrity in Diversity-aware Small Set Selection and Visualisation Tasks (MS), pp. 480–484.

KMIS-2014-HeavinDA #big data #information management

Small Data to Big Data — The Information Systems (IS) Continuum (CH, MD, FA), pp. 289–297.

MLDM-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.

ASPLOS-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.

LICS-CSL-2014-KreutzerS #on the

On Hanf-equivalence and the number of embeddings of small induced subgraphs (SK, NS), p. 10.

DAC-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.

DAC-2013-HanZF #gpu #named #parallel #simulation

TinySPICE: a parallel SPICE simulator on GPU for massively repeated small circuit simulations (LH, XZ, ZF), p. 8.

ITiCSE-2013-PorterGGMT

Peer instruction in computer science at small liberal arts colleges (LP, SG, JG, AM, CT), pp. 129–134.

STOC-2013-LenzenP #performance #using

Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.

CIAA-2013-KisielewiczS #automaton #generative

Generating Small Automata and the Černý Conjecture (AK, MS), pp. 340–348.

ICALP-v1-2013-BilleFGKSV

Sparse Suffix Tree Construction in Small Space (PB, JF, ILG, TK, BS, HWV), pp. 148–159.

ICALP-v1-2013-KavithaV

Small Stretch Pairwise Spanners (TK, NMV), pp. 601–612.

IFM-2013-Ciobaca #automation #semantics

From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.

CHI-2013-AceitunoCR #how

How low can you go?: human limits in small unidirectional mouse movements (JA, GC, NR), pp. 1383–1386.

CHI-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.

CHI-2013-NancelCPYIB #scalability #using

High-precision pointing on large wall displays using small handheld devices (MN, OC, EP, XDY, PPI, MBL), pp. 831–840.

CHI-2013-OneyHOW #named #using

ZoomBoard: a diminutive qwerty soft keyboard using iterative zooming for ultra-small devices (SO, CH, AO, JW), pp. 2799–2802.

CHI-2013-VatavuCG #gesture #scalability

Small, medium, or large?: estimating the user-perceived scale of stroke gestures (RDV, GC, LG), pp. 277–280.

DUXU-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.

HIMI-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.

HIMI-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.

ICML-c3-2013-AilonCX #clustering #graph

Breaking the Small Cluster Barrier of Graph Clustering (NA, YC, HX), pp. 995–1003.

ICML-c3-2013-SeijenS

Planning by Prioritized Sweeping with Small Backups (HvS, RSS), pp. 361–369.

KDD-2013-CannyZ #big data #data analysis

Big data analytics with small footprint: squaring the cloud (JC, HZ), pp. 95–103.

KDD-2013-Neumann #big data #problem #using

Using “big data” to solve “small data” problems (CN), p. 1140.

KDIR-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.

KDIR-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.

PPDP-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.

CAV-2013-VizelRN #generative #performance

Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.

TLCA-2013-HancockMGMA #induction #recursion

Small Induction Recursion (PH, CM, NG, LM, TA), pp. 156–172.

DAC-2012-HuangLTCSCK #3d #testing

Small delay testing for TSVs in 3-D ICs (SYH, YHL, KHT, WTC, SKS, YFC, DMK), pp. 1031–1036.

DATE-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.

DocEng-2012-JanssenSBWS #documentation #named

Receipts2Go: the big world of small documents (BJ, ES, EAB, PW, MAS), pp. 121–124.

VLDB-2012-ChengSCWY #named

K-Reach: Who is in Your Small World (JC, ZS, HC, HW, JXY), pp. 1292–1303.

PEPM-2012-CaretteS #towards #type system

Towards typing for small-step direct reflection (JC, AS), pp. 93–96.

DLT-2012-KapoutsisL #automaton #finite #nondeterminism #theorem

Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (CAK, NL), pp. 202–213.

DLT-2012-ReidenbachS #pattern matching

Regular and Context-Free Pattern Languages over Small Alphabets (DR, MLS), pp. 130–141.

SEFM-2012-PaulSS #assembly #automation #verification

Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.

IFL-2012-ReichNR #lazy evaluation #roadmap

Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.

CHI-2012-HourcadeB #how #visual notation

How small can you go?: analyzing the effect of visual angle in pointing tasks (JPH, NEBR), pp. 213–216.

CHI-2012-JianuL #evaluation #how #user interface

An evaluation of how small user interface changes can improve scientists’ analytic strategies (RJ, DHL), pp. 2953–2962.

CHI-2012-SongQ #representation

Representing “too small to see” as “too small to see” with temporal representation (MS, CQ), pp. 1441–1450.

CIKM-2012-FukumotoYMS #classification #documentation

Text classification with relatively small positive documents and unlabeled data (FF, TY, SM, YS), pp. 2315–2318.

ICML-2012-VaroquauxGT #clustering #correlation #design

Small-sample brain mapping: sparse recovery on spatially correlated designs with randomization and clustering (GV, AG, BT), p. 178.

KR-2012-GottlobS #datalog #ontology #query #recursion #source code

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).

KR-2012-OetschPPST #on the #source code #testing

On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).

RecSys-2012-StrickrothP #community #network #quality #recommendation

High quality recommendations for small communities: the case of a regional parent network (SS, NP), pp. 107–114.

CASE-2011-KimL #clustering #constraints #scheduling #tool support

Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.

DATE-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.

DocEng-2011-BalinskyBS #automation #network #summary

Automatic text summarization and small-world networks (HB, AB, SJS), pp. 175–184.

PLDI-2011-DEliaDF #mining

Mining hot calling contexts in small space (DCD, CD, IF), pp. 516–527.

STOC-2011-GiakkoupisS #matter

Optimal path search in small worlds: dimension matters (GG, NS), pp. 393–402.

ICALP-v1-2011-FarzanK #distance #graph #navigation

Compact Navigation and Distance Oracles for Graphs with Small Treewidth (AF, SK), pp. 268–280.

ICALP-v2-2011-Kapoutsis #nondeterminism

Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.

LATA-2011-KowalukLL

Unique Small Subgraphs Are Not Easier to Find (MK, AL, EML), pp. 336–341.

LATA-2011-Schluter #automaton #lookahead

Restarting Automata with Auxiliary Symbols and Small Lookahead (NS), pp. 499–510.

OCSC-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.

ICEIS-v1-2011-AdamKM #enterprise #resource management

Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.

CIKM-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.

CIKM-2011-TakesK #network

Determining the diameter of small world networks (FWT, WAK), pp. 1191–1196.

KDIR-2011-ClariziaCSGN11a #classification #novel #set

A Novel Supervised Text Classifier from a Small Training Set (FC, FC, MDS, LG, PN), pp. 545–553.

KMIS-2011-DoanRG #enterprise

A Reference Model for Knowledge Retention within Small and Medium-sized Enterprises (QMD, CRS, MG), pp. 306–311.

KMIS-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.

REFSQ-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.

DATE-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.

VLDB-2010-ChaytorW #privacy

Small Domain Randomization: Same Privacy, More Utility (RC, KW), pp. 608–618.

SAS-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.

STOC-2010-FraigniaudG #network #on the

On the searchability of small-world networks with arbitrary underlying structure (PF, GG), pp. 389–398.

STOC-2010-FraigniaudK

An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.

STOC-2010-OnakR #maintenance #scalability

Maintaining a large matching and a small vertex cover (KO, RR), pp. 457–464.

STOC-2010-Talagrand #question #set

Are many small sets explicitly small? (MT), pp. 13–36.

CHI-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.

CHI-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.

CHI-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.

CSCW-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.

ICPR-2010-Rivest-HenaultCDL #segmentation

Length Increasing Active Contour for the Segmentation of Small Blood Vessels (DRH, MC, SD, CL), pp. 2796–2799.

SEKE-2010-Radlinski #development #predict #quality #using

Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data (LR), pp. 113–116.

SEKE-2010-TrujilloPP #process

Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.

SAC-2010-LeeKM #named #performance #random

ReSSD: a software layer for resuscitating SSDs from poor small random write performance (YL, JSK, SM), pp. 242–243.

SAC-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.

ICSE-2010-LunguL #ecosystem #reverse engineering

The small project observatory: a tool for reverse engineering software ecosystems (ML, ML), pp. 289–292.

SPLC-2010-Jarzabek #product line #variability

Pragmatic Strategies for Variability Management in Product Lines in Small- to Medium-Size Companies (SJ), pp. 503–504.

SAT-2010-Ben-SassonJ #bound #learning #strict

Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas (EBS, JJ), pp. 16–29.

SAT-2010-GelderS #design #satisfiability

Zero-One Designs Produce Small Hard SAT Instances (AVG, IS), pp. 388–397.

DATE-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.

DATE-2009-RemersaroRRP #generative #scalability #testing

A scalable method for the generation of small test sets (SR, JR, SMR, IP), pp. 1136–1141.

DATE-2009-YilmazC #detection #fault

Seed selection in LFSR-reseeding-based test compression for the detection of small-delay defects (MY, KC), pp. 1488–1493.

CSEET-2009-KrishnanRS #case study #collaboration #experience #industrial

Industry Academia Collaboration: An Experience Report at a Small University (PK, KJR, PAPS), pp. 117–121.

ESOP-2009-DemangeS

All Secrets Great and Small (DD, DS), pp. 207–221.

MSR-2009-LunguML #gnome #visualisation

Visualizing Gnome with the Small Project Observatory (ML, JM, ML), pp. 103–106.

STOC-2009-AronovES

Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.

STOC-2009-DietzfelbingerW #bound

Tight lower bounds for greedy routing in uniform small world rings (MD, PW), pp. 591–600.

STOC-2009-RabaniS #linear

Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.

CIAA-2009-CaronCM #automaton

Small Extended Expressions for Acyclic Automata (PC, JMC, LM), pp. 198–207.

DLT-2009-Harju #matrix #problem

Post Correspondence Problem and Small Dimensional Matrices (TH), pp. 39–46.

ICALP-v1-2009-Amano #approximate #bound

Bounds on the Size of Small Depth Circuits for Approximating Majority (KA), pp. 59–70.

CHI-2009-BaudischC #interactive

Back-of-device interaction allows creating very small touch devices (PB, GC), pp. 1923–1932.

CHI-2009-PiperH

Tabletop displays for small group study: affordances of paper and digital materials (AMP, JDH), pp. 1227–1236.

HIMI-II-2009-FujiokaAO #evaluation #performance #user interface

Evaluation of Pointing Efficiency on Small Screen Touch User Interfaces (RF, TA, HO), pp. 375–384.

ICEIS-DISI-2009-IskaniusHM #case study #enterprise #experience

Experiences of ERP use in Small Enterprises (PI, RH, MM), pp. 5–10.

ICEIS-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.

KMIS-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.

PADL-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.

SAC-2009-PinoGP #process

Key processes to start software process improvement in small companies (FJP, FG, MP), pp. 509–516.

SPLC-2009-Jarzabek #product line #variability

Pragmatic strategies for variability management in product lines in small- to medium-size companies (SJ), p. 327.

SPLC-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.

CASE-2008-MatinfarIFWK #framework #research

Calibration of the treatment beam of the Small Animal Radiation Research Platform (MM, II, EF, JW, PK), pp. 609–614.

DAC-2008-BastaniKWC #learning #predict #set

Speedpath prediction based on learning from a small set of examples (PB, KK, LCW, EC), pp. 217–222.

HT-2008-ShiBAG

The very small world of the well-connected (XS, MB, LAA, ACG), pp. 61–70.

MSR-2008-WeissgerberND #exclamation

Small patches get in! (PW, DN, SD), pp. 67–76.

STOC-2008-GopalanKZ

List-decoding reed-muller codes over small fields (PG, ARK, DZ), pp. 265–274.

STOC-2008-Umans #composition #performance #polynomial

Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.

DLT-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.

DLT-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.

LATA-2008-AlhazovCMR #hybrid #network

About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.

SEFM-2008-HansenG

Cheap and Small Counterexamples (HH, JG), pp. 53–62.

CSCW-2008-ReillyMWI #using

Small details: using one device to navigate together (DFR, BM, CRW, KMI), pp. 253–256.

ICEIS-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.

ICEIS-ISAS1-2008-OhgrenS #bibliography #enterprise #ontology

Do SME Need Ontologies? — Results from a Survey among Small and Medium-sized Enterprises (AÖ, KS), pp. 104–111.

CIKM-2008-Lee #categorisation #documentation #set #topic

Incorporating topical support documents into a small training set in text categorization (KSL), pp. 1511–1512.

ECIR-2008-ShtykhCJ #interface #mobile #web

Slide-Film Interface: Overcoming Small Screen Limitations in Mobile Web Search (RYS, JC, QJ), pp. 622–626.

ICPR-2008-HuangLZ #detection

A method of small object detection and tracking based on particle filters (YH, JL, CZ), pp. 1–4.

KDD-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.

POPL-2008-MooreG #semantics #transaction

High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.

RE-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.

SAC-2008-NishizawaC #java #refinement

A small extension to Java for class refinement (MN, SC), pp. 160–165.

FSE-2008-CottrellWD #reuse #source code

Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.

ECSA-2007-LopesTMS #architecture #component #framework

An Architectural Model for Small-Scale Component-Oriented Frameworks (SFL, AT, JLM, CAS), pp. 300–303.

ASE-2007-McIntyreW #automation #heuristic

Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.

CASE-2007-SchmidtR #queue

Queue time and x-factor characteristics for semiconductor manufacturing with small lot sizes (KS, OR), pp. 1069–1074.

DATE-2007-FavalliM #detection #fault #interactive

Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.

ICDAR-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.

ITiCSE-2007-Dooley #case study #experience

Experiences with CC2001 at a small college (JFD), p. 314.

ESOP-2007-BessonJT #abstract interpretation #proving

Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.

LATA-2007-Martugin #automaton

A series of slowly synchronizable automata with a zero state over a small alphabet (PVM), pp. 391–402.

CHI-2007-ZiefleSSM #how

How younger and older adults master the usage of hyperlinks in small screen devices (MZ, US, JS, TM), pp. 307–316.

HCI-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.

HIMI-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.

HIMI-MTT-2007-Aikio #approach #development #usability

Exporting Usability Knowledge into a Small-Sized Software Development Organization — A Pattern Approach (KPA), pp. 3–11.

HIMI-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.

HIMI-MTT-2007-JungK #information management

A Methodology for Construction Information System for Small Size Organization with Excel/VBA (HSJ, THK), pp. 642–649.

ICEIS-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.

ICML-2007-ChenJ #classification #feature model #set

Minimum reference set based feature selection for small sample classifications (XwC, JCJ), pp. 153–160.

TOOLS-EUROPE-2007-KolovosPPR #in the small

Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.

RE-2007-ArandaEW #how #requirements

Requirements in the wild: How small companies do it (JA, SME, GW), pp. 39–48.

ESEC-FSE-2007-El-SheikhT #bibliography #development #web

A survey of web engineering practice in small Jordanian web development firms (AES, HT), pp. 481–490.

GTTSE-2007-ChellappaFP #how #performance

How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.

ICSE-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.

SPLC-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.

SMT-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.

CSL-2007-AehligCN #complexity

Relativizing Small Complexity Classes and Their Theories (KA, SAC, PN), pp. 374–388.

SAT-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.

CBSE-2006-KadriMS #case study #enterprise #experience

CBSE in Small and Medium-Sized Enterprise: Experience Report (RK, FM, SS), pp. 154–165.

ASE-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.

CASE-2006-LuHLL #detection #image

Detecting Small Target of Ship at Sea by Infrared Image (JWL, YJH, HYL, FLL), pp. 165–169.

DAC-2006-AhmedTJ #fault

Timing-based delay test for screening small delay defects (NA, MT, VJ), pp. 320–325.

VLDB-2006-KimBLLJ #embedded #memory management #named

LGeDBMS: A Small DBMS for Embedded System with Flash Memory (GJK, SCB, HSL, HDL, MJJ), pp. 1255–1258.

TACAS-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.

STOC-2006-FeigeM

Finding small balanced separators (UF, MM), pp. 375–384.

STOC-2006-KampRVZ

Deterministic extractors for small-space sources (JK, AR, SPV, DZ), pp. 691–700.

STOC-2006-Rao #constant #independence

Extractors for a constant number of polynomially small min-entropy independent sources (AR), pp. 497–506.

ICALP-v1-2006-Kapoutsis

Small Sweeping 2NFAs Are Not Closed Under Complement (CAK), pp. 144–156.

CSCW-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.

CSCW-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.

ICEIS-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.

ICML-2006-HertzBW #classification #kernel #learning

Learning a kernel function for classification with small training samples (TH, ABH, DW), pp. 401–408.

ICPR-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.

SIGIR-2006-RamirezWV #using #xml

Using small XML elements to support relevance (GR, TW, APdV), pp. 693–694.

POPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code

Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.

SAC-2006-MalaquiasRC

A small-world model of the human mind (JLM, ACdR, CMBAC), pp. 15–22.

ICSE-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.

SPL-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.

CAV-2006-GershmanKS #satisfiability

Deriving Small Unsatisfiable Cores with Dominators (RG, MK, OS), pp. 109–122.

DATE-2005-WangWI #distributed #embedded #performance

A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.

IWPC-2005-Sim #architecture #social

A Small Social History of Software Architecture (SES), pp. 341–344.

CIAA-2005-Sakarovitch #automaton

The Language, the Expression, and the (Small) Automaton (JS), pp. 15–30.

DLT-2005-AlhazovFO

Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells (AA, RF, MO), pp. 100–111.

CHI-2005-KarlsonBS #design

AppLens and launchTile: two designs for one-handed thumb use on small devices (AKK, BBB, JS), pp. 201–210.

CHI-2005-LamB #summary #web

Summary thumbnails: readable overviews for small screen web browsers (HL, PB), pp. 681–690.

CHI-2005-XieLGM #image #learning

Learning user interest for image browsing on small-form-factor devices (XX, HL, SG, WYM), pp. 671–680.

CIKM-2005-XiaoLHF #web

Slicing*-tree based web page transformation for small displays (XX, QL, DH, HF), pp. 303–304.

ECIR-2005-VinayCMW #algorithm #feedback

Evaluating Relevance Feedback Algorithms for Searching on Small Displays (VV, IJC, NMF, KRW), pp. 185–199.

LSO-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.

MLDM-2005-MakrehchiK #classification #using

Text Classification Using Small Number of Features (MM, MSK), pp. 580–589.

SAC-2005-McPhersonMO #clustering #graph #parametricity #social

Discovering parametric clusters in social small-world graphs (JM, KLM, MO), pp. 1231–1238.

SAC-2005-WattersZD

Comparing table views for small devices (CRW, RZ, JD), pp. 975–980.

ICSE-2005-VerlageK #product line

Five years of product line engineering in a small company (MV, TK), pp. 534–543.

HPCA-2005-KondoN #clustering #performance #power management

A Small, Fast and Low-Power Register File by Bit-Partitioning (MK, HN), pp. 40–49.

HPDC-2005-IamnitchiF #community

Interest-aware information dissemination in small-world communities (AI, ITF), pp. 167–175.

ICLP-2005-SarkarPC #proving

Small Proof Witnesses for LF (SS, BP, KC), pp. 387–401.

LICS-2005-KieronskiO #decidability #first-order #logic

Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.

RTA-2005-BonfanteMM #bound

Quasi-interpretations and Small Space Bounds (GB, JYM, JYM), pp. 150–164.

ITiCSE-2004-Dooley

Moving to CC2001 at a small college (JFD), pp. 196–198.

CSMR-2004-ItkonenHL #analysis #java

Application of Relation Analysis to a Small Java Software (JI, MH, VL), pp. 233–242.

WCRE-2004-HassanH #reverse engineering

The Small World of Software Reverse Engineering (AEH, RCH), pp. 278–283.

DLT-2004-Reidenbach #equivalence #on the #pattern matching #problem

On the Equivalence Problem for E-pattern Languages over Small Alphabets (DR), pp. 368–380.

ICEIS-v3-2004-ChapmanS #enterprise #guidelines #on the #security

On Information Security Guidelines for Small/Medium Enterprises (DC, LS), pp. 3–9.

ICEIS-v3-2004-RaymondRJ #enterprise

Small Enterprises’ Predisposition to Adopt an ERP (LR, SR, DJ), pp. 614–618.

ICPR-v1-2004-Kazanov04a #image

Modification of Watershed Transformation for Images, Containing Small Objects (MK), pp. 612–615.

ICPR-v2-2004-Srinivasan #approximate #segmentation

Small-world Approximations in Spectral Segmentation (SHS), pp. 36–39.

ICSE-2004-Foster #community #distributed #grid #scalability

Grid Small and Large: Distributed Systems and Global Communities (ITF), p. 27.

DAC-2003-Travaglione #algorithm #design #implementation #quantum

Designing and implementing small quantum circuits and algorithms (BT), pp. 894–899.

DATE-2003-GouraryRUZM #analysis #simulation

A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.

DRR-2003-WuL #image #web

Resource-optimized delivery of web images to small-screen devices (YW, DPL), pp. 144–155.

VLDB-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.

WCRE-2003-LiuS #process #reverse engineering

Reverse Engineering the Process of Small Novice Software Teams (YL, ES), pp. 102–112.

CHI-2003-HuangM

Semi-public displays for small, co-located groups (EMH, EDM), pp. 49–56.

ICEIS-v3-2003-Santana #communication #enterprise

The Impact of Information and Communication Technologies in Small and Medium Enterprises (SS), pp. 637–641.

ICEIS-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.

SIGIR-2003-XueZCMZL #analysis #web

Implicit link analysis for small web search (GRX, HJZ, ZC, WYM, HZ, CJL), pp. 56–63.

PPDP-2003-WuAS #proving

Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.

ESEC-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.

HPCA-2003-RedstoneEL #named #smt #thread

Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.

LCTES-2003-ShaylorSB #architecture #java #virtual machine

A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.

VLDB-2002-Vingralek #database #named

GnatDb: A Small-Footprint, Secure Database System (RV), pp. 884–893.

ESOP-2002-WandW #analysis #composition #proving

A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.

STOC-2002-GilbertGIKMS #algorithm #approximate #maintenance #performance

Fast, small-space algorithms for approximate histogram maintenance (ACG, SG, PI, YK, SM, MS), pp. 389–398.

ICALP-2002-Ollinger #automaton

The Quest for Small Universal Cellular Automata (NO), pp. 318–329.

ICEIS-2002-CostaA

Evaluating EMS Value — The Case of a Small Accountancy Firm (CJC, PA), pp. 460–466.

ICEIS-2002-GarciaBHGL #e-commerce #enterprise

An E-Commerce Model for Small and Medium Enterprises (FJGP, IB, MJH, ABG, MAL), pp. 1035–1041.

ICPR-v3-2002-HuangLLM #problem

Solving the Small Sample Size Problem of LDA (RH, QL, HL, SM), pp. 29–32.

SEKE-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.

HT-2001-Bjorneborn

Small-world linkage and co-linkage (LB), pp. 133–137.

ICDAR-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.

ICEIS-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.

ICEIS-v2-2001-Virginas #enterprise #workflow

Agent Based Workflows for Small to Medium Enterprises (BV), pp. 1091–1093.

CIKM-2001-ToutanovaCPH #classification #set

Text Classification in a Hierarchical Mixture Model for Small Training Sets (KT, FC, KP, TH), pp. 105–112.

ICSE-2001-White #java

An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.

SAT-2001-BruniS #maintenance #satisfiability

Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae (RB, AS), pp. 162–173.

ITiCSE-2000-DannCP #programming

Making the connection: programming with animated small world (WD, SC, RP), pp. 41–44.

STOC-2000-Kleinberg #algorithm #perspective

The small-world phenomenon: an algorithmic perspective (JMK), pp. 163–170.

STOC-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.

ICFP-2000-Okasaki #algorithm #design #lessons learnt

Breadth-first numbering: lessons from a small exercise in algorithm design (CO), pp. 131–136.

CHI-2000-SmithFD #chat #social #visual notation

The social life of small graphical chat spaces (MAS, SF, SMD), pp. 462–469.

CSCW-2000-FarnhamCMKL #interactive #online

Structured online interactions: improving the decision-making of small discussion groups (SF, HRC, DEM, RK, JL), pp. 299–308.

ICEIS-2000-ChesneyF #modelling #requirements

Increasing End User Involvement in Requirements Modelling in Small Organisations (TC, HF), pp. 248–252.

ICEIS-2000-ThomasASC #enterprise

Evaluatin IT Usage in Small and Medium Sized Enterprises (DTT, AA, HS, DJC), pp. 355–362.

ICPR-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.

ICPR-v2-2000-HwangLBV #re-engineering

Face Reconstruction from a Small Number of Feature Points (BWH, SWL, VB, TV), pp. 2838–2837.

ICPR-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.

KDD-2000-PadmanabhanT #set

Small is beautiful: discovering the minimal set of unexpected patterns (BP, AT), pp. 54–63.

SIGIR-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.

SAC-2000-AbiadHM #big data #database #metric

Software Metrics for Small Database Applications (SA, RAH, NM), pp. 866–870.

SAC-2000-Lyon #assurance #protocol #web

Assurance Protocols and Small Web Retailers (GEL), pp. 904–908.

ICSE-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.

DAC-1999-LachMP #multi #robust

Robust FPGA Intellectual Property Protection Through Multiple Small Watermarks (JL, WHMS, MP), pp. 831–836.

DATE-1999-TanS #diagrams #scalability #using

Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.

ITiCSE-1999-Levin99a #implementation

The implementation of a data communications laboratory in small to medium sized universities (MHL), p. 187.

STOC-1999-CapalboK #graph

Small Universal Graphs (MRC, SRK), pp. 741–749.

STOC-1999-DinurFKRS #towards

PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.

ICALP-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.

HCI-EI-1999-Chuan #case study #using #web

Small Group CSCW Using Web Recources: A Case Study (TKC), pp. 788–792.

HCI-EI-1999-Kuutti99a #community #human-computer #interface #question

Small interfaces — a blind spot of the academical HCI community? (KK), pp. 710–714.

HCI-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.

TOOLS-USA-1999-Morrisette #evolution #object-oriented

Evolution of a Small Object Oriented Manufacturing System (TMM), p. 33–?.

SAC-1999-RowMAW #linux #network #security

Security Issues in Small Linux Networks (WMR, DJM, BLA, AHW), pp. 506–510.

SOSP-1999-ZuberiPS #kernel #named #realtime

EMERALDS: a small-memory real-time microkernel (KMZ, PP, KGS), pp. 277–299.

CAV-1999-PnueliRSS #similarity

Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.

ICLP-1999-Truszczynski #modelling #scalability

Computing Large and Small Stable Models (MT), pp. 169–183.

VLDB-1998-Moerkotte

Small Materialized Aggregates: A Light Weight Index Structure for Data Warehousing (GM), pp. 476–487.

ICML-1998-WeissH #problem

The Problem with Noise and Small Disjuncts (GMW, HH), p. 574–?.

ICPR-1998-BoccignoneCP #detection #using

Small target detection using wavelets (GB, AC, AP), pp. 1776–1778.

TOOLS-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.

ICSE-1998-DemirorsDDK #certification #process #towards

Process Improvement Towards ISO 9001 Certification in a Small Software Organization (ED, OD, OD, BK), pp. 435–438.

LCTES-1998-YurkoskiRE #java #using

Using InfernoTM to Execute JavaTM on Small Devices (CFY, LRR, BKE), pp. 108–118.

CADE-1998-NonnengartRW #generative #normalisation #on the

On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.

CHI-1997-ScholtzSLN #design #named

Design: No Job too Small (JS, TS, PL, JN), pp. 447–454.

OOPSLA-1997-ZendraCC #compilation #performance

Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.

ICSE-1997-BrodmanJ #approach #process #tutorial

A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial) (JGB, DLJ), pp. 661–662.

ICLP-1997-CaseauL #constraints

Solving Small TSPs with Constraints (YC, FL), pp. 316–330.

CHI-1996-KambaEHSS #using

Using Small Screen Space More Efficiently (TK, SAE, TH, TS, PNS), pp. 383–390.

ICPR-1996-ChenJ #behaviour #network #on the

On the small sample behavior of the class-sensitive neural network (CHC, AJ), pp. 209–213.

ICPR-1996-SkurichinaD #classification

Stabilizing classifiers for very small sample sizes (MS, RPWD), pp. 891–896.

HPCA-1996-NayfehOS #clustering #multi

The Impact of Shared-Cache Clustering in Small-Scale Shared-Memory Multiprocessors (BAN, KO, JPS), pp. 74–84.

STOC-1995-BonetPR #bound #proving

Lower bounds for cutting planes proofs with small coefficients (MLB, TP, RR), pp. 575–584.

DLT-1995-Galvez #lr #parsing #stack

A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.

ICALP-1995-ChaudhuriZ #graph #query

Shortest Path Queries in Digraphs of Small Treewidth (SC, CDZ), pp. 244–255.

ICALP-1995-KoblerW

New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.

CHI-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.

ICML-1995-AuerHM #theory and practice

Theory and Applications of Agnostic PAC-Learning with Small Decision Trees (PA, RCH, WM), pp. 21–29.

ICML-1995-Weiss #learning

Learning with Rare Cases and Small Disjuncts (GMW), pp. 558–565.

SAC-1995-MotzkinEKT #database #evaluation #performance

A tool for performance evaluation of database systems for small computer systems (DM, RE, MK, ST), pp. 420–426.

SAC-1995-SmithPN #analysis #network #performance

Performance analysis of small FDDI networks (JS, LDP, TN), pp. 401–405.

STOC-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.

STOC-1994-KhullerRY

Low degree spanning trees of small weight (SK, BR, NEY), pp. 412–421.

ICALP-1994-ItalianoR #maintenance

Maintaining Spanning Trees of Small Diameter (GFI, RR), pp. 227–238.

CSCW-1994-RouncefieldHRV #constant

Working with “Constant Interruption”: CSCW and the Small Office (MR, JAH, TR, SV), pp. 275–286.

CSCW-1994-Toth #interactive #social

The Effects of Interactive Graphics and Text on Social Influence in Computer-Mediated Small Groups (JAT), pp. 299–310.

TRI-Ada-1994-LuksL #ada #education

Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.

ICML-1994-AhaLLM #learning #recursion #set

Learning Recursive Relations with Randomly Selected Small Training Sets (DWA, SL, CXL, SM), pp. 12–18.

ICML-1994-WeissI

Small Sample Decision tree Pruning (SMW, NI), pp. 335–342.

SAC-1994-MitrpanontGC

PAD-BASED expert system in small computer (JLM, KMG, GWC), pp. 36–41.

SAC-1994-Poulin #library #reuse #scalability

Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.

ICSE-1994-BrodmanJ #case study #experience #what

What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.

STOC-1993-Bodlaender #algorithm #linear

A linear time algorithm for finding tree-decompositions of small treewidth (HLB), pp. 226–234.

STOC-1993-KollerM #constraints

Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.

STOC-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.

ICML-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.

STOC-1992-BealsS #composition #linear

Structure Forest and Composition Factors for Small Base Groups in Nearly Linear Time (RB, ÁS), pp. 116–125.

STOC-1992-KlugermanP #network

Small-Depth Counting Networks (MK, CGP), pp. 417–428.

STOC-1992-Rao #algorithm #graph #performance

Faster Algorithms for Finding Small Edge Cuts in Planar Graphs (Extended Abstract) (SR), pp. 229–240.

CHI-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.

CC-1992-Galvez #generative #lr #parsing

Generating LR(1) Parsers of Small Size (JFG), pp. 16–29.

DAC-1991-Srinivasan #algorithm

An Algorithm for Performance-Driven Initial Placement of Small-Cell ICs (AS), pp. 636–639.

STOC-1990-NaorN #performance #probability

Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.

VDME-1990-HaastrupG #correctness #in the small

Correctness in the Small (PH, CG), pp. 72–98.

POPL-1990-SekarPR #analysis #performance #strict

Small Domains Spell Fast Strictness Analysis (RCS, SP, IVR), pp. 169–183.

STOC-1989-Vallee #integer #performance #polynomial

Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.

LICS-1989-Gischer

A Small Universal Model for System Executions (JLG), pp. 146–153.

STOC-1988-FraysseixPP #graph #set

Small Sets Supporting Fáry Embeddings of Planar Graphs (HdF, JP, RP), pp. 426–433.

DAC-1987-Serlet #combinator #performance

Fast, Small, and Static Combinatorial CMOS Circuits (BS), pp. 451–458.

HCI-SES-1987-Miller #scalability

Small Windows on a Large System (DPM), pp. 105–112.

SOSP-1987-BirrellJW #big data #database #implementation #performance

A Simple and Efficient Implementation for Small Databases (AB, MBJ, EW), pp. 149–154.

STOC-1986-Hastad #bound

Almost Optimal Lower Bounds for Small Depth Circuits (JH), pp. 6–20.

PODS-1985-MannilaR #database #design

Small Armstrong Relations for Database Design (HM, KJR), pp. 245–250.

STOC-1984-Miller #graph

Finding Small Simple Cycle Separators for 2-Connected Planar Graphs (GLM), pp. 376–382.

ICSE-1982-Runge

The Inspection Method Applied to Small Projects (BR), pp. 416–417.

ILPC-1982-PereiraP82 #implementation #prolog #scalability

A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.

VLDB-1980-Walker #database #on the #retrieval #scalability

On Retrieval from a Small Version of a Large Data Base (AW), pp. 47–54.

SOSP-1979-Gehringer #problem

Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.

DAC-1973-FullenwiderR #architecture #implementation

Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.

DAC-1972-McClure #fault #logic #simulation

Fault simulation of digital logic utilizing a small host machine (RMM), pp. 104–110.

SOSP-1969-Mills #multi

Multiprogramming in a small-systems environment (DLM), pp. 112–119.