## Stem character$ (all stems)

### 519 papers:

- ECSA-2015-LewisL
- Characterization of Cyber-Foraging Usage Contexts (GAL, PL), pp. 195–211.
- CASE-2015-QuZJCL #2d
- A MEMS microgripper with two-axis actuators and force sensors for microscale mechanical characterization of soft materials (JQ, WZ, AJ, SSDC, XL), pp. 1620–1625.
- DAC-2015-XuLP #adaptation #modelling #physics #statistics #using
- Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
- DAC-2015-YangTJ #analysis
- Criticality-dependency-aware timing characterization and analysis (YMY, KHT, IHRJ), p. 6.
- DATE-2015-0001KVSMA #adaptation #embedded #energy #nondeterminism #scalability
- Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems (AD, AK, BV, RAS, GVM, BMAH), pp. 43–48.
- DATE-2015-HuangTTC #architecture
- Feedback-bus oscillation ring: a general architecture for delay characterization and test of interconnects (SYH, MTT, KHHT, WTC), pp. 924–927.
- DATE-2015-YuSHEAB #library #multi #statistics #using
- Statistical library characterization using belief propagation across multiple technology nodes (LY, SS, CH, IME, DAA, DSB), pp. 1383–1388.
- HT-2015-TamersoyCC #social #social media
- Characterizing Smoking and Drinking Abstinence from Social Media (AT, MDC, DHC), pp. 139–148.
- FASE-2015-LiuPL #energy #optimisation
- Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.
- MSR-2015-ChoetkiertikulD #predict #risk management
- Characterization and Prediction of Issue-Related Risks in Software Projects (MC, HKD, TT, AG), pp. 280–291.
- STOC-2015-ChenJL #capacity #online
- A Characterization of the Capacity of Online (causal) Binary Channels (ZC, SJ, ML), pp. 287–296.
- CIAA-2015-FernauPS #automaton #complexity #finite
- Jumping Finite Automata: Characterizations and Complexity (HF, MP, MLS), pp. 89–101.
- ICGT-2015-MachadoRH #evolution #graph transformation
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
- CSCW-2015-MaddockSASOM #behaviour #multi #online #using
- Characterizing Online Rumoring Behavior Using Multi-Dimensional Signatures (JM, KS, HJAH, DES, MO, RMM), pp. 228–241.
- ICEIS-v2-2015-ThommazoCHGPBF #complexity #dependence #requirements #testing #using
- Using the Dependence Level Among Requirements to Priorize the Regression Testing Set and Characterize the Complexity of Requirements Change (ADT, KC, EMH, GG, JP, AB, SF), pp. 231–241.
- KDD-2015-BerralPCCRG #automation #framework #information management #named
- ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments (JLB, NP, DC, AC, RR, DG), pp. 1701–1710.
- POPL-2015-ElangoRPRS #complexity #data access #on the #source code
- On Characterizing the Data Access Complexity of Programs (VE, FR, LNP, JR, PS), pp. 567–580.
- SAC-2015-KundeM #middleware #resource management
- Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.
- SAC-2015-MukherjeeKCDCM #as a service #design #framework #performance #scalability
- Performance characterization and scalable design of sensing-as-a-service platform (TM, AK, DC, KD, AC, AM), pp. 592–595.
- SAC-2015-OliveiraLV #framework #performance #security #web #web service
- Characterizing the performance of web service frameworks under security attacks (RAO, NL, MV), pp. 1711–1718.
- ESEC-FSE-2015-FratantonioMBKV #android #named
- CLAPP: characterizing loops in Android applications (YF, AM, AB, CK, GV), pp. 687–697.
- CGO-2015-FauziaPS #memory management
- Characterizing and enhancing global memory data coalescing on GPUs (NF, LNP, PS), pp. 12–22.
- HPCA-2015-CaiLHMM #memory management #optimisation
- Data retention in MLC NAND flash memory: Characterization, optimization, and recovery (YC, YL, EFH, KM, OM), pp. 551–563.
- HPCA-2015-LengZR #architecture #gpu
- GPU voltage noise: Characterization and hierarchical smoothing of spatial and temporal voltage noise interference in GPU architectures (JL, YZ, VJR), pp. 161–173.
- HPDC-2015-AlvarezOEAGR #analysis
- HPC System Lifetime Story: Workload Characterization and Evolutionary Analyses on NERSC Systems (GPRÁ, POÖ, EE, KA, RG, LR), pp. 57–60.
- HPDC-2015-RothMV #automation #communication #parallel
- Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
- CSL-2015-MazowieckiR #automaton #logic #towards
- Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.
- TLCA-2015-WangC #independence #type system
- A Proof-theoretic Characterization of Independence in Type Theory (YW, KC), pp. 332–346.
- CASE-2014-RenfrewHHC #automation #image #segmentation
- Automated segmentation and characterization of ion-abrasion scanning electron microscopy fuel cell images (MR, NH, AH, MCC), pp. 56–60.
- DATE-2014-BartoliniCCTB #energy
- Unveiling Eurora — Thermal and power characterization of the most energy-efficient supercomputer in the world (AB, MC, CC, GT, LB), pp. 1–6.
- DATE-2014-ChangOSK #approximate #estimation #statistics
- Approximating the age of RF/analog circuits through re-characterization and statistical estimation (DC, SO, OS, RK), pp. 1–4.
- DATE-2014-JeongOSNS #parametricity #self
- Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.
- DATE-2014-WangXWCWW #manycore #power management
- Characterizing power delivery systems with on/off-chip voltage regulators for many-core processors (XW, JX, ZW, KJC, XW, ZW), pp. 1–4.
- DATE-2014-ZhangLHCW #multi #performance #predict
- Joint Virtual Probe: Joint exploration of multiple test items’ spatial patterns for efficient silicon characterization and test prediction (SZ, FL, CKH, KTC, HW), pp. 1–6.
- HT-2014-CunhaMGCA #how #social
- How you post is who you are: characterizing google+ status updates across social groups (EC, GM, MAG, CC, VA), pp. 212–217.
- HT-2014-KawaseSNHN
- Exploiting the wisdom of the crowds for characterizing and connecting heterogeneous resources (RK, PS, BPN, EH, WN), pp. 56–65.
- SIGMOD-2014-RekatsinasDS #data flow
- Characterizing and selecting fresh data sources (TR, XLD, DS), pp. 919–930.
- TACAS-2014-GhorbalP #algebra #difference #invariant
- Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
- MSR-2014-GarciaS #debugging #open source #predict
- Characterizing and predicting blocking bugs in open source projects (HVG, ES), pp. 72–81.
- MSR-2014-JoorabchiMM #debugging #exclamation
- Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
- STOC-2014-KhotTW #approximate
- A characterization of strong approximation resistance (SK, MT, PW), pp. 634–643.
- STOC-2014-Yoshida #composition #invariant #theorem
- A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.
- DLT-J-2013-EsikI14
- Operational Characterization of Scattered MCFLs (ZÉ, SI), pp. 1001–1016.
- AFL-2014-HolzerJ #automaton #product line #regular expression
- More Structural Characterizations of Some Subregular Language Families by Biautomata (MH, SJ), pp. 271–285.
- ICALP-v1-2014-CleveM #constraints #game studies
- Characterization of Binary Constraint System Games (RC, RM), pp. 320–331.
- FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
- Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
- CSCW-2014-CastilloEPS #lifecycle #online #social #social media #using
- Characterizing the life cycle of online news stories using social media reactions (CC, MEH, JP, MS), pp. 211–223.
- CSCW-2014-ChoudhuryCHH #facebook #predict
- Characterizing and predicting postpartum depression from shared facebook data (MDC, SC, EH, AH), pp. 626–638.
- HCI-AS-2014-AlvarezHHKLLL #framework #game studies
- From Screens to Devices and Tangible Objects: A Framework Applied to Serious Games Characterization (JA, SH, CH, CK, YL, SL, AL), pp. 559–570.
- VISSOFT-2014-SchotsW #framework #using #visualisation
- Using a Task-Oriented Framework to Characterize Visualization Approaches (MS, CMLW), pp. 70–74.
- ICPR-2014-AzizWH #graph #kernel #using
- Graph Characterization Using Wave Kernel Trace (FA, RCW, ERH), pp. 3822–3827.
- ICPR-2014-ChangWW #image #matrix #multi
- Multi-view Nonnegative Matrix Factorization for Clothing Image Characterization (WYC, CPW, YCFW), pp. 1272–1277.
- ICPR-2014-WangCS #navigation
- Characterization of Mountain Drainage Patterns for GPS-Denied UAS Navigation Augmentation (TW, KÇ, AKS), pp. 1852–1857.
- ICPR-2014-YeWH #analysis #component #graph
- Graph Characterization from Entropy Component Analysis (CY, RCW, ERH), pp. 3845–3850.
- KDD-2014-SintosT #network #social #using
- Using strong triadic closure to characterize ties in social networks (SS, PT), pp. 1466–1475.
- KMIS-2014-FredjLC #algorithm #guidelines
- Characterizing Generalization Algorithms — First Guidelines for Data Publishers (FBF, NL, ICW), pp. 360–366.
- SIGIR-2014-LeeTC #behaviour #multi #risk management
- Characterizing multi-click search behavior and the risks and opportunities of changing results during use (CJL, JT, SdlC), pp. 515–524.
- SAC-2014-SantannaSB #automation #image #retrieval #towards
- Content-based image retrieval towards the automatic characterization of soybean seed vigor (MGFS, PTMS, PHB), pp. 964–969.
- ICSE-2014-LiuXC #debugging #detection #performance #smarttech
- Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
- HPCA-2014-XiangYZ
- Warp-level divergence in GPUs: Characterization, impact, and mitigation (PX, YY, HZ), pp. 284–295.
- OSDI-2014-WiresIDHW
- Characterizing Storage Workloads with Counter Stacks (JW, SI, ZD, NJAH, AW), pp. 335–349.
- ICTSS-2014-Deak #bibliography #testing #what
- What Characterizes a Good Software Tester? — A Survey in Four Norwegian Companies (AD), pp. 161–172.
- LICS-CSL-2014-BolligGMZ #automaton #logic
- Logical characterization of weighted pebble walking automata (BB, PG, BM, MZ), p. 10.
- LICS-CSL-2014-Breuvart #modelling #on the
- On the characterization of models of H (FB), p. 10.
- RTA-TLCA-2014-CarvalhoS #decidability #polynomial #set
- An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting (DdC, JGS), pp. 179–193.
- VMCAI-2014-Song0G #bisimulation #logic #markov #process
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
- ASE-2013-GuoZYZZ #android #detection
- Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.
- ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics
- Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
- CASE-2013-SoviziK #matrix #nondeterminism #parallel #random #using
- Uncertainty characterization in serial and parallel manipulators using random matrix theory (JS, VNK), pp. 312–317.
- DAC-2013-ChippaCRR #analysis #approximate
- Analysis and characterization of inherent application resilience for approximate computing (VKC, STC, KR, AR), p. 9.
- DAC-2013-DevWR #3d #integration #testing #using
- High-throughput TSV testing and characterization for 3D integration using thermal mapping (KD, GW, SR), p. 6.
- DATE-2013-CaiHMM #analysis #memory management #modelling
- Threshold voltage distribution in MLC NAND flash memory: characterization, analysis, and modeling (YC, EFH, OM, KM), pp. 1285–1290.
- DATE-2013-HuNRK #detection #hardware #multimodal #using
- High-sensitivity hardware trojan detection using multimodal characterization (KH, ANN, SR, FK), pp. 1271–1276.
- DATE-2013-ZakharenkoAM #cpu #gpu #performance #using
- Characterizing the performance benefits of fused CPU/GPU systems using FusionSim (VZ, TMA, AM), pp. 685–688.
- ICDAR-2013-DjeddiSSE #question #representation
- Codebook for Writer Characterization: A Vocabulary of Patterns or a Mere Representation Space? (CD, IS, LSM, AE), pp. 423–427.
- SIGMOD-2013-ElmoreDPAAY #behaviour #multitenancy
- Characterizing tenant behavior for placement and crisis mitigation in multitenant DBMSs (AJE, SD, AP, DA, AEA, XY), pp. 517–528.
- PASTE-2013-SarimbekovSKZBBA #virtual machine
- A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
- SCAM-2013-JbaraF #assessment #complexity #linux
- Characterization and assessment of the linux configuration complexity (AJ, DGF), pp. 11–20.
- STOC-2013-BhattacharyyaFHHL #invariant
- Every locally characterized affine-invariant property is testable (AB, EF, HH, PH, SL), pp. 429–436.
- DLT-2013-EsikI
- Operational Characterization of Scattered MCFLs (ZÉ, SI), pp. 215–226.
- DLT-2013-KlimaP #automaton
- Alternative Automata Characterization of Piecewise Testable Languages (OK, LP), pp. 289–300.
- ICALP-v1-2013-BhattacharyyaY #algebra
- An Algebraic Characterization of Testable Boolean CSPs (AB, YY), pp. 123–134.
- ICALP-v1-2013-Kolmogorov #linear #power of #programming
- The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
- IFM-2013-DemasiCMA #fault tolerance #simulation
- Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
- HCI-AMTE-2013-WincklerBB
- Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.
- HCI-III-2013-RuffieuxLKM #developer #gesture #visual notation
- A Developer-Oriented Visual Model for Upper-Body Gesture Characterization (SR, DL, OAK, EM), pp. 186–195.
- ECIR-2013-BeloborodovKB #community
- Characterizing Health-Related Community Question Answering (AB, AK, PB), pp. 680–683.
- ICML-c1-2013-YuCSS #theorem
- Characterizing the Representer Theorem (YY, HC, DS, CS), pp. 570–578.
- SIGIR-2013-HeBV #multi #query
- Characterizing stages of a multi-session complex search task through direct and indirect query modifications (JH, MB, APdV), pp. 897–900.
- SIGIR-2013-Wu #behaviour #how #online #predict #using
- How far will you go?: characterizing and predicting online search stopping behavior using information scent and need for cognition (WCW), p. 1149.
- ECMFA-2013-CariouGBP #adaptation
- Characterization of Adaptable Interpreted-DSML (EC, OLG, FB, SP), pp. 37–53.
- CGO-2013-EklovNBH #memory management
- Bandwidth Bandit: Quantitative characterization of memory contention (DE, NN, DBS, EH), p. 10.
- CSL-2013-BoudesHP
- A characterization of the Taylor expansion of λ-terms (PB, FH, MP), pp. 101–115.
- LICS-2013-FacchiniVZ #calculus #theorem #μ-calculus
- A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus (AF, YV, FZ), pp. 478–487.
- QoSA-2012-AliRB #architecture #case study #multi #realtime
- Characterizing real-time reflexion-based architecture recovery: an in-vivo multi-case study (NA, JR, JB), pp. 23–32.
- CASE-2012-FelekisWMRBSN #automation #using
- Automated stiffness characterization of living tobacco BY2 cells using the Cellular Force Microscope (DF, AW, SM, ALRK, FB, RSS, BJN), pp. 285–290.
- CASE-2012-YaqubGK #fault #multi
- Impact characterization of multiple-points-defect on machine fault diagnosis (MFY, IG, JK), pp. 479–484.
- CASE-2012-YoonP #design
- Design, fabrication, and characterization of in-pipe robot with controllable magnetic force (KHY, YWP), pp. 786–789.
- DAC-2012-ChajiJ #low cost
- Generic low-cost characterization of Vth and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays (GRC, JJ), pp. 182–187.
- DAC-2012-YeC #3d #fault
- TSV open defects in 3D integrated circuits: characterization, test, and optimal spare allocation (FY, KC), pp. 1024–1030.
- DATE-2012-CaiHMM #analysis #fault #memory management #metric
- Error patterns in MLC NAND flash memory: Measurement, characterization, and analysis (YC, EFH, OM, KM), pp. 521–526.
- DATE-2012-ChenCLSR
- Characterization of the bistable ring PUF (QC, GC, PL, US, UR), pp. 1459–1462.
- DATE-2012-NasseryO
- An analytical technique for characterization of transceiver IQ imbalances in the loop-back mode (AN, SO), pp. 1084–1089.
- FoSSaCS-2012-PreugschatW #automaton #effectiveness #logic #using
- Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata (SP, TW), pp. 135–149.
- ICPC-2012-Jbara #linux
- Characterization of the Linux configuration system (AJ), pp. 273–276.
- ICSM-2012-RungtaPB #behaviour #evolution #impact analysis
- A change impact analysis to characterize evolving program behaviors (NR, SP, JB), pp. 109–118.
- MSR-2012-SouzaC #debugging #ide #open source #verification
- Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.
- STOC-2012-CaiDW #algorithm #multi
- An algorithmic characterization of multi-dimensional mechanisms (YC, CD, SMW), pp. 459–478.
- STOC-2012-ChakrabartiFW #multi #network #problem
- When the cut condition is enough: a complete characterization for multiflow problems in series-parallel networks (AC, LF, CW), pp. 19–26.
- STOC-2012-VadhanZ #generative #pseudo
- Characterizing pseudoentropy and simplifying pseudorandom generator constructions (SPV, CJZ), pp. 817–836.
- AFL-J-2011-IbarraS12 #bound #linear
- Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
- DLT-2012-KetemaS #normalisation #string #termination
- Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.
- ICALP-v2-2012-BojanczykL #independence
- A Machine-Independent Characterization of Timed Languages (MB, SL), pp. 92–103.
- LATA-2012-Axelsen #automaton #finite #multi
- Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (HBA), pp. 95–105.
- LATA-2012-HundeshagenO #transducer
- Characterizing the Rational Functions by Restarting Transducers (NH, FO), pp. 325–336.
- CHI-2012-TossellKRSZ #smarttech #web
- Characterizing web use on smartphones (CT, PTK, AR, CS, LZ), pp. 2769–2778.
- CHI-2012-WhiteB
- Characterizing local interests and local knowledge (RW, GB), pp. 1607–1610.
- ICEIS-v3-2012-AversanoGT #framework
- A Characterization Framework for Evaluating Business/IT Alignment Strategies (LA, CG, MT), pp. 155–164.
- CIKM-2012-AltingovdeBCOSU #query #web
- Characterizing web search queries that match very few or no results (ISA, RB, BBC, RO, ES, ÖU), pp. 2000–2004.
- ICPR-2012-NegiBC #approach
- Characterizing user-subgroups in Flickr Group: A block LDA based approach (SN, RB, SC), pp. 2262–2265.
- ICPR-2012-ThibaultA #classification #performance #statistics
- Efficient statistical/morphological cell texture characterization and classification (GT, JA), pp. 2440–2443.
- KDD-2012-DingKBKC #anti #communication #detection #social
- Intrusion as (anti)social communication: characterization and detection (QD, NK, PB, EDK, MC), pp. 886–894.
- SEKE-2012-Cao #logic #refinement
- Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.
- RE-2012-Ghazarian #functional #requirements #taxonomy
- Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
- SAC-2012-ChhelLGS #biology #multi #using
- Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
- ICSE-2012-YuanPZ #open source
- Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
- ICSE-2012-ZimmermannNGM #debugging #predict
- Characterizing and predicting which bugs get reopened (TZ, NN, PJG, BM), pp. 1074–1083.
- CGO-2012-ParkCA #graph #modelling #predict #using
- Using graph-based program characterization for predictive modeling (EP, JC, MAA), pp. 196–206.
- VMCAI-2012-SackZ #framework #probability
- A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
- DAC-2011-AarestadLPAA #process
- Characterizing within-die and die-to-die delay variations introduced by process variations and SOI history effect (JA, CL, JP, DA, KA), pp. 534–539.
- DAC-2011-MirandaRBW #design #modelling #standard #statistics #using
- Statistical characterization of standard cells using design of experiments with response surface modeling (MM, PR, LB, GIW), pp. 77–82.
- DAC-2011-YinKL #effectiveness
- High effective-resolution built-in jitter characterization with quantization noise shaping (LY, YK, PL), pp. 765–770.
- DATE-2011-FerentD #automation #design #similarity
- A symbolic technique for automated characterization of the uniqueness and similarity of analog circuit design features (CF, AD), pp. 1212–1217.
- DATE-2011-GobbatoCG #megamodelling #parallel #scalability
- A parallel Hamiltonian eigensolver for passivity characterization and enforcement of large interconnect macromodels (LG, AC, SGT), pp. 26–31.
- DATE-2011-MeynardRFGHD
- Enhancement of simple electro-magnetic attacks by pre-characterization in frequency domain and demodulation techniques (OM, DR, FF, SG, NH, JLD), pp. 1004–1009.
- DATE-2011-PasettiCTSDSF
- Characterization of an Intelligent Power Switch for LED driving with control of wiring parasitics effects (GP, NC, FT, RS, PD, SS, LF), pp. 1119–1120.
- DATE-2011-WangCC #self
- An all-digital built-in self-test technique for transfer function characterization of RF PLLs (PYW, HMC, KTC), pp. 359–364.
- DRR-2011-BallS #automation #statistics #tool support #using
- Statistical characterization of handwriting characteristics using automated tools (GRB, SNS), pp. 1–10.
- DRR-2011-NagyLSW
- Characterizing challenged Minnesota ballots (GN, DPL, EHBS, ZW), pp. 1–10.
- ICSM-2011-DraganCHM #commit #using
- Using stereotypes to help characterize commits (ND, MLC, MH, JIM), pp. 520–523.
- DLT-J-2010-RigoW11 #finite #logic #set
- Logical Characterization of Recognizable Sets of polynomials over a Finite Field (MR, LW), pp. 1549–1563.
- AFL-2011-IbarraS #bound #linear
- Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
- DLT-2011-Fujioka
- Morphic Characterizations in Terms of Insertion Systems with a Context of Length One (KF), pp. 474–475.
- DLT-2011-HundeshagenO #automaton #regular expression
- Characterizing the Regular Languages by Nonforgetting Restarting Automata (NH, FO), pp. 288–299.
- ICALP-v1-2011-Drucker
- A PCP Characterization of AM (AD), pp. 581–592.
- ICALP-v1-2011-Mengel #constraints #problem
- Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (Extended Abstract) (SM), pp. 700–711.
- LATA-2011-BrijderB
- Characterizing Compressibility of Disjoint Subgraphs with NLC Grammars (RB, HB), pp. 167–178.
- CHI-2011-DiakopoulosKN #design
- Playable data: characterizing the design space of game-y infographics (ND, FKS, MN), pp. 1717–1726.
- CHI-2011-FourneyMT #analysis #interactive #query #usability
- Characterizing the usability of interactive applications through query log analysis (AF, RM, MAT), pp. 1817–1826.
- CHI-2011-WilcoxMTGH
- Characterizing patient-friendly “micro-explanations” of medical events (LW, DM, DST, JG, EH), pp. 29–32.
- HCI-DDA-2011-HessMT #interactive #using
- Differentiating between Successful and Less Successful Products by Using MAInEEAC — A Model for Interaction Characterization (SH, AM, MT), pp. 238–247.
- HIMI-v2-2011-MozaffariM #classification #mining #visual notation
- A Classification Scheme for Characterizing Visual Mining (EM, SPM), pp. 46–54.
- ICEIS-v3-2011-LutteriR #case study #enterprise #process
- Characterization of Consultant Activities in ERP Projects — A Case Study (EL, BR), pp. 293–300.
- CIKM-2011-PobleteGMJ #twitter
- Do all birds tweet the same?: characterizing twitter around the world (BP, ROGG, MM, AJ), pp. 1025–1030.
- KDD-2011-MaiyaB #bias #network #towards
- Benefits of bias: towards better characterization of network sampling (ASM, TYBW), pp. 105–113.
- KDIR-2011-BarbieriCMR #approach #clustering #probability
- Characterizing Relationships through Co-clustering — A Probabilistic Approach (NB, GC, GM, ER), pp. 64–73.
- KEOD-2011-GaignardMWG #concept #parametricity #runtime #semantics
- Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
- KEOD-2011-OkumuraH #concept #using
- A Refining Method of Obtained Attributes to Characterize Undefined Concepts using Search Engine (NO, YH), pp. 493–497.
- SAC-2011-ChhelGLLSHB #problem
- The bacterial strains characterization problem (FC, AG, AL, FL, FS, GH, TB), pp. 108–109.
- ICSE-2011-JhiWJZLW #detection
- Value-based program characterization and its application to software plagiarism detection (YcJ, XW, XJ, SZ, PL, DW), pp. 756–765.
- ICSE-2011-LiKZJNMK #difference
- Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.
- ICSE-2011-SimidchievaO #process
- Characterizing process variation (BIS, LJO), pp. 836–839.
- CADE-2011-GalmicheM
- A Connection-Based Characterization of Bi-intuitionistic Validity (DG, DM), pp. 268–282.
- CSL-2011-BesC #algebra #linear #order
- Algebraic Characterization of FO for Scattered Linear Orderings (AB, OC), pp. 67–81.
- CSL-2011-Straubing #algebra #finite #word
- Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (HS), pp. 525–537.
- ICLP-2011-BochmanL #equivalence
- Yet Another Characterization of Strong Equivalence (AB, VL), pp. 11–15.
- ISSTA-2011-ZhangZ #adaptation #interactive #parametricity #testing
- Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.
- CASE-2010-ShahiniMY
- Characterization of micro forces in pushing flat micro-sized objects (MS, WWM, JTWY), pp. 539–544.
- DAC-2010-ChellappaNYHVCCC #variability
- In-situ characterization and extraction of SRAM variability (SC, JN, XY, NDH, JV, MC, YC, LTC), pp. 711–716.
- DAC-2010-NowrozCR #monitoring
- Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.
- DAC-2010-WeiMP #hardware #security
- Gate-level characterization: foundations and hardware security applications (SW, SM, MP), pp. 222–227.
- DAC-2010-ZhangLR
- Bayesian virtual probe: minimizing variation characterization cost for nanoscale IC technologies via Bayesian inference (WZ, XL, RAR), pp. 262–267.
- DATE-2010-EguiaTSPT #behaviour #design #manycore #modelling
- General behavioral thermal modeling and characterization for multi-core microprocessor design (TJAE, SXDT, RS, EHP, MT), pp. 1136–1141.
- DATE-2010-HernandezSD #process
- A methodology for the characterization of process variation in NoC links (CH, FS, JD), pp. 685–690.
- DATE-2010-PanHL #fault #named
- IVF: Characterizing the vulnerability of microprocessor structures to intermittent faults (SP, YH, XL), pp. 238–243.
- PODS-2010-AlexeKT
- Characterizing schema mappings via data examples (BA, PGK, WCT), pp. 261–272.
- STOC-2010-AaronsonD #quantum
- A full characterization of quantum advice (SA, AD), pp. 131–140.
- LATA-2010-YoshinakaKS #context-free grammar #multi
- Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages (RY, YK, HS), pp. 596–607.
- CHI-2010-DiakopoulosS #performance #sentiment #twitter
- Characterizing debate performance via aggregated twitter sentiment (ND, DAS), pp. 1195–1198.
- CHI-2010-DornG #design #learning #programming #web
- Learning on the job: characterizing the programming knowledge and learning strategies of web designers (BD, MG), pp. 703–712.
- CHI-2010-WycheSCAG #interactive
- Deliberate interactions: characterizing technology use in Nairobi, Kenya (SW, TNS, MC, PMA, REG), pp. 2593–2602.
- CIKM-2010-ZhaoTHOJL #communication #social
- Communication motifs: a tool to characterize social communications (QZ, YT, QH, NO, RJ, WCL), pp. 1645–1648.
- ICPR-2010-GuptaD #communication #detection #network #social
- Detection and Characterization of Anomalous Entities in Social Communication Networks (NG, LD), pp. 738–741.
- ICPR-2010-MahdhaouiC #classification #multi #speech
- Emotional Speech Classification Based on Multi View Characterization (AM, MC), pp. 4488–4491.
- KR-2010-Aucher #logic
- Characterizing Updates in Dynamic Epistemic Logic (GA).
- KR-2010-LarbiKM
- A Characterization of Optimality Criteria for Decision Making under Complete Ignorance (RBL, SK, PM).
- KR-2010-OikarinenW #equivalence #framework
- Characterizing Strong Equivalence for Argumentation Frameworks (EO, SW).
- SAC-2010-BallanceC #monitoring #performance #source code
- Monitoring MPI programs for performance characterization and management control (RAB, JC), pp. 2305–2310.
- SAC-2010-FlouvatSGRG #mining
- Constrained colocation mining: application to soil erosion characterization (FF, NSF, DG, IR, CG), pp. 1054–1059.
- SAC-2010-ShestakovS #clustering #web
- Host-IP clustering technique for deep web characterization (DS, TS), pp. 874–875.
- ICSE-2010-GuoZNM #debugging #empirical #predict
- Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows (PJG, TZ, NN, BM), pp. 495–504.
- LDTA-2009-SingerBLPY10 #java
- Fundamental Nano-Patterns to Characterize and Classify Java Methods (JS, GB, ML, AP, PY), pp. 191–204.
- ASPLOS-2010-Mesa-MartinezAR #behaviour
- Characterizing processor thermal behavior (FJMM, EKA, JR), pp. 193–204.
- ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard
- Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.
- WICSA-ECSA-2009-SangwanN #architecture #complexity
- Characterizing essential and incidental complexity in software architectures (RSS, CJN), pp. 265–268.
- DAC-2009-CochranR
- Spectral techniques for high-resolution thermal characterization with limited sensor data (RC, SR), pp. 478–483.
- DAC-2009-LingVFA #analysis #effectiveness
- A moment-based effective characterization waveform for static timing analysis (DDL, CV, PF, SA), pp. 19–24.
- DAC-2009-PotkonjakNNM #detection #hardware #using
- Hardware Trojan horse detection using gate-level characterization (MP, AN, MN, TM), pp. 688–693.
- DAC-2009-ZhangBDSJ #multi #process
- Process variation characterization of chip-level multiprocessors (LZ, LSB, RPD, LS, RJ), pp. 694–697.
- ICPC-2009-CarneiroMM #approach #comprehension #process #visual notation
- Proposing a visual approach to support the characterization of software comprehension activities (GdFC, MGM, RCM), pp. 291–292.
- ICPC-2009-MurphyVS #behaviour #process #programming #using
- Using activity traces to characterize programming behaviour beyond the lab (GCM, PV, DCS), pp. 90–94.
- WCRE-1999-VanyaKRV99a #clustering
- Characterizing Evolutionary Clusters (AV, SK, NvR, HvV), pp. 227–236.
- STOC-2009-Gafni
- The extended BG-simulation and the characterization of t-resiliency (EG), pp. 85–92.
- DLT-2009-KountouriotisNR #boolean grammar #game studies
- A Game-Theoretic Characterization of Boolean Grammars (VK, CN, PR), pp. 334–347.
- ICALP-v2-2009-PlaceS #decidability
- A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
- LATA-2009-Onodera #locality #using
- New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
- HCI-AUII-2009-VerhoefLBOZC #word
- Bio-sensing for Emotional Characterization without Word Labels (TV, CLL, AB, FRO, TvdZ, FC), pp. 693–702.
- CIKM-2009-AshkanC
- Characterizing commercial intent (AA, CLAC), pp. 67–76.
- CIKM-2009-ParekhHRWW #challenge #experience #resource management
- Characterizing, constructing and managing resource usage profiles of system S applications: challenges and experience (SP, KH, DR, JLW, KLW), pp. 1177–1186.
- CIKM-2009-RodriguesM #community #social
- Socializing or knowledge sharing?: characterizing social intent in community question answering (EMR, NMF), pp. 1127–1136.
- CIKM-2009-WhiteD #behaviour #predict
- Characterizing and predicting search engine switching behavior (RWW, STD), pp. 87–96.
- ECIR-2009-AshkanCAG #query
- Classifying and Characterizing Query Intent (AA, CLAC, EA, QG), pp. 578–586.
- KDD-2009-MalmgrenHAW #communication
- Characterizing individual communication patterns (RDM, JMH, LANA, DJW), pp. 607–616.
- KDIR-2009-KharratZPF #evolution
- Characterizing the Traffic Density and Its Evolution through Moving Object Trajectories (AK, KZ, ISP, SF), pp. 319–322.
- SIGIR-2009-CartrightAD #topic
- Characterizing the subjectivity of topics (MAC, EA, JD), pp. 642–643.
- QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing
- Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.
- SAC-2009-GaoS #graph #performance
- Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces (HG, MS), pp. 1122–1126.
- HPCA-2009-KumarHM #manycore
- Characterization of Direct Cache Access on multi-core systems and 10GbE (AK, RH, SM), pp. 341–352.
- CSL-2009-Sumii #equivalence #polymorphism #λ-calculus
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.
- ICST-2009-BrooksRM #industrial #user interface #visual notation
- An Initial Characterization of Industrial Graphical User Interface Systems (PAB, BPR, AMM), pp. 11–20.
- ISSTA-2009-FoucheCP #array #incremental #scalability
- Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
- LICS-2009-Kahlon #bound #communication #decidability #thread
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
- ECSA-2008-BouckeWHHH #architecture
- Characterizing Relations between Architectural Views (NB, DW, RH, TH, AH), pp. 66–81.
- DAC-2008-HerbertM #multi #variability
- Characterizing chip-multiprocessor variability-tolerance (SH, DM), pp. 313–318.
- PODS-2008-Bojanzyk #effectiveness #logic
- Effective characterizations of tree logics (MB), pp. 53–66.
- ICPC-2008-AlaliKM #commit #open source #repository #what
- What’s a Typical Commit? A Characterization of Open Source Software Repositories (AA, HHK, JIM), pp. 182–191.
- ICSM-2008-ZhuLKM #design #maintenance
- Characterizing maintainability concerns in autonomic element design (QZ, LL, HMK, HAM), pp. 197–206.
- LATA-2008-Klunder #automaton #finite #using
- Characterization of Star-Connected Languages Using Finite Automata (BK), pp. 311–320.
- CIKM-2008-ChoudhurySJS #multi #network #social
- Multi-scale characterization of social network dynamics in the blogosphere (MDC, HS, AJ, DDS), pp. 1515–1516.
- CIKM-2008-JiaYF #detection #peer-to-peer
- Spam characterization and detection in peer-to-peer file-sharing systems (DJ, WGY, OF), pp. 329–338.
- CIKM-2008-VaidyaL #database #query
- Characterization of TPC-H queries for a column-oriented database on a dual-core amd athlon processor (PV, JJL), pp. 1411–1412.
- CIKM-2008-ZhaoBZY #community #network #predict
- Characterizing and predicting community members from evolutionary and heterogeneous networks (QZ, SSB, XZ, KY), pp. 309–318.
- ECIR-2008-ChoudharyMBB #corpus #evolution #interactive #towards
- Towards Characterization of Actor Evolution and Interactions in News Corpora (RC, SM, AB, RB), pp. 422–429.
- ICPR-2008-EscaleraPR08a
- Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.
- KR-2008-HahmannG #ontology
- Model-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology (TH, MG), pp. 263–273.
- PPDP-2008-MarionP #complexity #polynomial
- Characterizations of polynomial complexity classes with a better intensionality (JYM, RP), pp. 79–88.
- FSE-2008-DufourRS #java #scalability
- A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications (BD, BGR, GS), pp. 59–70.
- CSL-2008-Place #logic
- Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.
- CSL-2008-TorreMP #automaton #exponential #infinity
- An Infinite Automaton Characterization of Double Exponential Time (SLT, PM, GP), pp. 33–48.
- CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
- LICS-2008-Lynch #logic #modelling
- A Logical Characterization of Individual-Based Models (JFL), pp. 379–390.
- CASE-2007-HolleCHHM
- Characterization of Program Controlled CO2 Laser-Cut PDMS Channels for Lab-on-a-chip Applications (AWH, ShC, MH, JMH, DRM), pp. 621–627.
- CASE-2007-KratochvilDZN #automation #metric
- Automatic Nanorobotic Characterization of Anomalously Rolled-up SiGe/Si Helical Nanobelts through Vision-based Force Measurement (BK, LD, LZ, BJN), pp. 57–62.
- CASE-2007-PlanckaertDBBR #algorithm
- Metal transfer characterization with an active contour algorithm in MIG/MAG welding movies (JPP, EHD, DB, FB, FR), pp. 933–938.
- CASE-2007-Ruiz-BeltranRLA #modelling #petri net
- A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.
- DAC-2007-AgarwalN #process
- Characterizing Process Variation in Nanometer CMOS (KA, SRN), pp. 396–399.
- DAC-2007-KangKIAR #estimation #metric #online #reliability #using
- Characterization and Estimation of Circuit Reliability Degradation under NBTI using On-Line IDDQ Measurement (KK, KK, AEI, MAA, KR), pp. 358–363.
- DAC-2007-SrivastavaR #equation
- Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations (SS, JSR), pp. 136–141.
- DATE-2007-SavojAAGH #performance
- A new technique for characterization of digital-to-analog converters in high-speed systems (JS, AAA, AA, BWG, MAH), pp. 433–438.
- DATE-2007-SrivastavaR #agile
- Rapid and accurate latch characterization via direct Newton solution of setup/hold times (SS, JSR), pp. 1006–1011.
- DATE-2007-YeungTB #framework #interactive #interface #multi #novel
- Interactive presentation: Novel test infrastructure and methodology used for accelerated bring-up and in-system characterization of the multi-gigahertz interfaces on the cell processor (PY, AT, PB), pp. 725–730.
- ICDAR-2007-CharW #approximate #functional #representation
- Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.
- FASE-2007-FisherER #interface #web
- Dynamic Characterization of Web Application Interfaces (MFI, SGE, GR), pp. 260–275.
- FASE-2007-Lopez-HerrejonA #case study #metric #source code
- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies (RELH, SA), pp. 423–437.
- FoSSaCS-2007-ParmaS #bisimulation #logic #probability
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.
- CSMR-2007-ArdimentoBCV #component #framework #maintenance
- A maintenance oriented Framework for software components characterization (PA, GB, DC, GV), pp. 58–70.
- ICPC-2007-RobbesL #comprehension #development
- Characterizing and Understanding Development Sessions (RR, ML), pp. 155–166.
- DLT-2007-BrijderH #assembly #graph #reduction
- Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.
- ICALP-2007-KapronMS
- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
- LATA-2007-BodiniFR
- A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane (OB, TF, ER), pp. 139–150.
- CHI-2007-StachGPI #recognition
- Improving recognition and characterization in groupware with rich embodiments (TS, CG, DP, PI), pp. 11–20.
- KDD-2007-AsurPU #behaviour #framework #graph #interactive
- An event-based framework for characterizing the evolutionary behavior of interaction graphs (SA, SP, DU), pp. 913–921.
- SIGIR-2007-TeevanDH #personalisation
- Characterizing the value of personalizing search (JT, STD, EH), pp. 757–758.
- ESEC-FSE-2007-DubocRW #analysis #framework #scalability
- A framework for characterization and analysis of software system scalability (LD, DSR, TW), pp. 375–384.
- CSL-2007-Abramsky #geometry #interactive #proving
- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.
- CSL-2007-HertelU #game studies
- Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
- RTA-2007-Kikuchi #calculus #normalisation #proving
- Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (KK), pp. 257–272.
- RTA-2007-Strassburger
- A Characterization of Medial as Rewriting Rule (LS), pp. 344–358.
- DAC-2006-CaoDH #standard
- Standard cell characterization considering lithography induced variations (KC, SD, JH), pp. 801–804.
- DATE-2006-DensmoreDS #analysis #architecture #performance
- FPGA architecture characterization for system level performance analysis (DD, AD, ALSV), pp. 734–739.
- PODS-2006-GyssensPGF #documentation #navigation #semantics #xpath
- Structural characterizations of the semantics of XPath as navigation tool on a document (MG, JP, DVG, GHLF), pp. 318–327.
- ITiCSE-2006-Gal-EzerT #algebra #how #question #regular expression
- Algebraic characterization of regular languages: how to cope with all these equivalences? (JGE, MBT), p. 325.
- FoSSaCS-2006-PaoliniPR #normalisation
- An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.
- ICPC-2006-Mihancea #towards
- Towards a Client Driven Characterization of Class Hierarchies (PFM), pp. 285–294.
- ICSM-2006-RompaeyBD #smell
- Characterizing the Relative Significance of a Test Smell (BVR, BDB, SD), pp. 391–400.
- STOC-2006-Shapira #all about #combinator #graph
- A combinatorial characterization of the testable graph properties: it’s all about regularity (NA, EF, IN, AS), pp. 251–260.
- DLT-2006-Domaratzki #using
- Characterizing DNA Bond Shapes Using Trajectories (MD), pp. 180–191.
- ICALP-v1-2006-Kunc #algebra #finite
- Algebraic Characterization of the Finite Power Property (MK), pp. 120–131.
- CHI-2006-McCurdyCPKV #prototype
- Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success (MM, CC, GP, BK, AHV), pp. 1233–1242.
- CIKM-2006-BadueBRZZ #modelling #web
- Modeling performance-driven workload characterization of web search systems (CSB, RABY, BARN, AZ, NZ), pp. 842–843.
- ICPR-v2-2006-GranaCPS #detection #network
- Line Detection and Texture Characterization of Network Patterns (CG, RC, GP, SS), pp. 275–278.
- KR-2006-Ben-Naim #finite
- Lack of Finite Characterizations for the Distance-Based Revision (JBN), pp. 239–248.
- CC-2006-LiuW #architecture #compilation #optimisation #performance #perspective
- Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective (JL, YW), pp. 155–169.
- HPCA-2006-IsciM
- Phase characterization for power: evaluating control-flow-based and event-counter-based techniques (CI, MM), pp. 121–132.
- HPDC-2006-MalecotKF #internet #named
- XtremLab: A System for Characterizing Internet Desktop Grids (PM, DK, GF), pp. 357–358.
- PPoPP-2006-AlamVAG #performance #simulation
- Performance characterization of molecular dynamics techniques for biomolecular simulations (SRA, JSV, PKA, AG), pp. 59–68.
- CSL-2006-BonfanteKMO #towards
- Towards an Implicit Characterization of NCk (GB, RK, JYM, IO), pp. 212–224.
- IJCAR-2006-ChaudhuriPP #logic
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (KC, FP, GP), pp. 97–111.
- LICS-2006-LaurentF #bound #clique #complexity #semantics
- Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity (OL, LTdF), pp. 179–188.
- SAT-2006-HsuM #satisfiability
- Characterizing Propagation Methods for Boolean Satisfiability (EIH, SAM), pp. 325–338.
- DAC-2005-GuardianiBDMM #effectiveness #process
- An effective DFM strategy requires accurate process and IP pre-characterization (CG, MB, ND, MM, PM), pp. 760–761.
- DAC-2005-LiuCO #approximate #design #multi
- Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design (YL, SC, WTO), pp. 248–253.
- DATE-2005-LiauS
- Computational Intelligence Characterization Method of Semiconductor Device (EL, DSL), pp. 456–461.
- CSMR-2005-GirbaLD #evolution
- Characterizing the Evolution of Class Hierarchies (TG, ML, SD), pp. 2–11.
- DLT-2005-GruberHKK #automaton #on the
- On Timed Automata with Discrete Time — Structural and Language Theoretical Characterization (HG, MH, AK, BK), pp. 272–283.
- CIKM-2005-WyssR
- A formal characterization of PIVOT/UNPIVOT (CMW, ELR), pp. 602–608.
- ECIR-2005-Belkhatir #automation #image #retrieval #semantics #visual notation
- Combining Visual Semantics and Texture Characterizations for Precision-Oriented Automatic Image Retrieval (MB), pp. 457–474.
- SIGIR-2005-BlancoB #documentation #identifier #problem
- Characterization of a simple case of the reassignment of document identifiers as a pattern sequencing problem (RB, AB), pp. 587–588.
- HPCA-2005-YiKSLH #simulation
- Characterizing and Comparing Prevailing Simulation Techniques (JJY, SVK, RS, DJL, DMH), pp. 266–277.
- CSL-2005-BenediktS #invariant #query #towards
- Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
- ICLP-2005-Ferreira #database #deduction #using
- The MYDDAS Project: Using a Deductive Database for Traffic Characterization (MF), pp. 424–426.
- DAC-2004-ChoudhuriM #embedded #energy
- Energy characterization of filesystems for diskless embedded systems (SC, RNM), pp. 566–569.
- DAC-2004-KanjLAR
- Noise characterization of static CMOS gates (RK, TL, BA, ER), pp. 888–893.
- DAC-2004-YuM #embedded
- Characterizing embedded applications for instruction-set extensible processors (PY, TM), pp. 723–728.
- DATE-DF-2004-ElfadelDKRS
- A CAD Methodology and Tool for the Characterization of Wide On-Chip Buses (IME, AD, GVK, BR, HS), pp. 144–149.
- 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-v2-2004-MaxiaguineKT #execution
- Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
- PODS-2004-BenediktLBW #first-order
- A Characterization of First-Order Topological Properties of Planar Spatial Data (MB, CL, JVdB, TW), pp. 107–114.
- DLT-2004-BordihnHK #automaton #geometry
- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages (HB, MH, MK), pp. 102–113.
- ICALP-2004-BournezH
- An Analog Characterization of Elementarily Computable Functions over the Real Numbers (OB, EH), pp. 269–280.
- ICALP-2004-SamerV #ltl #query
- A Syntactic Characterization of Distributive LTL Queries (MS, HV), pp. 1099–1110.
- ICML-2004-HardinTA #feature model #linear
- A theoretical characterization of linear SVM-based feature selection (DPH, IT, CFA).
- ICPR-v1-2004-DuinPT #classification #problem
- The Characterization of Classification Problems by Classifier Disagreements (RPWD, EP, DMJT), pp. 140–143.
- ICPR-v2-2004-CostaGB
- Spectral Characterization of Orientation Data along Curvilinear Structures (JPDC, CG, PB), pp. 517–520.
- ICPR-v4-2004-AlliliCZ
- Morse Homology Descriptor for Shape Characterization (MA, DC, DZ), pp. 27–30.
- KR-2004-BesnardD #semantics
- Characterization of Semantics for Argument Systems (PB, SD), pp. 183–193.
- PPDP-2004-DoughertyGL #normalisation
- Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.
- HPCA-2004-JosephHM #analysis #case study #design #experience
- Wavelet Analysis for Microprocessor Design: Experiences with Wavelet-Based dI/dt Characterization (RJ, ZH, MM), pp. 36–47.
- HPCA-2004-MakineniI #architecture
- Architectural Characterization of TCP/IP Packet Processing on the Pentium M Microprocessor (SM, RRI), pp. 152–163.
- OSDI-2004-ZhangZPPW #internet #monitoring #named
- PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services (MZ, CZ, VSP, LLP, RYW), pp. 167–182.
- CSL-2004-Maier #liveness #ltl #safety
- Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
- CSL-2004-Richerby #logic
- Logical Characterizations of PSPACE (DR), pp. 370–384.
- DAC-2003-AmlaniZTNT #component
- Manipulation and characterization of molecular scale components (IA, RZ, JT, LN, RKT), pp. 276–277.
- DAC-2003-Heydari
- Characterizing the effects of clock jitter due to substrate noise in discrete-time D/S modulators (PH), pp. 532–537.
- DATE-2003-BrandoleseFSS #analysis #library
- Library Functions Timing Characterization for Source-Level Analysis (CB, WF, FS, DS), pp. 11132–11133.
- DATE-2003-GouraryRUZGM #approach #approximate
- Approximation Approach for Timing Jitter Characterization in Circuit Simulators (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 10156–10161.
- DATE-2003-PomeranzRK #detection #fault #on the
- On the Characterization of Hard-to-Detect Bridging Faults (IP, SMR, SK), pp. 11012–11019.
- DATE-2003-RapakaM #analysis #embedded #performance
- Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
- DRR-2003-ClementsS
- Speed-up of optical scanner characterization subsystem (RDC, EHBS), pp. 94–102.
- ICDAR-2003-AllierDGME #logic
- Texture Feature Characterization for Logical Pre-labeling (BA, JD, AG, PM, HE), pp. 567–571.
- ICDAR-2003-ZhaiWDL #performance
- A Line Drawings Degradation Model for Performance Characterization (JZ, LW, DD, QL), p. 1020–?.
- SIGMOD-2003-ReissK #optimisation #parametricity #query
- A Characterization of the Sensitivity of Query Optimization to Storage Access Cost Parameters (FR, TK), pp. 385–396.
- FoSSaCS-2003-BreugelMOW #approximate #probability #similarity
- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (FvB, MWM, JO, JW), pp. 200–215.
- ICSM-2003-DaCostaDMP #security
- Characterizing the “Security Vulnerability Likelihood” of Software Functions (DD, CD, SM, VP), p. 266–?.
- CIAA-2003-WangY #parametricity #realtime
- Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
- ICALP-2003-ChenKPSX #complexity #graph #problem
- Genus Characterizes the Complexity of Graph Problems: Some Tight Results (JC, IAK, LP, ES, GX), pp. 845–856.
- FME-2003-Vigna #security
- A Topological Characterization of TCP/IP Security (GV), pp. 914–939.
- SOFTVIS-2003-Hubscher-YoungerS #algorithm #student #visualisation
- Dancing Hamsters and Marble Statues: Characterizing Student Visualizations of Algorithms (THY, NHN), pp. 95–104.
- LOPSTR-2003-WeberC
- Constructively Characterizing Fold and Unfold (TW, JLC), pp. 110–127.
- CSL-2003-ChenF
- Machine Characterization of the Classes of the W-Hierarchy (YC, JF), pp. 114–127.
- CSL-2003-Laird #named
- Bistability: An Extensional Characterization of Sequentiality (JL), pp. 372–383.
- DAC-2002-Sheehan #predict
- Osculating Thevenin model for predicting delay and slew of capacitively characterized cells (BNS), pp. 866–869.
- PODS-2002-ArasuBBMW #data type #memory management #query #requirements
- Characterizing Memory Requirements for Queries over Continuous Data Streams (AA, BB, SB, JM, JW), pp. 221–232.
- FoSSaCS-2002-GodardM #graph #product line
- A Characterization of Families of Graphs in Which Election Is Possible (EG, YM), pp. 159–172.
- SCAM-J-2001-SouterP02 #automation #identification
- Characterization and automatic identification of type infeasible call chains (ALS, LLP), pp. 721–732.
- ICALP-2002-OngG #game studies
- Games Characterizing Levy-Longo Trees (CHLO, PDG), pp. 476–487.
- ICPR-v2-2002-SanchezBK #markov #video
- Coupled Markov Chains for Video Contents Characterization (JMS, XB, JRK), pp. 461–464.
- KR-2002-BaralST
- A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
- SEKE-2002-TorchianoJSW #off the shelf
- COTS products characterization (MT, MLJ, CFS, AIW), pp. 335–338.
- SAC-2002-HarrisonD #approach
- A hypothesis driven approach to condition specific transcription factor binding site characterization in S.c (RH, CD), pp. 151–158.
- ASPLOS-2002-SherwoodPHC #automation #behaviour #scalability
- Automatically characterizing large scale program behavior (TS, EP, GH, BC), pp. 45–57.
- ICLP-2002-FerrandL #approximate #finite #logic programming #reduction
- A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
- SAT-2002-LiB #empirical #satisfiability
- An empirical measure for characterizing 3-SAT (CML, HB), p. 35.
- DAC-2001-RaahemifarA #detection #fault
- Fault Characterizations and Design-for-Testability Technique for Detecting IDDQ Faults in CMOS/BiCMOS Circuits (KR, MA), pp. 313–316.
- DAC-2001-YalcinPMBSH #dependence #using
- An Advanced Timing Characterization Method Using Mode Dependency (HY, RP, MM, CB, KAS, JPH), pp. 657–660.
- PODS-2001-GottlobLS #game studies #logic
- Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).
- WCRE-2001-Anquetil #information management
- Characterizing the Informal Knowledge Contained in Systems (NA), pp. 166–175.
- DLT-2001-SchwentickTV #automaton
- Partially-Ordered Two-Way Automata: A New Characterization of DA (TS, DT, HV), pp. 239–250.
- ICALP-2001-BilardiP #locality #memory management
- A Characterization of Temporal Locality and Its Portability across Memory Hierarchies (GB, EP), pp. 128–139.
- ICML-2001-SarkarL #fuzzy #similarity
- Application of Fuzzy Similarity-Based Fractal Dimensions to Characterize Medical Time Series (MS, TYL), pp. 465–472.
- GCSE-2001-Biggerstaff #component #generative #reuse
- A Characterization of Generator and Component Reuse Technologies (TJB), pp. 1–9.
- PADL-2001-MukhopadhyayP #constraints #database #modelling #similarity
- Constraint Database Models Characterizing Timed Bisimilarity (SM, AP), pp. 245–258.
- RE-2001-Kurtz #estimation
- Ask Pete, Software Planning and Estimation through Project Characterization (TK), p. 286.
- HPDC-2001-JinYCA #network
- Network Characterization Service (NCS) (GJ, GY, BRC, DAA), p. 289–?.
- LICS-2001-EscardoS
- A Universal Characterization of the Closed Euclidean Interval (MHE, AKS), pp. 115–125.
- TLCA-2001-deLiguoro #calculus #convergence
- Characterizing Convergent Terms in Object Calculi via Intersection Types (Ud), pp. 315–328.
- CSMR-2000-SilvaLRG #evaluation #legacy #migration #performance
- Characterizing a Synthetic Workload for Performance Evaluation during the Migration of a Legacy System (PPdS, AHFL, RFR, PBG), pp. 173–182.
- STOC-2000-KatzY #encryption #probability #security
- Complete characterization of security notions for probabilistic private-key encryption (JK, MY), pp. 245–254.
- STOC-2000-SamorodnitskyT #complexity #query
- A PCP characterization of NP with optimal amortized query complexity (AS, LT), pp. 191–199.
- WLC-2000-Matsuda
- Characterization of Valuation Rings and Valuation Semigroups by Semistar-Operations (RM), pp. 339–351.
- ICML-2000-BayP #difference
- Characterizing Model Erros and Differences (SDB, MJP), pp. 49–56.
- ICPR-v1-2000-MachiT #automation #detection #video
- Video Shot Detection and Characterization in Semi-Automatic Digital Video Restoration (AM, MT), pp. 1855–1859.
- ICPR-v1-2000-PapaioannouKT #3d #re-engineering #recognition #segmentation
- Segmentation and Surface Characterization of Arbitrary 3D Meshes for Object Reconstruction and Recognition (GP, EAK, TT), pp. 1734–1737.
- ICPR-v1-2000-SongGH #geometry #performance
- Single View Computer Vision in Polyhedral World: Geometric Inference and Performance Characterization (MS, AG, RMH), pp. 1766–1769.
- ICPR-v3-2000-GermainCB #estimation #multi
- Multiscale Estimation of Textural Features. Application to the Characterization of Texture Anisotropy (CG, JPDC, PB), pp. 3935–3938.
- KR-2000-Vidal #constraints #network
- Controllability characterization and checking in Contingent Temporal Constraint Networks (TV), pp. 559–570.
- TOOLS-ASIA-2000-KhanHZ #component #composition #security
- Security Characterization of Software Components and Their Composition (KMK, JH, YZ), pp. 240–249.
- PPDP-2000-GiacobazziM #semantics #symmetry
- A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
- ICSE-2000-dAstousR #bibliography
- Characterizing implicit information during peer review meetings (Pd, PNR), pp. 460–466.
- ICSE-2000-MizunoKTS #evaluation #risk management
- Characterization of risky projects based on project managers’ evaluation (OM, TK, YT, KS), pp. 387–395.
- CL-2000-Inoue #abduction
- A Simple Characterization of Extended Abduction (KI), pp. 718–732.
- CL-2000-NakamuraB #database #declarative #maintenance
- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
- DAC-1999-YalcinMPBS #analysis #functional
- Functional Timing Analysis for IP Characterization (HY, MM, RP, CB, KAS), pp. 731–736.
- DATE-1999-LatorreBHPN #design #modelling
- Design, Characterization & Modelling of a CMOS Magnetic Field Sensor (LL, YB, PH, FP, PN), pp. 239–243.
- DATE-1999-TanS #diagrams #scalability #using
- Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
- FoSSaCS-1999-Benke #algebra #ml #type system
- An Algebraic Characterization of Typability in ML with Subtyping (MB), pp. 104–119.
- WCRE-1999-BurdM #approach #evolution #towards
- An Initial Approach towards Measuring and Characterizing Software Evolution (EB, MM), pp. 168–174.
- STOC-1999-DinurFKRS #towards
- PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
- FLOPS-1999-Danvy #λ-calculus
- An Extensional Characterization of λ-Lifting and λ-Dropping (OD), pp. 241–250.
- DLT-1999-Manuch #word
- Characterization of a word by its subwords (JM), pp. 210–219.
- ICALP-1999-SantisCP
- Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP (ADS, GDC, GP), pp. 271–280.
- WIA-1999-GiammarresiPW #graph
- Thompson Digraphs: A Characterization (DG, JLP, DW), pp. 91–100.
- FM-v1-1999-Jones
- Scientific Decisions which Characterize VDM (CBJ), pp. 28–47.
- TOOLS-EUROPE-1999-MattssonB #evolution #framework
- Characterizing Stability in Evolving Frameworks (MM, JB), pp. 118–130.
- ICLP-1999-HitzlerS
- A Characterization of Acceptability (PH, AKS), p. 609.
- DAC-1998-IsmailFN
- Figures of Merit to Characterize the Importance of On-Chip Inductance (YII, EGF, JLN), pp. 560–565.
- DATE-1998-BoglioloBM #behaviour #modelling
- Characterization-Free Behavioral Power Modeling (AB, LB, GDM), pp. 767–773.
- DATE-1998-EckmuellerGG
- Hierarchical Characterization of Analog Integrated CMOS Circuits (JE, MG, HEG), pp. 636–643.
- DATE-1998-OgawaKK #memory management #named
- PASTEL: A Parameterized Memory Characterization System (KO, MK, FK), pp. 15–20.
- STOC-1998-Gal #bound #source code
- A Characterization of Span Program Size and Improved Lower Bounds for Monotone Span Programs (AG), pp. 429–437.
- CHI-1998-ZhouF #automation #synthesis #visual notation
- Visual Task Characterization for Automated Visual Discourse Synthesis (MXZ, SF), pp. 392–399.
- ICPR-1998-BouthemyF #metric #video
- Motion characterization from temporal cooccurrences of local motion-based measures for video indexing (PB, RF), pp. 905–908.
- ICPR-1998-TangYF #detection
- Characterization and detection of edges by Lipschitz exponents and MASW wavelet transform (YYT, LY, LF), pp. 1572–1574.
- ICPR-1998-WouwerSD #invariant #using
- Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.
- ICPR-1998-YahiaB #segmentation #set
- Segmentation of deformable templates with level sets characterized by particle systems (HMY, JPB), pp. 1421–1423.
- KDD-1998-EsterFKS #algorithm #database #detection
- Algorithms for Characterization and Trend Detection in Spatial Databases (ME, AF, HPK, JS), pp. 44–50.
- KR-1998-Kusters #automaton #finite #semantics #using
- Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.
- ICSE-1998-FioravantiNP #assessment #evolution
- Assessment of System Evolution Through Characterization (FF, PN, SP), pp. 456–459.
- LICS-1998-DesharnaisEP #bisimulation #logic #markov #process
- A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.
- DAC-1997-CroixW #logic #performance #synthesis
- A Fast And Accurate Technique To Optimize Characterization Tables For Logic Synthesis (JFC, DFW), pp. 337–340.
- DAC-1997-LillisC #multi #optimisation
- Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion (JL, CKC), pp. 214–219.
- ICSM-2000-TortorellaV #component #named #process #reverse engineering
- CREP — Characterizing Reverse Engineering Process Component Methodology (MT, GV), pp. 222–231.
- STOC-1997-RazS
- A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP (RR, SS), pp. 475–484.
- ICALP-1997-EilamFZ #layout #network #problem
- A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load (Extended Abstract) (TE, MF, SZ), pp. 527–537.
- ICALP-1997-FrankelY #encryption #on the
- On Characterization of Escrow Encryption Schemes (YF, MY), pp. 705–715.
- WIA-1997-Caron #automaton #named #regular expression
- LANGAGE: A Maple Package for Automaton Characterization of Regular Languages (PC), pp. 46–55.
- CHI-1997-Tweedie #interactive
- Characterizing Interactive Externalizations (LT), pp. 375–382.
- ICML-1997-SchuurmansUF #performance
- Characterizing the generalization performance of model selection strategies (DS, LHU, DPF), pp. 340–348.
- TOOLS-PACIFIC-1997-JacobsenNK #development #framework
- Characterizing Patterns in Framework Development (EEJ, PN, BBK), pp. 121–143.
- ICSE-1997-BasiliCEHM #component #cost analysis #library #modelling #reuse
- Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components (VRB, SEC, KEE, RBH, WLM), pp. 282–291.
- HPCA-1997-BhandarkarD #performance
- Performance Characterization of the Pentium(r) Pro Processor (DB, JJD), pp. 288–299.
- HPCA-1997-ChodnekarSVSD #communication #parallel #towards
- Towards a Communication Characterization Methodology for Parallel Applications (SC, VS, ASV, AS, CRD), pp. 310–319.
- HPCA-1997-StrickerG #memory management #parallel #performance
- Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems (TS, TRG), pp. 168–179.
- CSL-1997-Olive #linear #logic #nondeterminism
- A Conjunctive Logical Characterization of Nondeterministic Linear Time (FO), pp. 360–372.
- ILPS-1997-SeipelMR #database #modelling
- A Characterization of the Partial Stable Models For Disjunctive Databases (DS, JM, CR), pp. 245–259.
- TLCA-1997-Lenisa #induction #semantics #λ-calculus
- Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for λ-calculi (ML), pp. 248–266.
- DAC-1996-HuttonGRC #generative #random
- Characterization and Parameterized Random Generation of Digital Circuits (MDH, JPG, JR, DGC), pp. 94–99.
- DAC-1996-MehtaOI #clustering #energy
- Energy Characterization based on Clustering (HM, RMO, MJI), pp. 702–707.
- STOC-1996-KhannaM #towards
- Towards a Syntactic Characterization of PTAS (SK, RM), pp. 329–337.
- STOC-1996-KushilevitzOR #linear #privacy
- Characterizing Linear Size Circuits in Terms of Privacy (EK, RO, AR), pp. 541–550.
- ICALP-1996-ChenN #algebra
- Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.
- ICALP-1996-Joung #interactive #multi
- Characterizing Fairness Implementability for Multiparty Interaction (YJJ), pp. 110–121.
- ICPR-1996-AppenzellerC #adaptation #performance
- Experimental performance characterization of adaptive filters (GA, JLC), pp. 417–421.
- ICPR-1996-CesarC #energy #multi #using
- Shape characterization in natural scales by using the multiscale bending energy (RMCJ, LdFC), pp. 735–739.
- ICPR-1996-StockerSVSK #image #network
- Stability study of some neural networks applied to tissue characterization of brain magnetic resonance images (ADS, OS, AV, OS, TK), pp. 472–476.
- ICPR-1996-TangH #video
- Characterizing smiles in the context of video phone data compression (LaT, TSH), pp. 659–663.
- HPCA-1996-CvetanovicB #performance #specification #using
- Performance Characterization of the Alpha 21164 Microprocessor Using TP and SPEC Workloads (ZC, DB), pp. 270–280.
- LICS-1996-Ong #category theory #proving #semantics
- A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract) (CHLO), pp. 230–241.
- ICALP-1995-BauernoppelKKMNSU
- Optimal Shooting: Characterizations and Applications (FB, EK, DK, AM, MN, JRS, JU), pp. 220–231.
- ICALP-1995-CosnardC #network
- A Characterization of the Existence of Energies for Neural Networks (MC, EGC), pp. 570–580.
- ICSE-1995-BriandMSB #maintenance #scalability
- Characterizing and Assessing a Large-Scale Software Maintenance Organization (LCB, WLM, CBS, VRB), pp. 133–143.
- ILPS-1995-LeoneS #declarative #fixpoint #modelling
- Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.
- RTA-1995-ZantemaG #termination
- A Complete Characterization of Termination of O
^{p}1^{q}-> 1^{r}O^{s}(HZ, AG), pp. 41–55. - ESOP-1994-BidoitHW #behaviour #semantics
- Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.
- ICSM-1994-BriandBKS #analysis #maintenance #process
- A Change Analysis Process to Characterize Software Maintenance Projects (LCB, VRB, YMK, DRS), pp. 38–49.
- STOC-1994-BlumFJKMR #analysis #fourier #learning #query #statistics #using
- Weakly learning DNF and characterizing statistical query learning using Fourier analysis (AB, MLF, JCJ, MJK, YM, SR), pp. 253–262.
- LFP-1994-StefanovicM #behaviour #ml #standard
- Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.
- ILPS-1994-Malfon #logic programming #semantics #source code #validation
- Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation (BM), pp. 91–105.
- LICS-1994-MedinaI
- A Syntactic Characterization of NP-Completeness (JAM, NI), pp. 241–250.
- ICDAR-1993-JaisimhaHD #algorithm #performance
- A methodology for the characterization of the performance of thinning algorithms (MYJ, RMH, DD), pp. 282–286.
- STOC-1993-KarchmerW #nondeterminism
- Characterizing non-deterministic circuit size (MK, AW), pp. 532–540.
- ICALP-1993-Gupta #automaton #finite #product line
- Finite Automata as Characterizations of Minor Closed Tree Families (Extended Abstract) (AG), pp. 359–370.
- ICML-1993-Rymon #induction #problem
- An SE-tree based Characterization of the Induction Problem (RR), pp. 268–275.
- SAC-1993-BhatiaD #clustering #information retrieval
- Cluster Characterization in Information Retrieval (SKB, JSD), pp. 721–728.
- ILPS-1993-DelzannoM #bottom-up #finite
- A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
- TLCA-1993-JungT
- A New Characterization of λ Definability (AJ, JT), pp. 245–257.
- TLCA-1993-LeivantM #λ-calculus
- λ calculus characterizations of poly-time (DL, JYM), pp. 274–288.
- DAC-1992-SchlichtmannBH #agile
- Characterization of Boolean Functions for Rapid Matching in FPGA Technology Mapping (US, FB, MH), pp. 374–379.
- PODS-1992-Dong #datalog #query #tool support
- Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.
- STOC-1992-BellantoniC #recursion
- A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) (SB, SAC), pp. 283–293.
- ICALP-1992-ChangMP
- Characterization of Temporal Property Classes (EYC, ZM, AP), pp. 474–486.
- ICALP-1992-Ong #lazy evaluation #modelling #λ-calculus
- Lazy λ Calculus: Theories, Models and Local Structure Characterization (Extended Abstract) (CHLO), pp. 487–498.
- KR-1992-Dix #framework #logic programming #representation #semantics #source code
- A Framework for Representing and Characterizing Semantics of Logic Programs (JD), pp. 591–602.
- ASPLOS-1992-TorrellasGH #multi #operating system #performance
- Characterizing the Caching and Synchronization Performance of a Multiprocessor Operating System (JT, AG, JLH), pp. 162–174.
- CSL-1992-Stewart #bound #logic #polynomial #query
- Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines (IAS), pp. 410–424.
- IWPTS-1992-DriraASC #consistency #detection #fault #testing
- Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
- KR-1991-Bylander #abduction #functional #problem
- The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability (TB), pp. 70–77.
- KR-1991-MarekST #logic
- Modal Nonmonotonic Logics: Ranges, Characterization, Computation (VWM, GFS, MT), pp. 395–404.
- ISLP-1991-ReedLS #logic programming #source code
- An Alternative Characterization of Disjunctive Logic Programs (DWR, DWL, BTS), pp. 54–68.
- GG-1990-Engelfriet #graph #higher-order #logic #monad
- A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees (JE), pp. 311–327.
- CHI-1990-RothM
- Data characterization for intelligent graphics presentation (SFR, JM), pp. 193–200.
- PLILP-1990-WangS #logic programming #source code #termination #towards
- Towards a Characterization of Termination of Logic Programs (BW, RKS), pp. 204–221.
- NACLP-1990-MarriottSD #logic programming #source code
- A Characterization of Non-Floundering Logic Programs (KM, HS, PWD), pp. 661–680.
- DAC-1989-SouleG #distributed #logic #parallel #simulation
- Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation (LS, AG), pp. 81–86.
- LICS-1989-Goerdt #complexity #recursion
- Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions (AG), pp. 364–374.
- NACLP-1989-Bezem #logic programming #source code #termination
- Characterizing Termination of Logic Programs with Level Mappings (MB), pp. 69–80.
- NACLP-1989-Suchenek
- A Syntactic Characterization of Minimal Entailment (MAS), pp. 81–91.
- RTA-1989-Baader #unification
- Characterization of Unification Type Zero (FB), pp. 2–14.
- SIGMOD-1988-HernandezC #database
- A Characterization of Constant-time-mainteinability for BCNF Database Schemes (HJH, EPFC), pp. 209–217.
- ALP-1988-FulopV #automaton #linear #set #term rewriting
- A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata (ZF, SV), p. 157.
- PPEALS-1988-DavisH #behaviour #parallel #source code
- Characterizing the Synchronization Behavior of Parallel Programs (HD, JLH), pp. 198–211.
- CSL-1988-Goerdt #complexity #recursion
- Characterizing Complexity Classes by General Recursive Definitions in Higher Types (AG), pp. 99–117.
- LICS-1988-BohmP #calculus
- Characterizing X-Separability and One-Side Invertibility in λ-β-Ω-Calculus (CB, AP), pp. 91–101.
- LICS-1988-GianniniR #polymorphism
- Characterization of typings in polymorphic type discipline (PG, SRDR), pp. 61–70.
- STOC-1987-Venkateswaran
- Properties that Characterize LOGCFL (HV), pp. 141–150.
- CSL-1987-Spreen #nondeterminism #on the #polynomial
- On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations (DS), pp. 289–303.
- SLP-1987-LeviPBGM87 #logic #semantics
- A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.
- PODS-1986-ChanA #on the
- On the Properties and Characterization of Connection-tap-free Schemes (EPFC, PA), pp. 140–147.
- ICALP-1986-Allender
- Characterizations on PUNC and Precomputation (Extended Abstract) (EA), pp. 1–10.
- ICALP-1985-EngelfrietV #transducer
- Characterization of High Level Tree Transducers (JE, HV), pp. 171–178.
- PODS-1984-GrahneR #database #dependence
- Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.
- ICALP-1984-GrafS #congruence #finite
- A Modal Characterization of Observational Congruence on Finite Terms of CCS (SG, JS), pp. 222–234.
- ICALP-1984-IbarraKR #performance #simulation #strict
- Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.
- CADE-1984-Ursic #linear #problem
- A Linear Characterization of NP-Complete Problems (SU), pp. 80–100.
- SIGMOD-1983-HoneymanS #independence
- A New Characterization of Independence (PH, ES), pp. 92–96.
- VLDB-1983-Verroust #database #semantics
- Characterization of Well-Behaved Database Schemata and Their Update Semantics (AV), pp. 312–321.
- STOC-1983-Olderog #hoare #logic #source code
- A Characterization of Hoare’s Logic for Programs with Pascal-like Procedures (ERO), pp. 320–329.
- ICALP-1983-Arnold #behaviour #infinity
- Topological Characterizations of Infinite Behaviours of Transition Systems (AA), pp. 28–38.
- ICALP-1982-DammG
- An Automata-Theoretic Characterization of the OI-Hierarchy (WD, AG), pp. 141–153.
- GG-1982-Wankmuller #graph #reduction
- Characterization of graph classes by forbidden structures and reductions (FW), pp. 405–414.
- DAC-1981-LeeCJ #automation #generative
- Automatic generation and characterization of CMOS polycells (CML, BRC, SJ), pp. 220–224.
- STOC-1981-BertoniMS #polynomial #random
- A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines (AB, GM, NS), pp. 168–176.
- ICALP-1981-Makowsky #database #dependence
- Characterizing Data Base Dependencies (JAM), pp. 86–97.
- ICALP-1981-Reutenauer #regular expression
- A New Characterization of the Regular Languages (CR), pp. 177–183.
- ICALP-1980-EmersonC #correctness #fixpoint #parallel #source code #using
- Characterizing Correctness Properties of Parallel Programs Using Fixpoints (EAE, EMC), pp. 169–181.
- ICALP-1980-SippuS #ll
- Characterizations of the LL(k) Property (SS, ESS), pp. 596–608.
- ICALP-1979-BertoniMM #invariant
- A Characterization of Abstract Data as Model-Theoretic Invariants (AB, GM, PM), pp. 26–37.
- ICALP-1979-Choffrut
- A Generalization of Ginsburg and Rose’s Characterization of G-S-M Mappings (CC), pp. 88–103.
- ICALP-1979-CoppoDS #functional #semantics #λ-calculus
- Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.
- ICALP-1979-Culik #on the #product line
- On the Homomorphic Characterizations of Families of Languages (KCI), pp. 161–170.
- ICALP-1979-FichB
- A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.
- POPL-1979-Cohen #recursion #source code
- Characterization and Elimination of Redundancy in Recursive Programs (NHC), pp. 143–157.
- ICALP-1978-Wiehagen #formal method #induction #problem
- Characterization Problems in the Theory of Inductive Inference (RW), pp. 494–508.
- ICALP-1976-Guessarian #equivalence #semantics
- Semantic Equivalence of Program Schemes and its Syntactic Characterization (IG), pp. 189–200.
- ICALP-1976-Soisalon-SoininenU #ll
- A Characterization of LL(k) Languages (ESS, EU), pp. 20–30.
- STOC-1974-PrattRS #power of
- A Characterization of the Power of Vector Machines (VRP, MOR, LJS), pp. 122–134.
- ICALP-1974-MichelisS #diagrams #semantics
- Semantic Characterization of Flow Diagrams and Their Decomposability (GDM, CS), pp. 81–96.
- ICALP-1974-Monien #bound #recursion
- Characterizations of Time-Bounded Computations by Limited Primitive Recursion (BM), pp. 280–293.
- STOC-1972-WalkerS #recursion
- Characterization of Flowchartable Recursions (Short Version) (SAW, HRS), pp. 18–34.