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.