BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
use (41)
system (37)
logic (35)
time (30)
model (27)

Stem character$ (all stems)

519 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.