Stem size$ (all stems)

593 papers:

CASE-2015-LinHK #algorithm #fuzzy #image #segmentation

A noise- and size-insensitive integrity-based fuzzy c-means algorithm for image segmentation (PLL, PWH, CHK), pp. 1282–1287.

DAC-2015-LahiouelZT #smt #towards #using

Towards enhancing analog circuits sizing using SMT-based techniques (OL, MHZ, ST), p. 6.

DAC-2015-RoyLUP #multi #named #optimisation #paradigm #performance

OSFA: a new paradigm of gate-sizing for power/performance optimizations under multiple operating conditions (SR, DL, JU, DZP), p. 6.

DATE-2015-AfacanBPDB #hybrid #monte carlo

A hybrid Quasi Monte Carlo method for yield aware analog circuit sizing tool (EA, GB, AEP, GD, IFB), pp. 1225–1228.

DATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #optimisation #robust

GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.

DATE-2015-LourencoMH #using

Layout-aware sizing of analog ICs using floorplan & routing estimates for parasitic extraction (NCL, RM, NH), pp. 1156–1161.

DATE-2015-TchagouTMVSQ #multi #testing

Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.

SIGMOD-2015-FakasCM #keyword #summary

Diverse and Proportional Size-l Object Summaries for Keyword Search (GJF, ZC, NM), pp. 363–375.

VLDB-2015-PapadopoulosPTT #authentication #pattern matching #proving

Practical Authenticated Pattern Matching with Optimal Proof Size (DP, CP, RT, NT), pp. 750–761.

VLDB-2015-VengerovMZC #estimation

Join Size Estimation Subject to Filter Conditions (DV, ACM, MZ, SC), pp. 1530–1541.

STOC-2015-LeeRS #bound #programming

Lower Bounds on the Size of Semidefinite Programming Relaxations (JRL, PR, DS), pp. 567–576.

DLT-2015-BianchiHK #automaton #liveness #on the #problem

On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.

ICALP-v1-2015-FullaZ #constraints #infinity

A Galois Connection for Valued Constraint Languages of Infinite Size (PF, SZ), pp. 517–528.

ICALP-v2-2015-AvinLNP #network

Core Size and Densification in Preferential Attachment Networks (CA, ZL, YN, DP), pp. 492–503.

LATA-2015-AmanoS #bound #multi #polynomial

A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP (KA, AS), pp. 461–472.

LATA-2015-BeyersdorffCS #game studies

A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.

CHI-2015-AvellinoFB #gesture

Accuracy of Deictic Gestures to Support Telepresence on Wall-sized Displays (IA, CF, MBL), pp. 2393–2396.

CHI-2015-HongHIL #named

SplitBoard: A Simple Split Soft Keyboard for Wristwatch-sized Touch Screens (JH, SH, PI, GL), pp. 1233–1236.

CHI-2015-RedaJPL #behaviour #visual notation

Effects of Display Size and Resolution on User Behavior and Insight Acquisition in Visual Exploration (KR, AEJ, MEP, JL), pp. 2759–2768.

CHI-2015-RobertR #performance

Crowd Size, Diversity and Performance (LR, DMR), pp. 1379–1382.

DUXU-UI-2015-KangK #documentation #experience #framework #in the cloud #smarttech #user interface

Elements of Properties of User Experience in Cloud Computing Documentation Platform According to Smart Device Screen Size Changes: Focus on Google Docs and Naver Office (MKK, SWK), pp. 551–562.

HCI-IT-2015-HaraUO #smarttech

Effect of Button Size and Location When Pointing with Index Finger on Smartwatch (KH, TU, NO), pp. 165–174.

HIMI-IKD-2015-KaoW #concept #interface #web

Narrower Conceptual Scope in the App Than the Web Store Interface — The Size Does It and the Ad Has It (CLK, MYW), pp. 204–214.

HIMI-IKD-2015-LinL15a #smarttech

This Study of Hand Anthropometry and Touchscreen Size of Smartphones (YCL, MHL), pp. 617–626.

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.

ECIR-2015-Kelly #analysis #estimation #information retrieval #statistics

Statistical Power Analysis for Sample Size Estimation in Information Retrieval Experiments with Users (DK), pp. 822–825.

KDD-2015-FisherCWR #clustering #framework

A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.

SIGIR-2015-KellyA #behaviour #case study #experience #how #user interface

How many results per page?: A Study of SERP Size, Search Behavior and User Experience (DK, LA), pp. 183–192.

SAC-2015-DAvanzoFGS #estimation #functional #metric #mobile

COSMIC functional measurement of mobile applications and code size estimation (LD, FF, CG, PS), pp. 1631–1636.

CC-2015-DarteI #approximate #optimisation #parametricity

Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.

HPCA-2015-PekhimenkoHCMGK #reuse

Exploiting compressed block size as an indicator of future reuse (GP, TH, RC, OM, PBG, MAK, TCM), pp. 51–63.

ISMM-2015-CameronSV #multi

The judgment of forseti: economic utility for dynamic heap sizing of multiple runtimes (CC, JS, DV), pp. 143–156.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

CASE-2014-MingMT #optimisation

Reducing carbon emission of ocean shipments by optimizing container size selection (ECLM, NLM, KWT), pp. 480–485.

DAC-2014-LinHL

Parasitic-aware Sizing and Detailed Routing for Binary-weighted Capacitors in Charge-scaling DAC (MPHL, VWHH, CYL), p. 6.

DAC-2014-LinRGDS #algorithm #performance

An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.

DAC-2014-MotamanG #array #robust #self #testing

Simultaneous Sizing, Reference Voltage and Clamp Voltage Biasing for Robustness, Self-Calibration and Testability of STTRAM Arrays (SM, SG), p. 2.

DATE-2014-ParkKK #design #multi #synthesis

Mixed allocation of adjustable delay buffers combined with buffer sizing in clock tree synthesis of multiple power mode designs (KP, GK, TK), pp. 1–4.

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.

DocEng-2014-BoschGL #automation #css #reduction #refactoring

Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.

TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #runtime #source code

Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.

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

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

STOC-2014-ArtemenkoS #generative #pseudo

Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.

FLOPS-2014-Sacchini #calculus #linear

Linear Sized Types in the Calculus of Constructions (JLS), pp. 169–185.

CHI-2014-LiuCBLM #classification #navigation

Effects of display size and navigation type on a classification task (CL, OC, MBL, EL, WEM), pp. 4147–4156.

CHI-2014-RadleJMR #navigation #performance

Bigger is not always better: display size, performance, and task load during peephole map navigation (RR, HCJ, JM, HR), pp. 4127–4136.

CHI-2014-ReetzG #gesture #identification

Making big gestures: effects of gesture size on observability and identification for co-located group awareness (AR, CG), pp. 4087–4096.

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.

HIMI-DE-2014-SuzukiSI #interactive #multi

Analyzing Structure of Multiparty Interaction: Group Size Effect in Story-Retelling Task (NS, MS, NI), pp. 261–270.

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

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

CIKM-2014-HeiseKN #clustering

Estimating the Number and Sizes of Fuzzy-Duplicate Clusters (AH, GK, FN), pp. 959–968.

CIKM-2014-JonesTMSS #comprehension #consistency #evaluation #matter #nondeterminism

Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.

ECIR-2014-AlarfajKF #adaptation #retrieval

Exploring Adaptive Window Sizes for Entity Retrieval (FA, UK, CF), pp. 573–578.

ICPR-2014-ZhaiSDJ #multi

Covariance-Based PCA for Multi-size Data (MZ, FS, DD, NJ), pp. 1603–1608.

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.

RecSys-2014-GueyeAN #algorithm #recommendation

A parameter-free algorithm for an optimized tag recommendation list size (MG, TA, HN), pp. 233–240.

RecSys-2014-VargasBKC #recommendation

Coverage, redundancy and size-awareness in genre diversity for recommender systems (SV, LB, AK, PC), pp. 209–216.

MoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.

MoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.

RE-2014-AntonelliRLO #using

Language Extended Lexicon points: Estimating the size of an application using its language (LA, GR, JCSdPL, AO), pp. 263–272.

LCTES-2014-KochFBD #reduction #similarity

Exploiting function similarity for code size reduction (TJKEvK, BF, PB, AD), pp. 85–94.

ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.

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-HsuCHCC #design

Routability-driven placement for hierarchical mixed-size circuit designs (MKH, YFC, CCH, TCC, YWC), p. 6.

DATE-2013-ChenWLL #automation #flexibility #process

Automatic circuit sizing technique for the analog circuits with flexible TFTs considering process variation and bending effects (YLC, WRW, GRL, CNJL), pp. 1458–1461.

DATE-2013-LivramentoGGJ #performance

Fast and efficient lagrangian relaxation-based discrete gate sizing (VSL, CG, JLG, MOJ), pp. 1855–1860.

DocEng-2013-PiccoliO #automation #documentation #flexibility #layout

Balancing font sizes for flexibility in automated document layout (RFBP, JBSdO), pp. 151–160.

DRR-2013-RicquebourgCG #evaluation #recognition #robust #verification #word

Evaluation of lexicon size variations on a verification and rejection system based on SVM, for accurate and robust recognition of handwritten words (YR, BC, LG).

ICDAR-2013-DiamantatosVK #detection #documentation #image

Detecting Main Body Size in Document Images (DP, VV, EK), pp. 1160–1164.

ICDAR-2013-SlimaneKAAIH #contest #multi

ICDAR2013 Competition on Multi-font and Multi-size Digitally Represented Arabic Text (FS, SK, HEA, AMA, RI, JH), pp. 1433–1437.

PEPM-2013-Simon #type inference #using

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

STOC-2013-KomargodskiR #bound

Average-case lower bounds for formula size (IK, RR), pp. 171–180.

CIAA-J-2012-KutribO13 #automaton #complexity #on the

On the Descriptional Complexity of the Window Size for Deleting Restarting Automata (MK, FO), pp. 831–846.

ICALP-v1-2013-BauerCRW

Search-Space Size in Contraction Hierarchies (RB, TC, IR, DW), pp. 93–104.

ICALP-v1-2013-Curticapean

Counting Matchings of Size k Is W[1]-Hard (RC), pp. 352–363.

ICALP-v1-2013-KucherovN #constant #realtime

Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.

LATA-2013-FreivaldsZP #automaton #complexity #on the

On the Size Complexity of Deterministic Frequency Automata (RF, TZ, GRP), pp. 287–298.

DHM-HB-2013-KimATBHJ #performance #process #type system

The Effects of Touch Screen Virtual Keyboard Key Sizes on Typing Performance, Typing Biomechanics and Muscle Activity (JHK, LSA, OT, MCB, CAH, PWJ), pp. 239–244.

DUXU-WM-2013-WelchK #mobile #usability

Determining the Effect of Menu Element Size on Usability of Mobile Applications (SW, SJK), pp. 740–749.

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.

HCI-AMTE-2013-BorsciMB #assessment #data transformation

A Grounded Procedure for Managing Data and Sample Size of a Home Medical Device Assessment (SB, JLM, JB), pp. 166–175.

HCI-AMTE-2013-TanoKHIHI #3d #sketching

Enhanced 3D Sketch System Incorporating “Life-Size” and “Operability” Functions (ST, NK, XH, JI, TH, MI), pp. 480–489.

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-D-2013-ManiwaKSA

Changes in Posture of the Upper Extremity Through the Use of Various Sizes of Tablets and Characters (HM, KK, SS, TA), pp. 89–96.

HIMI-HSM-2013-ChiangWCH #analysis #performance #smarttech

An Analysis of Smartphone Size Regarding Operating Performance (ZHC, CCW, ACC, CyH), pp. 363–372.

EDOC-2013-GuediHMN

Sizing the Underlying Factorization Structure of a Class Model (AOG, MH, AM, CN), pp. 167–172.

ICEIS-J-2013-RudraGA13a #approximate #query

Estimating Sufficient Sample Sizes for Approximate Decision Support Queries (AR, RPG, NRA), pp. 85–99.

ICEIS-v1-2013-SotoCBM #constraints #health

Nurse Rostering with Soft Constraints — Evidence from Chilean Mid-size Health Care Centers (RS, BC, RB, EM), pp. 430–435.

CIKM-2013-GanuM #multi #web

One size does not fit all: multi-granularity search of web forums (GG, AM), pp. 9–18.

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.

SIGIR-2013-TakumaY #bound #performance

Faster upper bounding of intersection sizes (DT, HY), pp. 703–712.

OOPSLA-2013-UrecheTO #morphism #named #parametricity #polymorphism #trade-off

Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations (VU, CT, MO), pp. 73–92.

SAC-2013-FerreiraM

Estimating the size of data mart projects (WGF, HTMN), pp. 1147–1148.

SAC-2013-TheodouliG #adaptation #data-driven #query #web #web service

Adaptive memory-aware chunk sizing techniques for data-intensive queries over web services (AT, AG), pp. 826–831.

SAC-2013-ToledoAOD #algorithm #hybrid #multi #problem #search-based

A hybrid compact genetic algorithm applied to the multi-level capacitated lot sizing problem (CFMT, MdSA, RRRdO, ACBD), pp. 200–205.

ESEC-FSE-2013-RahmanPHD #bias #fault #predict

Sample size vs. bias in defect prediction (FR, DP, IH, PTD), pp. 147–157.

ICSE-2013-StaplesKKLAMJB #specification

Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.

ISMM-2013-WhiteSAJ

Control theory for principled heap sizing (DRW, JS, JMA, REJ), pp. 27–38.

PPoPP-2013-GrassoKCF #automation #clustering #parallel #problem

Automatic problem size sensitive task partitioning on heterogeneous parallel systems (IG, KK, BC, TF), pp. 281–282.

CSL-2013-GhasemlooC #bound #proving

Theories for Subexponential-size Bounded-depth Frege Proofs (KG, SAC), pp. 296–315.

ICTSS-2013-BadriBF #case study #empirical #predict #testing

Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.

DAC-2012-ForoutanSP #3d #interface #low cost #using

Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces (SF, AS, FP), pp. 366–375.

DAC-2012-LiuAHG #standard

Standard cell sizing for subthreshold operation (BL, MA, JH, JPdG), pp. 962–967.

STOC-2012-Belovs #source code

Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.

FLOPS-2012-Morihata #algorithm #parallel #problem

Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.

DLT-J-2011-BrodaMMR12 #automaton #on the

On the Average Size of Glushkov and Partial derivative Automata (SB, AM, NM, RR), pp. 969–984.

CIAA-2012-KutribO #automaton #complexity #on the

On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata (MK, FO), pp. 253–264.

ICALP-v1-2012-LaekhanukitGS #approach #problem

A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem (BL, SOG, MS), pp. 606–616.

CHI-2012-JansenDF

Tangible remote controllers for wall-size displays (YJ, PD, JDF), pp. 2865–2874.

CHI-2012-KimBGCV #3d #estimation #named

TeleHuman: effects of 3d perspective on gaze and pose estimation with a life-size cylindrical telepresence pod (KK, JB, AG, JC, RV), pp. 2531–2540.

CHI-2012-NarumiBKTH #artificial reality

Augmented perception of satiety: controlling food consumption by changing apparent size of food with augmented reality (TN, YB, TK, TT, MH), pp. 109–118.

CIKM-2012-KupavskiiOUUSGK #predict #twitter

Prediction of retweet cascade size over time (AK, LO, AU, SU, PS, GG, AK), pp. 2335–2338.

ECIR-2012-AtilganAU #keyword #on the #xml

On the Size of Full Element-Indexes for XML Keyword Search (DA, ISA, ÖU), pp. 556–560.

ICML-2012-SunGS #kernel #on the #online #taxonomy

On the Size of the Online Kernel Sparsification Dictionary (YS, FJG, JS), p. 79.

CC-2012-ShirakoSFPRSS #bound

Analytical Bounds for Optimal Tile Size Selection (JS, KS, NF, LNP, JR, PS, VS), pp. 101–121.

SMT-2012-KovasznaiFB #complexity #logic #on the

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.

DAC-2011-JooK #fine-grained #named

WaveMin: a fine-grained clock buffer polarity assignment combined with buffer sizing (DJ, TK), pp. 522–527.

DATE-2011-BoosNSHHGKS #analysis

Strategies for initial sizing and operating point analysis of analog circuits (VB, JN, MS, SH, SH, HG, DK, RS), pp. 1672–1674.

DATE-2011-BradyHS

Counterexample-guided SMT-driven optimal buffer sizing (BAB, DEH, SAS), pp. 329–334.

DATE-2011-RabaeyMCSTGWW #communication

Powering and communicating with mm-size implants (JMR, MM, DC, CS, CT, SG, MW, DW), pp. 722–727.

DATE-2011-RahmanTS #reduction

Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.

ICDAR-2011-ChiangK #multi #recognition

Recognition of Multi-oriented, Multi-sized, and Curved Text (YYC, CAK), pp. 1399–1403.

ICDAR-2011-SlimaneKAAIH #contest #multi #recognition

ICDAR 2011 — Arabic Recognition Competition: Multi-font Multi-size Digitally Represented Text (FS, SK, HEA, AMA, RI, JH), pp. 1449–1453.

VLDB-2011-LeeNS #estimation #locality #similarity #using

Similarity Join Size Estimation using Locality Sensitive Hashing (HL, RTN, KS), pp. 338–349.

VLDB-2012-FakasCM11 #keyword #relational #summary

Size-l Object Summaries for Relational Keyword Search (GJF, ZC, NM), pp. 229–240.

SAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code

Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.

STOC-2011-MarxR #multi #parametricity

Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.

STOC-2011-ValiantV

Estimating the unseen: an n/log(n)-sample estimator for entropy and support size, shown optimal via new CLTs (GV, PV), pp. 685–694.

DLT-J-2009-BealBP11 #automaton #bound #clustering #polynomial #word

A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, MVB, DP), pp. 277–288.

CIAA-J-2010-Birget11 #on the

On the Circuit-Size of inverses (JCB), pp. 1925–1938.

ICALP-v1-2011-BulatovM #constraints

Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.

ICALP-v1-2011-JansenS #constant #polynomial

Permanent Does Not Have Succinct Polynomial Size Arithmetic Circuits of Constant Depth (MJJ, RS), pp. 724–735.

CHI-2011-JakobsenH #bibliography #interface #visualisation

Sizing up visualizations: effects of display size in focus+context, overview+detail, and zooming interfaces (MRJ, KH), pp. 1451–1460.

CHI-2011-NancelWPCM

Mid-air pan-and-zoom on wall-sized displays (MN, JW, EP, OC, WEM), pp. 177–186.

CHI-2011-WhiteRL #community #social

Effects of community size and contact rate in synchronous social q&a (RWW, MR, YL), pp. 2837–2846.

DHM-2011-ZhangWRFHLN11a #development

Development of Sizing Systems for Chinese Minors (XZ, YW, LR, AF, KH, TL, JN), pp. 46–55.

DUXU-v1-2011-KaptanG #design #guidelines #implementation #physics #usability #user interface

Effects of Physical Display Size on GUI Designers’ Perception and Implementation of Usability Guidelines (SNK, MG), pp. 128–137.

ICEIS-v3-2011-HuaQL #order

Optimal Order Lot Sizing and Pricing with Carbon Trade (GH, HQ, JL), pp. 533–536.

ICML-2011-KuleszaT #named #process

k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.

ICML-2011-NaganoKA

Size-constrained Submodular Minimization through Minimum Norm Base (KN, YK, KA), pp. 977–984.

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.

MoDELS-2011-LindH #approach #automation #component #embedded #estimation #modelling

A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.

MoDELS-2011-LindH #approach #automation #component #embedded #estimation #modelling

A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.

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.

REFSQ-2011-WnukRB #challenge #complexity #development #requirements #scalability

Scaling Up Requirements Engineering — Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development (KW, BR, BB), pp. 54–59.

ICSE-2011-CurtisSS #evaluation #matter #quality #question

An evaluation of the internal quality of business applications: does size matter? (BC, JS, JS), pp. 711–715.

HPCA-2011-GhasemiDK #architecture #using

Low-voltage on-chip cache architecture using heterogeneous cell sizes for high-performance processors (HRG, SCD, NSK), pp. 38–49.

CASE-2010-ShahiniMY

Characterization of micro forces in pushing flat micro-sized objects (MS, WWM, JTWY), pp. 539–544.

DAC-2010-BeeceXVZL #parametricity

Transistor sizing of custom high-performance digital circuits with parametric yield considerations (DKB, JX, CV, VZ, YL), pp. 781–786.

DAC-2010-GuptaKKS #benchmark #heuristic #metric #named

Eyecharts: constructive benchmarking of gate sizing heuristics (PG, ABK, AK, PS), pp. 597–602.

DATE-2010-WiggersBGB #graph

Simultaneous budget and buffer size computation for throughput-constrained task graphs (MW, MB, MG, TB), pp. 1669–1672.

PODS-2010-BenderHK #performance

Performance guarantees for B-trees with different-sized atomic keys (MAB, HH, BCK), pp. 305–316.

SIGMOD-2010-DasguptaJJZD #database #estimation #web

Unbiased estimation of size and other aggregates over hidden web databases (AD, XJ, BJ, NZ, GD), pp. 855–866.

ICSM-2010-Nguyen #estimation #maintenance #modelling

Improved size and effort estimation models for software maintenance (VN), pp. 1–2.

PEPM-2010-AndersonK #approximate #bound #termination

Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.

SAS-2010-HeizmannJP #invariant #termination

Size-Change Termination and Transition Invariants (MH, NDJ, AP), pp. 22–50.

FLOPS-2010-KetemaS #bound #diagrams #term rewriting #λ-calculus

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (JK, JGS), pp. 272–287.

ICALP-v2-2010-Blum #lr #on the #polynomial

On LR(k)-Parsers of Polynomial Size (NB), pp. 163–174.

ILC-2010-UgawaIY #garbage collection #incremental

Starvation-free heap size for replication-based incremental compacting garbage collection (TU, HI, TY), pp. 43–52.

CHI-2010-HeGH #design #energy #feedback

One size does not fit all: applying the transtheoretical model to energy feedback technology design (HAH, SG, EMH), pp. 927–936.

CHI-2010-LiMW

A model of symbol size discrimination in scatterplots (JL, JBM, JJvW), pp. 2553–2562.

ICEIS-HCI-2010-ArmeniseBT #adaptation #automation #web

A Tool for Automatic Adaptation of Web Pages to Different Screen Size (RA, CB, LT), pp. 91–98.

CIKM-2010-GMLPG #trade-off

Relevance-index size tradeoff in contextual advertising (PKG, KPL, MP, SG), pp. 1721–1724.

CIKM-2010-SautterBK #estimation

Result-size estimation for information-retrieval subqueries (GS, KB, AK), pp. 709–718.

ICPR-2010-BharathM #empirical #on the #online #recognition #word

On the Significance of Stroke Size and Position for Online Handwritten Devanagari Word Recognition: An Empirical Study (AB, SM), pp. 2033–2036.

ICPR-2010-HassanAMHW #authentication #image #self #using

Secure Self-Recovery Image Authentication Using Randomly-Sized Blocks (AMH, AAH, BM, YMYH, MAAW), pp. 1445–1448.

ICPR-2010-YangBGB #security

Renewable Minutiae Templates with Tunable Size and Security (BY, CB, DG, PB), pp. 878–881.

SIGIR-2010-KoolenK10a

The impact of collection size on relevance and diversity (MK, JK), pp. 727–728.

SAC-2010-ToledoOOP #algorithm #parallel #problem #scheduling #search-based

Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem (CFMT, LdO, RRRdO, MRP), pp. 1148–1152.

SPLC-2010-Jarzabek #product line #variability

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

CGO-2010-YukiRRAEO #automation #modelling

Automatic creation of tile size selection models (TY, LR, SVR, CA, AEE, KO), pp. 190–199.

CASE-2009-WuS #heuristic #multi #problem

A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.

DAC-2009-JangK

Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization (HJ, TK), pp. 794–799.

DAC-2009-ShengXM #algorithm #fault #multi #optimisation #search-based #standard

Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.

DAC-2009-XuCWZ

Improving STT MRAM storage density through smaller-than-worst-case transistor sizing (WX, YC, XW, TZ), pp. 87–90.

DAC-2009-YanVC #scalability

Handling complexities in modern large-scale mixed-size placement (JZY, NV, CC), pp. 436–441.

DATE-2009-Held #design #scalability

Gate sizing for large cell-based designs (SH), pp. 827–832.

DATE-2009-KhursheedAH #design #fault #multi #reduction

Test cost reduction for multiple-voltage designs with bridge defects through Gate-Sizing (SSK, BMAH, PH), pp. 1349–1354.

DATE-2009-PalmersMSG #multi

Massively multi-topology sizing of analog integrated circuits (PP, TM, MS, GGEG), pp. 706–711.

DATE-2009-WilsonW #configuration management #variability

Optimal sizing of configurable devices to reduce variability in integrated circuits (PRW, RW), pp. 1385–1390.

ICDAR-2009-RoyPLD #multi #programming #segmentation #using

Multi-Oriented and Multi-Sized Touching Character Segmentation Using Dynamic Programming (PPR, UP, JL, MD), pp. 11–15.

PODS-2009-GottlobLV #bound #query

Size and treewidth bounds for conjunctive queries (GG, STL, GV), pp. 45–54.

VLDB-2009-LeeNS #estimation #set #similarity

Power-Law Based Estimation of Set Similarity Join Size (HL, RTN, KS), pp. 658–669.

ITiCSE-2009-HuangB #approach #question

A unified approach to introductory computer science: can one size fit all? (TH, AB), pp. 253–257.

TACAS-2009-FogartyV #automaton #termination

Büchi Complementation and Size-Change Termination (SF, MYV), pp. 16–30.

TACAS-2009-YuBI #analysis #string #verification

Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.

MSR-2009-CaseboltKMKD #gnome

Author entropy vs. file size in the gnome suite of applications (JRC, JLK, ACM, CDK, DPD), pp. 91–94.

STOC-2009-AronovES

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

DLT-2009-BealP #automaton #bound #clustering #polynomial #word

A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, DP), pp. 81–90.

DLT-2009-Kapoutsis #automaton #complexity #finite

Size Complexity of Two-Way Finite Automata (CAK), pp. 47–66.

ICALP-v1-2009-Amano #approximate #bound

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

LATA-2009-Nicaud #automaton #on the

On the Average Size of Glushkov’s Automata (CN), pp. 626–637.

CHI-2009-HeerKA #visual notation #visualisation

Sizing the horizon: the effects of chart size and layering on the graphical perception of time series visualizations (JH, NK, MA), pp. 1303–1312.

CHI-2009-OliveiraAR #metric #web

Discriminating the relevance of web search results with measures of pupil size (FTPO, AA, DMR), pp. 2209–2212.

CHI-2009-VogelCCBK

Hand occlusion with tablet-sized direct pen input (DV, MC, GC, RB, LK), pp. 557–566.

DHM-2009-BensonR #complexity

Complexity of Sizing for Space Suit Applications (EB, SR), pp. 599–607.

DHM-2009-Godil #analysis

Facial Shape Analysis and Sizing System (AG), pp. 29–35.

DHM-2009-WuLN #3d #assessment

A 3D Method for Fit Assessment of a Sizing System (JW, ZL, JN), pp. 737–743.

HIMI-II-2009-HasegawaOWMM #estimation #mobile #using

Legible Character Size on Mobile Terminal Screens: Estimation Using Pinch-in/Out on the iPod Touch Panel (SH, MO, TW, SM, MM), pp. 395–402.

HIMI-II-2009-OkadaAF

Investigation on Relation between Index of Difficulty in Fitts’ Law and Device Screen Sizes (HO, TA, RF), pp. 423–429.

ICEIS-J-2009-SchwindG #automation #framework #internet #multi #resource management

A Multiagent-System for Automated Resource Allocation in the IT Infrastructure of a Medium-Sized Internet Service Provider (MS, MG), pp. 689–703.

KDIR-2009-PenaVP #data mining #mining

Explorative Data Mining for the Sizing of Population Groups (IP, HLV, EP), pp. 152–159.

SIGIR-2009-SmuckerAC #evaluation #information retrieval #statistics #testing

Agreement among statistical significance tests for information retrieval evaluation at varying sample sizes (MDS, JA, BC), pp. 630–631.

SIGIR-2009-Voorhees #set #topic

Topic set size redux (EMV), pp. 806–807.

POPL-2009-GulwaniLS #framework

A combination framework for tracking partition sizes (SG, TLA, MS), pp. 239–251.

POPL-2009-LublinermanST #code generation #composition #diagrams

Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.

SPLC-2009-Jarzabek #product line #variability

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

CGO-2009-VoronenkoMP #generative #library #linear

Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.

ISMM-2009-GuanSJ #performance #policy #using

Investigating the effects of using different nursery sizing policies on performance (XG, WSa, CJ), pp. 59–68.

CAV-2009-Ben-Amram #constraints #ranking #termination

Size-Change Termination, Monotonicity Constraints and Ranking Functions (AMBA), pp. 109–123.

CSL-2009-BlanquiR #on the #semantics #termination

On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.

ICST-2009-KaminskiA #detection #fault #logic #testing #using

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.

ISSTA-2009-NaminA #effectiveness #testing

The influence of size and coverage on test suite effectiveness (ASN, JHA), pp. 57–68.

CASE-2008-MatsumotoUOI #analysis #empirical #process

Business process analysis to obtain empirical lot sizing rule in printing process (SM, NU, KO, HI), pp. 591–596.

DAC-2008-JiangS #algorithm #scalability

Circuit-wise buffer insertion and gate sizing algorithm with scalability (ZJ, WS), pp. 708–713.

DAC-2008-JiangSC #design #scalability

Routability-driven analytical placement by net overlapping removal for large-scale mixed-size designs (ZWJ, BYS, YWC), pp. 167–172.

DAC-2008-KuonR #architecture #automation

Automated transistor sizing for FPGA architecture exploration (IK, JR), pp. 792–795.

DATE-2008-ChenL #architecture

Wire Sizing Alternative — An Uniform Dual-rail Routing Architecture (FWC, YYL), pp. 796–799.

DATE-2008-MassierGS #design

Sizing Rules for Bipolar Analog Circuit Design (TM, HEG, US), pp. 140–145.

DATE-2008-PakbazniaP #using

Coarse-Grain MTCMOS Sleep Transistor Sizing Using Delay Budgeting (EP, MP), pp. 385–390.

DATE-2008-YoshidaF

Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits (HY, MF), pp. 1099–1102.

FoSSaCS-2008-GruberJ #bound #communication #complexity #regular expression #using

Optimal Lower Bounds on Regular Expression Size Using Communication Complexity (HG, JJ), pp. 273–286.

TACAS-2008-Ben-AmramC #approach #ranking #satisfiability #termination

A SAT-Based Approach to Size Change Termination with Global Ranking Functions (AMBA, MC), pp. 218–232.

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.

DLT-2008-KapoutsisKM #automaton #complexity #on the

On the Size Complexity of Rotating and Sweeping Automata (CAK, RK, TM), pp. 455–466.

ICALP-B-2008-GruberH #automaton #finite #regular expression

Finite Automata, Digraph Connectivity, and Regular Expression Size (HG, MH), pp. 39–50.

LATA-2008-AlhazovCMR #hybrid #network

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

IFL-2008-ShkaravskaET #functional #semantics #source code

Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.

CHI-2008-FindlaterM #adaptation #performance #user interface #user satisfaction #visual notation

Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces (LF, JM), pp. 1247–1256.

ICEIS-AIDSS-2008-KompaoreMT #information retrieval #query

Combining Indexing Methods and Query Sizes in Information Retrieval in French (DK, JM, LT), pp. 149–154.

ICEIS-DISI-2008-PapatheocharousA #modelling #predict

Size and Effort-Based Computational Models for Software Cost Prediction (EP, ASA), pp. 57–64.

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-Lu #data flow #estimation #performance #web

Efficient estimation of the size of text deep web data source (JL), pp. 1485–1486.

ECIR-2008-Talvensaari #corpus #quality

Effects of Aligned Corpus Quality and Size in Corpus-Based CLIR (TT), pp. 114–125.

ICML-2008-Shalev-ShwartzS #dependence #optimisation #set

SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.

KDD-2008-ShiehK #mining #named

iSAX: indexing and mining terabyte sized time series (JS, EJK), pp. 623–631.

SEKE-2008-Barros #information management #predict #using

Predicting Software Project Size Using Project Generated Information (MdOB), pp. 149–154.

SIGIR-2008-Thomas #multi

Generalising multiple capture-recapture to non-uniform sample sizes (PT), pp. 839–840.

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-CoelhoO #optimisation

Dynamically tuning the population size in particle swarm optimization (ALVC, DGdO), pp. 1782–1787.

SAC-2008-PerngCK #configuration management #embedded #hardware

The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.

SAC-2008-ToledoFR #algorithm #problem #scheduling #search-based

Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem (CFMT, PMF, KAR), pp. 1777–1781.

CSL-2008-BartheGR #termination #type system

Type-Based Termination with Sized Products (GB, BG, CR), pp. 493–507.

CSL-2008-Eisinger #automaton #bound #integer #linear

Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (JE), pp. 431–445.

CASE-2007-MitaniYH #analysis #using

Feeding of Submillimeter-sized Microparts along a Saw-tooth Surface Using Only Horizontal Vibration: Analysis of Convexities on the Surface of Microparts (AM, TY, SH), pp. 69–76.

CASE-2007-SchmidtR #queue

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

DAC-2007-ChenYCHL #algorithm #design #metaprogramming #named

MP-trees: A Packing-Based Macro Placement Algorithm for Mixed-Size Designs (TCC, PHY, YWC, FJH, DL), pp. 447–452.

DAC-2007-ChiouJCC #algorithm #fine-grained #power management

Fine-Grained Sleep Transistor Sizing Algorithm for Leakage Power Minimization (DSC, DCJ, YTC, SCC), pp. 81–86.

DAC-2007-HuKH #design

Gate Sizing For Cell Library-Based Designs (SH, MK, JH), pp. 847–852.

DAC-2007-McConaghyPGS #multi

Simultaneous Multi-Topology Multi-Objective Sizing Across Thousands of Analog Circuit Topologies (TM, PP, GGEG, MS), pp. 944–947.

DATE-2007-NiM #self

Self-heating-aware optimal wire sizing under Elmore delay model (MN, SOM), pp. 1373–1378.

DATE-2007-SathanurCBMMP #bound #clustering #interactive #performance

Interactive presentation: Efficient computation of discharge current upper bounds for clustered sleep transistor sizing (AVS, AC, LB, AM, EM, MP), pp. 1544–1549.

ICDAR-2007-AraujoCF #approach #online #verification

An Approach to Improve Accuracy Rate of On-line Signature Verification Systems of Different Sizes (RA, GDCC, ECBCF), pp. 332–336.

ICDAR-2007-Shapiro #how #image #question

How to Reduce the Size of Bank Check Image Archive? (VS), pp. 148–152.

PODS-2007-CohenDKLT #data type #query #sketching

Sketching unaggregated data streams for subpopulation-size queries (EC, NGD, HK, CL, MT), pp. 253–262.

CSMR-2007-SneedH #maintenance #web

Sizing Maintenance Tasks for Web Applications (HMS, SH), pp. 171–180.

ICSM-2007-GallagherHB #testing

Reducing Regression Test Size by Exclusion (KG, TH, SB), pp. 154–163.

ICALP-2007-ChandranGS #random

Ring Signatures of Sub-linear Size Without Random Oracles (NC, JG, AS), pp. 423–434.

ICALP-2007-MillerPS #scalability

Size Competitive Meshing Without Large Angles (GLM, TP, DS), pp. 655–666.

LATA-2007-Thorne #bound #finite

Categorial Module Grammars of Bounded Size have Finite Bounded Density (CT), pp. 577–588.

HCI-IPT-2007-AymanTT #interactive #interface

Coin Size Wireless Sensor Interface for Interaction with Remote Displays (AA, ST, JT), pp. 733–742.

HIMI-IIE-2007-FujikakeHOTM #navigation #readability

Readability of Character Size for Car Navigation Systems (KF, SH, MO, HT, MM), pp. 503–509.

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-JungK #information management

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

HIMI-MTT-2007-OehlSZ #how #interface #performance

Considerations on Efficient Touch Interfaces — How Display Size Influences the Performance in an Applied Pointing Task (MO, CS, MZ), pp. 136–143.

ICEIS-AIDSS-2007-Bussler #architecture

Service-oriented architecture — one size fits nobody (CB), pp. 15–20.

ICEIS-DISI-2007-AouicheL #comparison #estimation

UNASSSUMING view-size estimation techniques in OLAP — an experimental comparison (KA, DL), pp. 145–150.

ICEIS-DISI-2007-Bussler #architecture

Service-oriented architecture — one size fits nobody (CB), pp. 15–20.

ICEIS-EIS-2007-Bussler #architecture

Service-oriented architecture — one size fits nobody (CB), pp. 15–20.

ICEIS-HCI-2007-Bussler #architecture

Service-oriented architecture — one size fits nobody (CB), pp. 15–20.

ICEIS-J-2007-Bussler07a #architecture

Service-Oriented Architecture: One Size Fits Nobody (CB), pp. 55–62.

ICEIS-SAIC-2007-Bussler #architecture

Service-oriented architecture — one size fits nobody (CB), pp. 15–20.

ICML-2007-BryanMSS

Efficiently computing minimax expected-size confidence regions (BB, HBM, CMS, JGS), pp. 97–104.

SEKE-2007-Condori-FernandezP #evaluation #functional #metric

Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures (NCF, OP), pp. 736–739.

SIGIR-2007-XuWL

Estimating collection size with logistic regression (JX, SW, XL), pp. 789–790.

MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web

A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.

MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web

A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.

SAC-2007-LiebrockMBPCSU #analysis #design #forensics #set

A preliminary design for digital forensics analysis of terabyte size data sets (LML, NM, DPB, RP, EC, MS, VU), pp. 190–191.

SAC-2007-XianhuaJX #performance #reduction

Efficient code size reduction without performance loss (LX, ZJ, CX), pp. 666–672.

ESEC-FSE-2007-YuBP #analysis #automation #ocl

Automated size analysis for OCL (FY, TB, EP), pp. 331–340.

CGO-2007-GrzegorczykSKW #feedback #using

Isla Vista Heap Sizing: Using Feedback to Avoid Paging (CG, SS, CK, RW), pp. 325–340.

CADE-2007-Krauss #termination

Certified Size-Change Termination (AK), pp. 460–475.

TLCA-2007-ShkaravskaKE #analysis #first-order #polynomial

Polynomial Size Analysis of First-Order Functions (OS, RvK, MCJDvE), pp. 351–365.

VMCAI-2007-NguyenDQC #automation #logic #verification

Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.

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

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

DAC-2006-DavoodiS #optimisation #variability

Variability driven gate sizing for binning yield optimization (AD, AS), pp. 959–964.

DAC-2006-GuthausSB #programming #using

Clock buffer and wire sizing using sequential programming (MRG, DS, RBB), pp. 1041–1046.

DAC-2006-KeaneEKSK #framework #logic

Subthreshold logical effort: a systematic framework for optimal subthreshold device sizing (JK, HE, TTHK, SSS, CHK), pp. 425–428.

DAC-2006-SwahnH

Gate sizing: finFETs vs 32nm bulk MOSFETs (BS, SH), pp. 528–531.

DATE-2006-NelsonZDBPMB #fault

Extraction of defect density and size distributions from wafer sort test results (JEN, TZ, RD, JGB, NP, WM, RD(B), pp. 913–918.

DATE-2006-ZmilyK #embedded #energy #performance

Simultaneously improving code size, performance, and energy in embedded processors (AZ, CK), pp. 224–229.

DocEng-2006-HurstMM

Minimum sized text containment shapes (NH, KM, PM), pp. 3–12.

ESOP-2006-CodishLSS #analysis #termination

Size-Change Termination Analysis in k-Bits (MC, VL, PS, PJS), pp. 230–245.

CSMR-2006-HerraizRG #analysis #comparison #evolution #metric

Comparison between SLOCs and number of files as size metrics for software evolution analysis (IH, GR, JMGB), pp. 206–213.

WCRE-2006-BinkleyGHLM #concept #empirical #execution #slicing

An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.

STOC-2006-MoshkovitzR #fault

Sub-constant error low degree test of almost-linear size (DM, RR), pp. 21–30.

FLOPS-2006-Avery #analysis #bound #termination

Size-Change Termination and Bound Analysis (JA), pp. 192–207.

ICALP-v2-2006-GenestM #automaton

Constructing Exponential-Size Deterministic Zielonka Automata (BG, AM), pp. 565–576.

CHI-2006-Moher #distributed #embedded #learning #simulation

Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.

CSCW-2006-ForlinesSWB #visual notation

Exploring the effects of group size and display configuration on visual search (CF, CS, DW, RB), pp. 11–20.

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.

CIKM-2006-BroderFJKMNPTX #corpus #query

Estimating corpus size via queries (AZB, MF, VJ, RK, RM, SUN, RP, AT, YX), pp. 594–603.

ICML-2006-Hanneke #analysis #graph #learning

An analysis of graph cut size for transductive learning (SH), pp. 393–399.

ICPR-v2-2006-McDanielKP #approach #classification #visual notation

A Bayesian Approach to Visual Size Classification of Everyday Objects (TLM, KK, SP), pp. 255–259.

ICPR-v2-2006-MekuzDT #adaptation #detection

Adaptive Step Size Window Matching for Detection (NM, KGD, JKT), pp. 259–262.

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.

ICPR-v3-2006-KierA #classification #multi #predict

Predicting the benefit of sample size extension in multiclass k-NN classification (CK, TA), pp. 332–335.

ICPR-v3-2006-Wang06c #metric #online

Online Aggregate Particle Size Measurement on A Conveyor Belt (WW), pp. 1032–1035.

KDD-2006-YeW #analysis

Regularized discriminant analysis for high dimensional, low sample size data (JY, TW), pp. 454–463.

SIGIR-2006-Olsson #analysis #classification #set

An analysis of the coupling between training set and neighborhood sizes for the kNN classifier (JSO), pp. 685–686.

SIGIR-2006-ShokouhiZST #distributed #retrieval

Capturing collection size for distributed non-cooperative retrieval (MS, JZ, FS, SMMT), pp. 316–323.

LOPSTR-2006-ArroyoRSV #graph #partial evaluation #using

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (GA, JGR, JS, GV), pp. 60–76.

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.

HPDC-2006-MerrerKM #case study #comparative #estimation #network #scalability

Peer to peer size estimation in large and dynamic networks: A comparative study (ELM, AMK, LM), pp. 7–17.

CSL-2006-Abel #termination

Semi-continuous Sized Types and Termination (AA0), pp. 72–88.

CASE-2005-NajmabadiGE #automation #scalability

A scalable robotic-based laboratory automation system for medium-sized biotechnology laboratories (PN, AAG, AE), pp. 166–171.

DAC-2005-GaoH #multi #reduction

Total power reduction in CMOS circuits via gate sizing and multiple threshold voltages (FG, JPH), pp. 31–36.

DAC-2005-SinghNLS #geometry #programming #robust

Robust gate sizing by geometric programming (JS, VN, ZQL, SSS), pp. 315–320.

DAC-2005-TennakoonS #modelling #performance

Efficient and accurate gate sizing with piecewise convex delay models (HT, CS), pp. 807–812.

DATE-2005-AgarwalCB #optimisation #statistics #using

Statistical Timing Based Optimization using Gate Sizing (AA, KC, DB), pp. 400–405.

DATE-2005-KallakuriDF #communication

Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip (SK, AD, EAF), pp. 826–827.

DATE-2005-NeiroukhS #statistics #using

Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques (ON, XS), pp. 294–299.

CIAA-2005-TammNU #automaton #multi #reduction

Size Reduction of Multitape Automata (HT, MN, EU), pp. 307–318.

ICALP-2005-DietzfelbingerW #constant

Balanced Allocation and Dictionaries with Tightly Packed Constant Size Bins (MD, CW), pp. 166–178.

CAiSE-2005-SchalkenBV #framework

Measuring IT Infrastructure Project Size: Infrastructure Effort Points (JJPS, SB, HvV), pp. 567–581.

ICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using

Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (FÅ, LH), pp. 220–225.

CIKM-2005-LuoJH #estimation

Applying cosine series to join size estimation (CL, ZJ, WCH), pp. 227–228.

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.

SIGIR-2005-LinH #fault #retrieval #set #topic

Revisiting the effect of topic set size on retrieval error (WHL, AGH), pp. 637–638.

MoDELS-2005-Tolvanen #modelling

Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.

MoDELS-2005-Tolvanen #modelling

Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.

SAC-2005-ValigianiBJLBC

Experimenting with a real-size man-hill to optimize pedagogical paths (GV, RB, YJ, EL, CBR, PC), pp. 4–8.

ICSE-2005-ChinKQPN #alias #policy #safety #verification

Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.

CSL-2005-Blanqui #algebra #calculus #decidability

Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations (FB), pp. 135–150.

DAC-2004-ChoiPR #algorithm #novel #process

Novel sizing algorithm for yield improvement under process variation in nanometer technology (SHC, BCP, KR), pp. 454–459.

DAC-2004-SrivastavaSB #optimisation #power management #process #statistics #using

Statistical optimization of leakage power considering process variations using dual-Vth and sizing (AS, DS, DB), pp. 773–778.

DAC-2004-SrivastavaSB04a #power management #using

Power minimization using simultaneous gate sizing, dual-Vdd and dual-Vth assignment (AS, DS, DB), pp. 783–787.

DAC-2004-WangM #constraints #power management

Buffer sizing for clock power minimization subject to general skew constraints (KW, MMS), pp. 159–164.

DATE-v1-2004-BabighianBM04a #distributed

Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating (PB, LB, EM), pp. 720–723.

DATE-v1-2004-SrivastavaSB #concurrent #design #power management

Concurrent Sizing, Vdd and Vth Assignment for Low-Power Design (AS, DS, DB), pp. 718–719.

STOC-2004-Raz #multi

Multi-linear formulas for permanent and determinant are of super-polynomial size (RR), pp. 633–641.

CIAA-2004-TammNU #automaton #multi #reduction

Size Reduction of Multitape Automata (HT, MN, EU), pp. 329–330.

IFL-2004-StefanovS #effectiveness #functional #reduction #source code

Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.

CSCW-2004-RyallFSM #interactive

Exploring the effects of group size and table size on interactions with tabletop shared-display groupware (KR, CF, CS, MRM), pp. 284–293.

ICPR-v1-2004-UrbachRW #invariant

Connected Rotation-Invariant Size-Shape Granulometries (ERU, JBTMR, MHFW), pp. 688–691.

ICPR-v2-2004-LiT #modelling #recognition #set

Influence of Language Models and Candidate Set Size on Contextual Post-processing for Chinese Script Recognition (YL, CLT), pp. 537–540.

ICPR-v3-2004-ZhouK #estimation #multi

Estimation of the Size and Location of Multiple Area Light Sources (WZ, CK), pp. 214–217.

ICPR-v4-2004-BradleyL #estimation #using

Sample Size Estimation using the Receiver Operating Characteristic Curve (APB, IDL), pp. 428–431.

ICPR-v4-2004-KwonP #detection #image #quality

Optimum Block Size Detection for Image Quality Measure (YBK, JP), pp. 491–494.

KDD-2004-Poole #approach

Estimating the size of the telephone universe: a Bayesian Mark-recapture approach (DP), pp. 659–664.

CC-2004-JohnsonM #memory management #multi #using

Using Multiple Memory Access Instructions for Reducing Code Size (NJ, AM), pp. 265–280.

HPDC-2004-VijayakumarP #data type #evaluation #performance

Performance Evaluation of Rate-Based Join Window Sizing for Asynchronous Data Streams (NNV, BP), pp. 260–261.

ISMM-2004-YangHBKM #automation #memory management

Automatic heap sizing: taking real memory into account (TY, MH, EDB, SFK, JEBM), pp. 61–72.

LICS-2004-Klaedtke #automaton #on the

On the Automata Size for Presburger Arithmetic (FK), pp. 110–119.

DAC-2003-BecerBAPOZH #reduction

Post-route gate sizing for crosstalk noise reduction (MRB, DB, IA, RP, CO, VZ, INH), pp. 954–957.

DAC-2003-GuptaKSY #off the shelf #tool support

A cost-driven lithographic correction methodology based on off-the-shelf sizing tools (PG, ABK, DS, JY), pp. 16–21.

DAC-2003-HuWKM #library

Gain-based technology mapping for discrete-size cell libraries (BH, YW, AK, MMS), pp. 574–579.

PODS-2003-ChirkovaL #query

Materializing views with minimal size to answer queries (RC, CL), pp. 38–48.

SIGMOD-2003-WangJLY #estimation #modelling

Containment Join Size Estimation: Models and Methods (WW, HJ, HL, JXY), pp. 145–156.

ICSM-2003-BinkleyH #context-sensitive grammar #empirical #scalability #slicing

A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity (DB, MH), pp. 44–53.

PEPM-2003-ChinKX #analysis

Extending sized type with collection analysis (WNC, SCK, DNX), pp. 75–84.

SAS-2003-ChatterjeeMMZHP #analysis #source code #stack

Stack Size Analysis for Interrupt-Driven Programs (KC, DM, RM, TZ, TAH, JP), pp. 109–126.

STOC-2003-ItohTT #independence #on the #permutation #strict

On the sample size of k-restricted min-wise independent permutations and other k-wise distributions (TI, YT, JT), pp. 710–719.

DLT-2003-HolzerK #automaton #finite #monad #on the

On Deterministic Finite Automata and Syntactic Monoid Size, Continued (MH, BK), pp. 349–360.

ICALP-2003-BaswanaS #algorithm #graph #linear

A Simple Linear Time Algorithm for Computing a (2k-1)-Spanner of O(n1+1/k) Size in Weighted Graphs (SB, SS), pp. 384–296.

ICEIS-v3-2003-Poels #concept #functional #metric #modelling

Functional Size Measurement of Layered Conceptual Models (GP), pp. 411–416.

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.

ECIR-2003-WuGC #detection #documentation

Experiments with Document Archive Size Detection (SW, FG, FC), pp. 294–304.

MLDM-2003-Scaringella #classification #on the

On the Size of a Classification Tree (AS), pp. 65–72.

ICSE-2003-DingsoyrR #empirical #information management #repository

An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company (TD, ER), pp. 84–92.

CC-2003-KandemirICR

Address Register Assignment for Reducing Code Size (MTK, MJI, GC, JR), pp. 273–289.

HPDC-2003-ThulasidasanFG #optimisation

Optimizing GridFTP through Dynamic Right-Sizing (ST, WcF, MKG), pp. 14–23.

LCTES-2003-AnanianR #java #optimisation #source code

Data size optimizations for java programs (CSA, MCR), pp. 59–68.

RTA-2003-ThiemannG #term rewriting #termination

Size-Change Termination for Term Rewriting (RT, JG), pp. 264–278.

DAC-2002-KarnikYTWBGDB #optimisation #performance

Total power optimization by simultaneous dual-Vt allocation and device sizing in high performance microprocessors (TK, YY, JT, LW, SMB, VG, VD, SB), pp. 486–491.

DATE-2002-ChuY #design

Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.

DATE-2002-HalambiSBDN #compilation #performance #reduction #using

An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs (AH, AS, PB, NDD, AN), pp. 402–408.

DATE-2002-LeeCDGM #algorithm #detection #fault #multi #testing

A New ATPG Algorithm to Limit Test Set Size and Achieve Multiple Detections of All Faults (SL, BC, JD, MRG, MRM), pp. 94–99.

DATE-2002-MukherjeeWCM #component

Sizing Power/Ground Meshes for Clocking and Computing Circuit Components (AM, KW, LHC, MMS), pp. 176–183.

DATE-2002-SchwenckerSPG #adaptation #parametricity #set #using #worst-case

Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets (RS, FS, MP, HEG), pp. 581–585.

VLDB-2002-LeeWMS #algorithm #multi

A One-Pass Aggregation Algorithm with the Optimal Buffer Size in Multidimensional OLAP (YKL, KYW, YSM, IYS), pp. 790–801.

ICSM-2002-Tran-CaoLA #complexity #effectiveness #functional #metric #towards

Measuring Software Functional Size: Towards an Effective Measurement of Complexity (DTC, GL, AA), pp. 370–376.

STOC-2002-Ben-Sasson #trade-off

Size space tradeoffs for resolution (EBS), pp. 457–464.

STOC-2002-Kontogiannis #algorithm #bound #online #scheduling

Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines (SCK), pp. 124–133.

DLT-2002-HolzerK02a #automaton #finite #monad #on the

On Deterministic Finite Automata and Syntactic Monoid Size (MH, BK), pp. 258–269.

ICALP-2002-ChristerssonGL #ad hoc #bound #network

Gossiping with Bounded Size Messages in ad hoc Radio Networks (MC, LG, AL), pp. 377–389.

ICALP-2002-EpsteinSS #bound #online

New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.

IFL-2002-PortilloHLV #automation #cost analysis #using

Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.

ICEIS-2002-Poels #enterprise #functional #metric #modelling

A Functional Size Measurement Method for Event-Based Objectoriented Enterprise Models (GP), pp. 667–675.

ICPR-v1-2002-SongCLC #approach #image #recognition #using

A New Approach for Line Recognition in Large-size Images Using Hough Transform (JS, MC, MRL, SC), pp. 33–36.

ICPR-v3-2002-HuangLLM #problem

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

SIGIR-2002-ClarkeCLLT #corpus #performance

The impact of corpus size on question answering performance (CLAC, GVC, ML, TRL, ELT), pp. 369–370.

SIGIR-2002-VoorheesB #empirical #fault #retrieval #set #topic

The effect of topic set size on retrieval experiment error (EMV, CB), pp. 316–323.

POPL-2002-Hofmann

The strength of non-size increasing computation (MH0), pp. 260–269.

HPDC-2002-GardnerFF #grid #performance

Dynamic Right-Sizing in FTP (drsFTP): Enhancing Grid Performance in User-Space (MKG, WcF, MF), pp. 42–49.

LCTES-SCOPES-2002-NaikP #compilation #constraints

Compiling with code-size constraints (MN, JP), pp. 120–129.

VMCAI-2002-TronconBJC #array #reduction

Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.

DATE-2001-CappuccinoC #performance

CMOS sizing rule for high performance long interconnects (GC, GC), p. 817.

DATE-2001-LockCM #framework #programmable #question

The programmable platform: does one size fit all? (AL, RC, HM), pp. 226–227.

DATE-2001-PasseroneWL #generative #graph #scheduling

Generation of minimal size code for scheduling graphs (CP, YW, LL), pp. 668–673.

ICDAR-2001-MartiB01a #modelling #on the #recognition

On the Influence of Vocabulary Size and Language Models in Unconstrained Handwritten Text Recognition (UVM, HB), pp. 260–265.

STOC-2001-AdlemanCGH #self

Running time and program size for self-assembled squares (LMA, QC, AG, MDAH), pp. 740–748.

CIAA-2001-MelicharS #automaton #finite #on the

On the Size of Deterministic Finite Automata (BM, JS), pp. 202–213.

ICALP-2001-HemaspaandraKW #complexity

The Complexity of Computing the Size of an Interval (LAH, SK, KWW), pp. 1040–1051.

IFL-2001-PenaS #type system

Sized Types for Typing Eden Skeletons (RP, CS), pp. 1–17.

ICML-2001-RozsypalK #algorithm #classification #nearest neighbour #search-based #using

Using the Genetic Algorithm to Reduce the Size of a Nearest-Neighbor Classifier and to Select Relevant Attributes (AR, MK), pp. 449–456.

LOPSTR-2001-VanhoofB #matter

When Size Does Matter (WV, MB), pp. 129–147.

SAIG-2001-HerrmannL #approach #optimisation

A Transformational Approach which Combines Size Inference and Program Optimization (CAH, CL), pp. 199–218.

POPL-2001-LeeJB #termination

The size-change principle for program termination (CSL, NDJ, AMBA), pp. 81–92.

SAC-2001-LeeGA #learning #multi

A multi-neural-network learning for lot sizing and sequencing on a flow-shop (IL, JNDG, ADA), pp. 36–40.

IJCAR-2001-Jones #analysis #graph #termination

Program Termination Analysis by Size-Change Graphs (Abstract) (NDJ), pp. 1–4.

LICS-2001-AdlerI #bound #exclamation

An n! Lower Bound on Formula Size (MA, NI), pp. 197–206.

DAC-2000-ChenK #approximate #linear #programming

Floorplan sizing by linear programming approximation (PC, ESK), pp. 468–471.

DAC-2000-KetkarKS #modelling

Convex delay models for transistor sizing (MK, KK, SSS), pp. 655–660.

DAC-2000-SundararajanSP #named

MINFLOTRANSIT: min-cost flow based transistor sizing tool (VS, SSS, KKP), pp. 649–664.

DATE-2000-GaoW #using

Wire-Sizing for Delay Minimization and Ringing Control Using Transmission Line Model (YG, DFW), pp. 512–516.

DATE-2000-JacobsB #statistics #using

Gate Sizing Using a Statistical Delay Model (ETAFJ, MRCMB), pp. 283–290.

DATE-2000-Perez-MontesMDFR #named

XFridge: A SPICE-Based, Portable, User-Friendly Cell-Level Sizing Tool (FMPM, FM, RDC, FVF, ÁRV), p. 739.

PEPM-2000-ChinK

Calculating Sized Types (WNC, SCK), pp. 62–72.

STOC-2000-FeigeKN #approximate

Approximating the minimum bisection size (extended abstract) (UF, RK, KN), pp. 530–536.

STOC-2000-HarnikR #bound

Higher lower bounds on monotone size (DH, RR), pp. 378–387.

STOC-2000-RothemundW #complexity #self

The program-size complexity of self-assembled squares (extended abstract) (PWKR, EW), pp. 459–468.

ICALP-2000-AdlerFGP #bound

Tight Size Bounds for Packet Headers in Narrow Meshes (MA, FEF, LAG, MP), pp. 756–767.

ICALP-2000-Seiden #algorithm #bound #online

An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing (SSS), pp. 283–295.

EDOC-2000-LingT #internet

Impacts of Download Size to Client-Server Applications being Migrated to the Internet (SkRL, VNT), pp. 226–230.

ICEIS-2000-ThomasASC #enterprise

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

ICPR-v2-2000-FukushimaN #online #recognition

On-Line Writing-Box-Free Recognition of Handwritten Japanese Text Considering Character Size Variations (TF, MN), pp. 2359–2363.

ICPR-v2-2000-MalekTA #classification #fault

Effect of the Feature Vector Size on the Generalization Error: The Case of MLPNN and RBFNN Classifiers (JEM, RT, AMA), pp. 2630–2633.

ICPR-v2-2000-OliveiraVC #image #normalisation

Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.

ICPR-v2-2000-Schulerud #analysis #bias #fault #feature model #linear

Bias of Error Rates in Linear Discriminant Analysis Caused by Feature Selection and Sample Size (HS), pp. 2372–2377.

ICPR-v3-2000-VriesV #3d #adaptation #classification #detection #estimation #image

Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images (RGdV, PWV), pp. 7026–7029.

ICSE-2000-Miranda #evaluation

An evaluation of the paired comparisons method for software sizing (EM), pp. 597–604.

ICSE-2000-SchmidBKB #concept #modelling

Introducng a software modeling concept in a medium-sized company (KS, UBK, PK, FB), pp. 558–567.

HPCA-2000-LefurgyPM #runtime

Reducing Code Size with Run-Time Decompression (CL, EP, TNM), pp. 218–228.

LCTES-2000-RunesonNS #abstraction #optimisation

Optimizing Code Size through Procedural Abstraction (JR, SON, JS), pp. 204–205.

ISSTA-2000-WoodwardA #fault #testing

Testability, fault size and the domain-to-range ratio: An eternal triangle (MRW, ZAAK), pp. 168–172.

LICS-2000-AehligS #analysis #polynomial

A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (KA, HS), pp. 84–91.

DAC-1999-ChenM #using

Noise-Aware Repeater Insertion and Wire-Sizing for On-Chip Interconnect Using Hierarchical Moment-Matching (CPC, NM), pp. 502–506.

DAC-1999-HuS #named

FAR-DS: Full-Plane AWE Routing with Driver Sizing (JH, SSS), pp. 84–89.

DAC-1999-JiangJC #optimisation #performance

Noise-Constrained Performance Optimization by Simultaneous Gate and Wire Sizing Based on Lagrangian Relaxation (IHRJ, JYJ, YWC), pp. 90–95.

DAC-1999-SirichotiyakulEOZDPB #power management

Stand-by Power Minimization Through Simultaneous Threshold Voltage Selection and Circuit Sizing (SS, TE, CO, JZ, AD, RP, DB), pp. 436–441.

DAC-1999-ZhaoM #array #estimation #memory management

Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.

DATE-1999-SchwenckerEGA #automation #constraints

Automating the Sizing of Analog CMOS Circuits by Consideration of Structural Constraints (RS, JE, HEG, KA), pp. 323–327.

PODS-1999-AlonGMS #self

Tracking Join and Self-Join Sizes in Limited Storage (NA, PBG, YM, MS), pp. 10–20.

VLDB-1999-KonigW #estimation #parametricity #query

Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.

ITiCSE-1999-Levin99a #implementation

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

STOC-1999-KlivansM #graph #morphism #polynomial #proving

Graph Nonisomorphism has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses (AK, DvM), pp. 659–667.

CHI-1999-WangM #matter

Object Manipulation in Virtual Environments: Relative Size Matters (YW, CLM), pp. 48–55.

HCI-EI-1999-KotaniH

Relationship between Size of Icons and Mouse Operating Force with Complex Actions during Pointing Tasks (KK, KH), pp. 412–415.

HPCA-1999-InoueKM #logic #memory management

Dynamically Variable Line-Size Cache Exploiting High On-Chip Memory Bandwidth of Merged DRAM/Logic LSIs (KI, KK, KM), pp. 218–222.

HPCA-1999-MartinezLD #concurrent #detection #performance

Impact of Buffer Size on the Efficiency of Deadlock Detection (JMM, PL, JD), pp. 315–318.

LICS-1999-Hofmann99a #linear #polynomial

Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.

DAC-1998-KaoNC

MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns (JK, SN, AC), pp. 495–500.

DATE-1998-ChuW #algorithm #polynomial

A Polynomial Time Optimal Algorithm for Simultaneous Buffer and Wire Sizing (CCNC, DFW), pp. 479–485.

DATE-1998-PandaDN #embedded

Data Cache Sizing for Embedded Processor Applications (PRP, NDD, AN), pp. 925–926.

DATE-1998-PullelaPDV

CMOS Combinational Circuit Sizing by Stage-wise Tapering (SP, RP, AD, GV), pp. 985–986.

TACAS-1998-BjornerP

Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.

STOC-1998-Gal #bound #source code

A Characterization of Span Program Size and Improved Lower Bounds for Monotone Span Programs (AG), pp. 429–437.

CIKM-1998-SaracEA #estimation

Iterated DFT Based Techniques for Join Size Estimation (KS, ÖE, AEA), pp. 348–355.

ICPR-1998-Duin #analysis #problem #relational #scalability

Relational discriminant analysis and its large sample size problem (RPWD), pp. 445–449.

ICPR-1998-FerriMAS #algorithm #estimation #using

Variable-size block matching algorithm for motion estimation using a perceptual-based splitting criterion (FJF, JM, JVA, JS), pp. 286–288.

ICPR-1998-HontaniD #analysis #component #detection #image #multi

Multi-scale image analysis for detection of characteristic component figure shapes and sizes (HH, KD), pp. 1470–1472.

ICSE-1998-ArnoldP #development #metric #rating #scalability

Software Size Measurement and Productivity Rating in a Large-Scale Software Development Department (MA, PP), pp. 490–493.

DAC-1997-ChenW

Optimal Wire-Sizing Function with Fringing Capacitance Consideration (CPC, DFW), pp. 604–607.

DAC-1997-KaoCA #multi

Transistor Sizing Issues and Tool For Multi-Threshold CMOS Technology (JK, AC, DA), pp. 409–414.

DAC-1997-ShacklefordYOKTY #design #embedded #optimisation

Memory-CPU Size Optimization for Embedded System Designs (BS, MY, EO, HK, HT, HY), pp. 246–251.

EDTC-1997-SchollMHM #symmetry

Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.

SIGMOD-1997-KoudasS

Size Separation Spatial Join (NK, KCS), pp. 324–335.

SIGMOD-1997-TsueiPK #database #experience

Database Buffer Size Investigation for OLTP Workloads (Experience Paper) (TFT, AP, KTK), pp. 112–122.

STOC-1997-Irani #multi #web

Page Replacement with Multi-Size Pages and Applications to Web Caching (SI), pp. 701–710.

HCI-CC-1997-SaitoJVS #aspect-oriented

Ergonomic Aspects of Flat Panel Display and Large-Size CRT Screen (SS, HJ, MBGV, MS), pp. 639–642.

ICML-1997-OatesJ #complexity #set

The Effects of Training Set Size on Decision Tree Complexity (TO, DJ), pp. 254–262.

ICML-1997-Opitz #approach #component #effectiveness #network

The Effective Size of a Neural Network: A Principal Component Approach (DWO), pp. 263–271.

TOOLS-PACIFIC-1997-NayaNYHOA #development #execution #morphism #object-oriented #optimisation #polymorphism

Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size (HN, FN, TY, LH, KO, MA), pp. 68–79.

ICSE-1997-VernerC #developer #prototype

The Effect of Department Size on Developer Attitudes to Prototyping (JMV, NC), pp. 445–455.

CAV-1997-CyrlukMR #formal method #performance

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.

DAC-1996-ChenCW96a

Optimal Wire-Sizing Formular Under the Elmore Delay Model (CPC, YPC, DFW), pp. 487–490.

DAC-1996-ChenS #algorithm #power management

An Exact Algorithm for Low Power Library-Specific Gate Re-Sizing (DSC, MS), pp. 783–788.

DAC-1996-CoudertHM #algorithm #case study #comparative

New Algorithms for Gate Sizing: A Comparative Study (OC, RWH, SM), pp. 734–739.

DAC-1996-DasguptaK96a #order #reliability

Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing (AD, RK), pp. 819–824.

DAC-1996-DesaiCJ #cpu #network #performance

Sizing of Clock Distribution Networks for High Performance CPU Chips (MPD, RC, JJ), pp. 389–394.

DAC-1996-LillisCLH #performance #trade-off

New Performance Driven Routing Techniques With Explicit Area/Delay Tradeoff and Simultaneous Wire Sizing (JL, CKC, TTYL, CYH), pp. 395–400.

DAC-1996-XiD #design #power management

Useful-Skew Clock Routing With Gate Sizing for Low Power Design (JGX, WWMD), pp. 383–388.

SIGMOD-1996-GangulyGMS #estimation

Bifocal Sampling for Skew-Resistant Join Size Estimation (SG, PBG, YM, AS), pp. 271–281.

VLDB-1996-SevcikK

Filter Trees for Managing Spatial Data over a Range of Size Granularities (KCS, NK), pp. 16–27.

STOC-1996-KushilevitzOR #linear #privacy

Characterizing Linear Size Circuits in Terms of Privacy (EK, RO, AR), pp. 541–550.

STOC-1996-Ma #fault tolerance #network #sorting

An O(n log n)-Size Fault-Tolerant Sorting Network (Extended Abstract) (YM), pp. 266–275.

ICPR-1996-KimK #multi #recognition

Multi-font and multi-size character recognition based on the sampling and quantization of an unwrapped contour (MKK, YBK), pp. 170–174.

ICPR-1996-NamuduriRR #algorithm #image #named #segmentation #slicing #using

SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.

ICPR-1996-NishimuraK0HNNO #image #locality #using

Effect of time-spatial size of motion image for localization by using the spotting method (TN, HK, YI, AH, SN, SN, RO), pp. 191–195.

ICPR-1996-SkurichinaD #classification

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

ICPR-1996-VerriU #recognition

Aspect-based object recognition with size functions (AV, CU), pp. 682–686.

ICPR-1996-Vincze #visual notation

Optimal window size for visual tracking for uniform CCDs (MV), pp. 786–790.

LOPSTR-1996-BenoyK

Inferring Argument Size Relationships with CLP(R) (FB, AK), pp. 204–223.

POPL-1996-HughesPS #correctness #proving #using

Proving the Correctness of Reactive Systems Using Sized Types (JH, LP, AS), pp. 410–423.

SAC-1996-Julstom96a #automaton

Evolutionary discovery of DFA size and structure (BAJ), pp. 263–268.

DAC-1995-MenezesPP #optimisation

Simultaneous Gate and Interconnect Sizing for Circuit-Level Delay Optimization (NM, SP, LTP), pp. 690–695.

DAC-1995-XiD #power management #process

Buffer Insertion and Sizing Under Process Variations for Low Power Clock Distribution (JGX, WWMD), pp. 491–496.

ICDAR-v1-1995-LeeK #multi #network #recognition #self #using

Multi-lingual, multi-font and multi-size large-set character recognition using self-organizing neural network (SWL, JSK), pp. 28–33.

PODS-1995-CadoliDLS #knowledge base

The Size of a Revised Knowledge Base (MC, FMD, PL, MS), pp. 151–162.

SIGMOD-1995-French #architecture #database

“One Size Fits All” Database Architectures Do Not Work for DDS (CDF), pp. 449–450.

SIGMOD-1995-IoannidisP #estimation #query

Balancing Histogram Optimality and Practicality for Query Result Size Estimation (YEI, VP), pp. 233–244.

ICSM-1995-AbranM #adaptation #maintenance

A sizing measure for adaptive maintenance work products (AA, MM), pp. 286–294.

PLDI-1995-ColemanM #layout #using

Tile Size Selection Using Cache Organization and Data Layout (SC, KSM), pp. 279–290.

PLDI-1995-LiaoDKTW

Storage Assignment to Decrease Code Size (SYL, SD, KK, SWKT, AW), pp. 186–195.

AFP-1995-EekelenP95 #functional #performance #source code

Constructing Medium Sized Efficient Functional Programs in Clean (MCJDvE, MJP), pp. 183–227.

CAV-1995-Lescow #finite #game studies #on the #source code

On Polynomial-Size Programs Winning Finite-State Games (HL), pp. 239–252.

ICLP-1995-HermenegildoL #performance

Efficient Term Size Computation for Granularity Control (MVH, PLG), pp. 647–661.

DAC-1994-MehrotraFL #approach #optimisation #probability

Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits (SM, PDF, WL), pp. 36–40.

EDAC-1994-ChangCM #multi

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.

EDAC-1994-LinCHH #design

Cell Height Driven Transistor Sizing in a Cell Based Module Design (HRL, CLC, YCH, TH), pp. 425–429.

PODS-1994-Sohn #constraints #logic programming #source code

Constraints among Argument Sizes in Logic Programs (KS), pp. 68–74.

STOC-1994-GoldreichW #product line #random #trade-off

Tiny families of functions with random properties (preliminary version): a quality-size trade-off for hashing (OG, AW), pp. 574–584.

STOC-1994-Grolmusz #trade-off

A weight-size trade-off for circuits with MOD m gates (VG), pp. 68–74.

STOC-1994-PolishchukS #artificial reality #proving

Nearly-linear size holographic proofs (AP, DAS), pp. 194–203.

ICALP-1994-Lagergren

The Size of an Interwine (JL), pp. 520–531.

LFP-1994-HuelsbergenLA #data type #runtime #thread #using

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.

DAC-1993-HuD #dependence #functional

Reducing BDD Size by Exploiting Functional Dependencies (AJH, DLD), pp. 266–271.

ICDAR-1993-TakeshitaNK #bias #distance #on the

On the bias of Mahalanobis distance due to limited sample size effect (TT, SN, FK), pp. 171–174.

PODS-1993-Gelder #estimation #multi

Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.

STOC-1993-ImpagliazzoPS #trade-off

Size-depth trade-offs for threshold circuits (RI, RP, MES), pp. 541–550.

STOC-1993-KarchmerW #nondeterminism

Characterizing non-deterministic circuit size (MK, AW), pp. 532–540.

STOC-1993-PudlakR

Modified ranks of tensors and the size of circuits (PP, VR), pp. 523–531.

HCI-SHI-1993-DillonND #experience #interactive #performance

Spoken Language Interaction: Effects of Vocabulary Size and Experience on User Efficiency and Acceptability (TWD, AFN, MJD), pp. 140–145.

HCI-SHI-1993-RenM

The Minimal Sizes and the Quasi-Optimal Sizes for the Input Square During Pen-Input of Characters (XR, SM), pp. 1028–1033.

SIGMOD-1992-HaasS #estimation #query

Sequential Sampling Procedures for Query Size Estimation (PJH, ANS), pp. 341–350.

ICALP-1992-KarhumakiPR #context-free grammar #polynomial #testing

Polynomial Size Test Sets for Context-Free Languages (JK, WP, WR), pp. 53–64.

CHI-1992-WareK #visual notation

Orderable Dimensions of Visual Texture for Data Display: Orientation, Size and Contrast (CW, WK), pp. 203–209.

PLILP-1992-VerschaetseS #abstract interpretation #linear

Deriving of Linear Size Relations by Abstract Interpretation (KV, DDS), pp. 296–310.

CC-1992-Galvez #generative #lr #parsing

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

DAC-1991-AmonB91a #case study #synthesis

Sizing Synchronization Queues: A Case Study in Higher Level Synthesis (TA, GB), pp. 690–693.

PODS-1991-SeshadriN #datalog #on the #query #recursion

On the Expected Size of Recursive Datalog Queries (SS, JFN), pp. 268–279.

PODS-1991-SohnG #detection #logic programming #source code #termination #using

Termination Detection in Logic Programs using Argument Sizes (KS, AVG), pp. 216–226.

SIGMOD-1991-IoannidisC #fault #on the

On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.

VLDB-1991-BrantGLM #case study #database #performance

Effects of Database Size on Rule System Performance: Five Case Studies (DAB, TG, BJL, DPM), pp. 287–296.

SEI-1991-Knoke

Medium Size Project Model: Variations on a Theme (PJK), pp. 5–24.

PLDI-1991-ChatterjeeBF #source code

Size and Access Inference for Data-Parallel Programs (SC, GEB, ALF), pp. 130–144.

ICLP-1991-Monin #compilation #prolog #using

Real-size Compiler Writing Using Prolog with Arrows (JFM), pp. 188–201.

DAC-1990-Chan #algorithm #logic

Algorithms for Library-Specific Sizing of Combinational Logic (PKC), pp. 353–356.

PODS-1990-Gelder #constraints #logic programming #source code

Deriving Constraints Among Argument Sizes in Logic Programs (AVG), pp. 47–60.

PODS-1990-LiptonN #adaptation #estimation #query

Query Size Estimation by Adaptive Sampling (RJL, JFN), pp. 40–46.

ICALP-1990-GoodrichAO #trade-off

An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version) (MTG, MJA, MHO), pp. 689–702.

CAiSE-1990-ReckH #configuration management

Software Configuration Management for Medium-Size Systems (WR, HH), pp. 79–87.

SIGIR-1990-Huther #on the #taxonomy

On the Interrelationship of Dictionary Size and Completeness (HH), pp. 313–325.

DAC-1989-DuttaM #automation #network

Automatic Sizing of Power/Ground (P/G) Networks in VLSI (RD, MMS), pp. 783–786.

DAC-1989-Marple #layout #optimisation

Transistor Size Optimization in the Tailor Layout System (DM), pp. 43–48.

SIGMOD-1989-SalzaT #database #dependence #probability #query #relational

Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (SS, MT), pp. 8–14.

VLDB-1989-KitsuregawaNT #hybrid

The Effect of Bucket Size Tuning in the Dynamic Hybrid GRACE Hash Join Method (MK, MN, MT), pp. 257–266.

VLDB-1989-LiptonN #transitive

Estimating the Size of Generalized Transitive Closures (RJL, JFN), pp. 165–171.

STOC-1989-ReifT #integer

Optimal Size Integer Division Circuits (JHR, SRT), pp. 264–273.

ICALP-1989-Kenyon-MathieuV #analysis #data type

General Methods for the Analysis of the Maximum Size of Dynamic Data Structures (Extended Abstract) (CKM, JSV), pp. 473–487.

ASPLOS-1989-Holliday #architecture #migration

Reference History, Page Size, and Migration Daemons in Local/Remote Architectures (MAH), pp. 104–112.

ML-1988-Robertson #classification

Population Size in classifier Systems (GGR), pp. 142–152.

CSL-1988-Gradel #complexity #modelling #nondeterminism

Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes (EG), pp. 118–137.

DAC-1987-Cirit

Transistor Sizing in CMOS Circuits (MAC), pp. 121–124.

DAC-1987-Hedlund #automation #named

Aesop: A Tool for Automated Transistor Sizing (KSH), pp. 114–120.

STOC-1987-BilardiP #complexity #network

Size-Time Complexity of Boolean Networks for Prefix Computations (GB, FPP), pp. 436–442.

HCI-SES-1987-ReiselS

Is Bigger Better? The Effects of Display Size on Program Reading (JFR, BS), pp. 113–122.

SIGIR-1987-Losee #database #documentation #modelling #random #retrieval

The Effect of Database Size on Document Retrieval: Random and Best-First Retrieval Models (RML), pp. 164–169.

SIGIR-1987-WallaceBK #effectiveness #online #retrieval

Estimating Effective Display Size in Online Retrieval Systems (DPW, BRB, DHK), pp. 234–245.

ASPLOS-1987-DavidsonV #complexity #memory management #performance #set

The Effect of Instruction Set Complexity on Program Size and Memory Performance (JWD, RAV), pp. 60–64.

STOC-1986-Barrington #bound #branch #source code

Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC¹ (DAMB), pp. 1–5.

DAC-1985-KaoFL #algorithm #automation

Algorithms for automatic transistor sizing in CMOS digital circuits (WHK, NF, CHL), pp. 781–784.

DAC-1985-ShaD #algorithm

An analytical algorithm for placement of arbitrarily sized rectangular blocks (LS, RWD), pp. 602–608.

ICALP-1984-GardyP #algebra #relational

Relational Algebra Operations and Sizes of Relations (DG, CP), pp. 174–186.

SIGMOD-1983-Christodoulakis

Estimating Block Transfers and Join Sizes (SC), pp. 40–54.

STOC-1983-ReifV #linear #network

A Logarithmic Time Sort for Linear Size Networks (JHR, LGV), pp. 10–16.

ICALP-1983-EdelsbrunnerW #on the #set

On the Number of Equal-Sized Semispaces of a Set of Points in the Plane (Extended Abstract) (HE, EW), pp. 182–187.

DAC-1982-OdawaraIK

Arbitrarily-sized module location technique in the lop system (GO, KI, TK), pp. 718–726.

VLDB-1982-GelenbeG #dependence #functional

The Size of Projections of Relations Satisfying a Functional Dependency (EG, DG), pp. 325–333.

ICALP-1982-DurisG #automaton #bound #on the

On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store (PD, ZG), pp. 166–175.

ICALP-1982-Kalorkoti #bound

A Lower Bound for the Formula Size of Rational Functions (KK), pp. 330–338.

ICSE-1982-ItakuraT #evaluation

A Model for Estimating Program Size and Its Evaluation (MI, AT), pp. 104–109.

DAC-1981-HorngL #automation #interactive #layout

An automatic/interactive layout planning system for arbitrarily-sized rectangular building blocks (CSH, ML), pp. 293–300.

DAC-1981-KhokhaniPFSH

Placement of variable size circuits on LSI masterslices (KHK, AMP, WF, JS, DH), pp. 426–434.

SIGMOD-1981-McCord #database #distributed

Sizing and Data Distribution for a Distributed Database Machine (RM), pp. 198–204.

SIGMOD-1981-Richard #algebra #evaluation #query #relational

Evaluation of the Size of a Query Expressed in Relational Algebra (PR), pp. 155–163.

ICALP-1981-Ukkonen #bound #on the #parsing

On Size Bounds for Deterministic Parsers (EU), pp. 218–228.

SOSP-1981-Satyanarayanan #case study #functional

A Study of File Sizes and Functional Lifetimes (MS), pp. 96–108.

ICALP-1980-Snir #complexity #on the

On the Size Complexity of Monotone Formulas (MS), pp. 621–631.

STOC-1979-Ruzzo #bound

Tree-Size Bounded Alternation (WLR), pp. 352–359.

STOC-1979-Sipser #automaton #bound

Lower Bounds on the Size of Sweeping Automata (MS), pp. 360–364.

ICALP-1979-Janko

Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons (WJ), pp. 304–315.

ICALP-1979-Kemp #distributed #on the #stack

On the Average Stack Size of Regularly Distributed Binary Trees (RK), pp. 340–355.

ICSE-1979-JonesS #distributed #problem

TASK Forces: Distributed Software for Solving Problems of Substantial Size (AKJ, KS), pp. 315–331.

STOC-1978-SakodaS #automaton #finite #nondeterminism

Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.

ICALP-1978-Commentz-Walter #trade-off

Size-Depth Tradeoff in Boolean Formulas (BCW), pp. 125–141.

STOC-1975-FischerMP #bound

Lower Bounds on the Size of Boolean Formulas: Preliminary Report (MJF, ARM, MP), pp. 37–44.

STOC-1972-MeyerB

Program Size and Economy of Descriptions: Preliminary Report (ARM, AB), pp. 183–186.

STOC-1970-Constable #on the #recursion #source code

On the Size of Programs in Subrecursive Formalisms (RLC), pp. 1–9.

SOSP-1969-BatsonJW #metric

Measurements of segment size (APB, SMJ, DCW), pp. 25–29.