BibSLEIGH — encoding tag

encoding

encoding

Tag #encoding

226 papers:

SEFM-2019-BittnerTS #case study #configuration management #constraints #satisfiability: SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (PMB, TT, IS), pp. 127–144.
BX-2019-Tullsen #using: ASN.1 Encoding Schemes Done Right Using CMPCT (MT), pp. 1–15.
PPDP-2019-CirsteaM #term rewriting: Generic Encodings of Constructor Rewriting Systems (HC, PEM), p. 12.
CC-2019-ZhouJKDS #named: Valence: variable length calling context encoding (TZ, MRJ, PAK, KAD, VS), pp. 147–158.
CAV-2019-GavrilenkoLFHM #analysis #memory management #modelling #smt: BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings (NG, HPdL, FF, KH, RM0), pp. 355–365.
FM-2018-HayesM #algebra #concurrent: Encoding Fairness in a Synchronous Concurrent Program Algebra (IJH, LAM), pp. 222–239.
VS-Games-2018-OberdorferL18a #game studies #using: Gamified Knowledge Encoding: Knowledge Training Using Game Mechanics (SO, MEL), pp. 1–2.
CIKM-2018-SunZY #privacy #random: Randomized Bit Vector: Privacy-Preserving Encoding Mechanism (LS, LZ, XY), pp. 1263–1272.
ICML-2018-ReagenGAMRWB #named #network: Weightless: Lossy weight encoding for deep neural network compression (BR, UG, BA, MM, AMR, GYW, DB0), pp. 4321–4330.
ICPR-2018-ChengK #3d #recognition: Advancing Surface Feature Encoding and Matching for More Accurate 3D Biometric Recognition (KHMC, AK), pp. 3501–3506.
ICPR-2018-CortesCC #recognition #visual notation #word: A new bag of visual words encoding method for human action recognition (XC, DC, HC), pp. 2480–2485.
ICPR-2018-LiZHW #recognition: Deep Temporal Feature Encoding for Action Recognition (LL, ZZ, YH0, LW0), pp. 1109–1114.
ICPR-2018-SongLXG #classification #multi #robust: Multi-Scale Cross-Band Encoding of Sectored Local Binary Pattern for Robust Texture Classification (TS, LL, LX, CG), pp. 1163–1168.
ICPR-2018-WangXZ #detection: Global Context Encoding for Salient Objects Detection (JW, YX, GZ), pp. 2337–2342.
CGO-2018-ZhangX #execution #named: Poker: permutation-based SIMD execution of intensive tree search by path encoding (FZ0, JX), pp. 87–99.
ESOP-2018-ToninhoY #on the #polymorphism: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.
CAV-2018-BecchiZ: A Direct Encoding for NNC Polyhedra (AB, EZ), pp. 230–248.
IJCAR-2018-ClaessenS #equation #first-order #logic #performance: Efficient Encodings of First-Order Horn Formulas in Equational Logic (KC, NS), pp. 388–404.
IJCAR-2018-KotelnikovKV #imperative #source code: A FOOLish Encoding of the Next State Relations of Imperative Programs (EK, LK, AV), pp. 405–421.
Onward-2017-Prokopec #communication: Encoding the building blocks of communication (AP), pp. 104–118.
ICST-2017-FazziniFCO #android #framework #independence #named #platform #testing: Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests (MF, ENdAF, SRC, AO), pp. 149–160.
ICFP-2016-Takeda0YS #λ-calculus: Compact bit encoding schemes for simply-typed lambda-terms (KT, NK0, KY, AS), pp. 146–157.
CIKM-2016-MouJXL0J #approach #word: Distilling Word Embeddings: An Encoding Approach (LM, RJ, YX, GL, LZ0, ZJ), pp. 1977–1980.
ICML-2016-LarsenSLW #metric #similarity #using: Autoencoding beyond pixels using a learned similarity metric (ABLL, SKS, HL, OW), pp. 1558–1566.
ICPR-2016-Martinez-DiazCH #performance #recognition #using #video: Efficient video face recognition by using Fisher Vector encoding of binary features (YMD, LC, NH, HMV, LES), pp. 1436–1441.
ICPR-2016-ZhangT #automation #generative #video: Automatic video description generation via LSTM with joint two-stream encoding (CZ, YT), pp. 2924–2929.
PADL-2016-Tarau #λ-calculus: A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations (PT), pp. 99–116.
VMCAI-2016-BrainHKM #automation #generative #satisfiability: Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.
SIGMOD-2015-LiCP: A Padded Encoding Scheme to Accelerate Scans by Leveraging Skew (YL, CC, JMP), pp. 1509–1524.
ICALP-v1-2015-AgrawalIKP #complexity #perspective #random #statistics: Statistical Randomized Encodings: A Complexity Theoretic View (SA, YI, DK, APC), pp. 1–13.
ICALP-v1-2015-GawrychowskiN: Optimal Encodings for Range Top- k k , Selection, and Min-Max (PG, PKN), pp. 593–604.
RTA-2015-CirsteaLM #programmable #term rewriting: A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
SAC-2015-Jung0B #analysis #embedded #identification #power management: Identification of embedded control units by state encoding and power consumption analysis (EJ, CM, LB), pp. 1957–1959.
SAC-2015-PedrosaT #approach #visual notation #word: Compact and discriminative approach for encoding spatial-relationship of visual words (GVP, AJMT), pp. 92–95.
DAC-2015-ChangHLW #analysis #functional #named: TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.
DAC-2015-SeyedzadehMJM #memory management #named #pseudo #reduction: PRES: pseudo-random encoding scheme to increase the bit flip reduction in the memory (SMS, RM, AKJ, RGM), p. 6.
DATE-2015-SuHL #named #recognition #scalability: SubHunter: a high-performance and scalable sub-circuit recognition method with Prüfer-encoding (HYS, CHH, YLL), pp. 1583–1586.
STOC-2015-BitanskyGLPT #random: Succinct Randomized Encodings and their Applications (NB, SG, HL, RP, ST), pp. 439–448.
CADE-2015-SatoW #dependence: Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.
ICLP-J-2015-CabalarDV #equilibrium #logic: An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.
ICLP-J-2015-GagglMRWW #programming: Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
LICS-2015-EndrullisGH: Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.
SAT-2015-PhilippS #constraints #library #named #pseudo: PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.
VLDB-2014-LiagourisMBT #effectiveness #rdf: An Effective Encoding Scheme for Spatial RDF Data (JL, NM, PB, MT), pp. 1271–1282.
LATA-2014-DasST #graph #morphism: Succinct Encodings of Graph Isomorphism (BD, PS, JT), pp. 285–296.
RTA-TLCA-2014-FuS: Self Types for Dependently Typed λ Encodings (PF, AS), pp. 224–239.
IFL-2014-KoopmanPJ #data type #functional #harmful #implementation: Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
CHI-2014-SetlurM #automation #generative #semantics #visualisation: Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
ICML-c2-2014-LinDH0 #classification #multi: Multi-label Classification via Feature-aware Implicit Label Space Encoding (ZL, GD, MH, JW), pp. 325–333.
ICPR-2014-DornaikaBSR #classification #graph #locality: Locality Constrained Encoding Graph Construction and Application to Outdoor Object Classification (FD, AB, HS, YR), pp. 2483–2488.
ICPR-2014-GauzereBV #graph #kernel: Graph Kernel Encoding Substituents’ Relative Positioning (BG, LB, DV), pp. 637–642.
ICPR-2014-LuoJ #image #learning #retrieval #semantics: Learning Semantic Binary Codes by Encoding Attributes for Image Retrieval (JL, ZJ), pp. 279–284.
ICPR-2014-PengWQP #evaluation #learning #recognition #taxonomy: A Joint Evaluation of Dictionary Learning and Feature Encoding for Action Recognition (XP, LW, YQ, QP), pp. 2607–2612.
ICPR-2014-RavalTJ #classification #evaluation #fault #performance #using: Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
KR-2014-GebserJR: ASP Encodings of Acyclicity Properties (MG, TJ, JR).
PPDP-2014-Tarau: Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.
CGO-2014-LiWWHX #adaptation: Dynamic and Adaptive Calling Context Encoding (JL, ZW, CW, WCH, DX), p. 120.
CGO-2014-ZengR0AJ0 #named #precise #scalability: DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.
LCTES-2014-HenryAMM #execution #how #modulo theories #optimisation #semantics #worst-case: How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
IJCAR-2014-Zhang #verification: QBF Encoding of Temporal Properties and QBF-Based Verification (WZ), pp. 224–239.
ECIR-2013-ZhangZBC #categorisation #distance #visual notation: Encoding Local Binary Descriptors by Bag-of-Features with Hamming Distance for Visual Object Categorization (YZ, CZ, SB, LC), pp. 630–641.
LOPSTR-2013-Saeedloei #logic #π-calculus: A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.
HPDC-2013-LakshminarasimhanBPZJVPS #query #scalability: Scalable in situ scientific data encoding for analytical query processing (SL, DABI, SVP, XZ, JJ, VV, MEP, NFS), pp. 1–12.
TACAS-2013-BlanchetteBPS #polymorphism: Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
CIKM-2012-SymondsBST #semantics: A tensor encoding model for semantic processing (MS, PDB, LS, IT), pp. 2267–2270.
ICPR-2012-LiW #matrix #recognition #using: Iris recognition using ordinal encoding of Log-Euclidean covariance matrices (PL, GW), pp. 2420–2423.
ICPR-2012-WuHWT #classification #image: Group encoding of local features in image classification (ZW, YH, LW, TT), pp. 1505–1508.
KDIR-2012-AugelloGPV #algebra #geometry: Geometric Encoding of Sentences based on Clifford Algebra (AA, MG, GP, GV), pp. 457–462.
PLDI-2012-GodefroidT #automation #synthesis: Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.
HPCA-2012-SanchezK #flexibility #named #scalability #set: SCD: A scalable coherence directory with flexible sharer set encoding (DS, CK), pp. 129–140.
FoSSaCS-2012-PetersN #question: Is It a “Good” Encoding of Mixed Choice? (KP, UN), pp. 210–224.
IJCAR-2012-BaaderBM #ontology #satisfiability #strict #unification: SAT Encoding of Unification in ℰℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies (FB, SB, BM), pp. 30–44.
SAT-2012-Ben-HaimIMM #constraints: Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.
SAT-2012-TanjoTB #csp #named #order #satisfiability #using: Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (TT, NT, MB), pp. 456–462.
TPDL-2011-ScifleetW #comprehension #lessons learnt: Understanding Documentary Practice: Lessons Learnt from the Text Encoding Initiative (PS, SPW), pp. 272–283.
TPDL-2011-TasovacE: Encoding Diachrony: Digital Editions of Serbian 18th-Century Texts (TT, NE), pp. 497–500.
DLT-2011-BattaglinoFFR #regular expression: Encoding Centered Polyominoes by Means of a Regular Language (DB, JMF, AF, SR), pp. 464–465.
FM-2011-RozierV #approach #ltl #multi #satisfiability: A Multi-encoding Approach for LTL Symbolic Satisfiability Checking (KYR, MYV), pp. 417–431.
Haskell-2011-WestbrookFB #functional #haskell #higher-order #library #programming language: Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
CIKM-2011-Ando #relational #using: Latent feature encoding using dyadic and relational data (SA), pp. 2201–2204.
CIKM-2011-FontouraGJV: Efficiently encoding term co-occurrences in inverted indexes (MF, MG, VJ, SV), pp. 307–316.
ICML-2011-CoatesN: The Importance of Encoding Versus Training with Sparse Coding and Vector Quantization (AC, AYN), pp. 921–928.
TACAS-2011-CodishFFS #constraints #pseudo: Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.
ISSTA-2011-XiaoZ #analysis #geometry #java #performance #points-to: Geometric encoding: forging the high performance context sensitive points-to analysis for Java (XX, CZ), pp. 188–198.
SAT-2011-PetkeJ #csp #order #satisfiability: The Order Encoding: From Tractable CSP to Tractable SAT (JP, PJ), pp. 371–372.
SAT-2011-TanjoTB #csp #finite #performance: A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
TAP-2011-SoekenWD #data type #modelling #ocl #satisfiability #uml #verification: Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.
ICGT-2010-Monreale #automaton #calculus #lts #process #semantics #visual notation: LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
CIKM-2010-SilvestriV #integer #named #performance #programming: VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
ICPR-2010-FoureyB #combinator #performance: Efficient Encoding of n-D Combinatorial Pyramids (SF, LB), pp. 1036–1039.
ICPR-2010-Marin-JimenezBM #modelling: RBM-based Silhouette Encoding for Human Action Modelling (MJMJ, NPdlB, MÁM), pp. 979–982.
ICPR-2010-WangL: Encoding Actions via Quantized Vocabulary of Averaged Silhouettes (LW, CL), pp. 3657–3660.
SPLC-2010-Nakajima #automation #diagrams #feature model: Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
TOOLS-EUROPE-2010-CameronN #java: Encoding Ownership Types in Java (NRC, JN), pp. 271–290.
ICSE-2010-SumnerZWZ #precise: Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
TACAS-2010-LeinoR #design #logic #polymorphism #verification: A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.
SAT-2010-MillerKLB #bound #design #model checking: Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
TAP-2010-GoldbergM #generative #proving #testing: Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
FM-2009-PradellaMP #bound #metric #model checking: A Metric Encoding for Bounded Model Checking (MP, AM, PSP), pp. 741–756.
IFM-2009-SalaunB #algebra #process #using: Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.
DiGRA-2009-CameronC #liveness #performance #realtime: Encoding liveness: Performance and real-time rendering in machinima (DC, JC).
ECIR-2009-EsuliS09a #classification: Encoding Ordinal Features into Binary Features for Text Classification (AE, FS), pp. 771–775.
PPDP-2009-CodishGS #declarative #satisfiability: A declarative encoding of telecommunications feature subscription in SAT (MC, SG, PJS), pp. 255–266.
DAC-2009-GlassLTBC #analysis #architecture #design #hybrid #network: Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis (MG, ML, JT, UDB, SC), pp. 43–46.
DATE-2009-HeH #algorithm #performance #verification: An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
CADE-2009-SebastianiV #analysis #axiom #lightweight #logic: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
ICLP-2009-Zhou #constraints: Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.
SAT-2009-ArgelichCLM #satisfiability: Sequential Encodings from Max-CSP into Partial Max-SAT (JA, AC, IL, FM), pp. 161–166.
SAT-2009-BailleuxBR #constraints #pseudo: New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
SAT-2009-SamerV #satisfiability: Encoding Treewidth into SAT (MS, HV), pp. 45–50.
ICALP-A-2008-AlonH: Optimal Monotone Encodings (NA, RH), pp. 258–270.
RTA-2008-ArrighiD #algebra #confluence #higher-order #λ-calculus: Linear-algebraic λ-calculus: higher-order, encodings, and confluence (PA, GD), pp. 17–31.
RTA-2008-Ueda #graph grammar #λ-calculus: Encoding the Pure λ Calculus into Hierarchical Graph Rewriting (KU), pp. 392–408.
SOFTVIS-2008-SavidisPZ #3d #agile #design #semantics #visual notation: Rapid visual design with semantics encoding through 3d CRC cards (AS, PP, GZ), pp. 193–196.
ECIR-2008-FishbeinE #classification: Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification (JMF, CE), pp. 514–521.
POPL-2008-AlaviGG: Extensible encoding of type hierarchies (HSA, SG, RG), pp. 349–358.
FSE-2008-YuWGB #composition #performance #summary #using #verification #web #web service: Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
DATE-2008-BonnyH #embedded: Instruction Re-encoding Facilitating Dense Embedded Code (TB, JH), pp. 770–775.
DATE-2008-VelevG #comparison #problem #satisfiability: Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems (MNV, PG), pp. 1268–1273.
ESOP-2008-PoswolskyS #dependent type #higher-order #programming: Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.
SMT-2007-BongioKLLM08 #first-order #proving #smt: Encoding First Order Proofs in SMT (JB, CK, HL, CL, REM), pp. 71–84.
ICDAR-2007-MS #online #recognition: A Feature based on Encoding the Relative Position of a Point in the Character for Online Handwritten Character Recognition (DM, MKS), pp. 1014–1017.
SEFM-2007-GrandyBSR #named #protocol #security: ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #process: Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.
DAC-2007-MorganT #energy #reduction: ASIP Instruction Encoding for Energy and Area Reduction (PM, RT), pp. 797–800.
SMT-J-2006-GanaiTG #difference #integration #lazy evaluation #logic #named: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.
CADE-2007-DeshaneHJLLM #first-order #proving #satisfiability: Encoding First Order Proofs in SAT (TD, WH, PJ, HL, CL, REM), pp. 476–491.
CADE-2007-PerezV #bound #effectiveness #logic #ltl #model checking: Encodings of Bounded LTL Model Checking in Effectively Propositional Logic (JANP, AV), pp. 346–361.
SAT-2007-AudemardS: Circuit Based Encoding of CNF Formula (GA, LS), pp. 16–21.
SAT-2007-HertelHU #formal method #satisfiability: Formalizing Dangerous SAT Encodings (AH, PH, AU), pp. 159–172.
SAT-2007-PerezV #effectiveness #logic #problem: Encodings of Problems in Effectively Propositional Logic (JANP, AV), p. 3.
VLDB-2006-ApaydinCFT #approximate #query: Approximate Encoding for Direct Access and Query Processing over Compressed Bitmaps (TA, GC, HF, AST), pp. 846–857.
ICGT-2006-BonchiGK #bisimulation #process #visual notation: Process Bisimulation Via a Graphical Encoding (FB, FG, BK), pp. 168–183.
ICPR-v2-2006-MakkapatiM #using: Contour Encoding Based on Extraction of Key Points Using Wavelet Transform (VM, PRM), pp. 1177–1180.
ASPLOS-2006-BondM #detection #memory management #named #online: Bell: bit-encoding online memory leak detection (MDB, KSM), pp. 61–72.
DAC-2006-BrahmbhattZWQ #adaptation #algorithm #hybrid #power management #using: Low-power bus encoding using an adaptive hybrid algorithm (ARB, JZ, QW, QQ), pp. 987–990.
DAC-2006-CarmonaC #scalability: State encoding of large asynchronous controllers (JC, JC), pp. 939–944.
DATE-2006-LaMeresK #induction: Bus stuttering: an encoding technique to reduce inductive noise in off-chip data transmission (BJL, SPK), pp. 522–527.
TACAS-2006-GanaiTG #integration #lazy evaluation #logic #named: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.
SAT-2006-ChaviraD #analysis #component: Encoding CNFs to Empower Component Analysis (MC, AD), pp. 61–74.
SAT-2006-SebastianiV #case study #logic #satisfiability: Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.
ICDAR-2005-MozaffariFZ #recognition #representation #using: Character Representation and Recognition Using Quadtree-based Fractal Encoding Scheme (SM, KF, MZ), pp. 819–823.
VLDB-2005-LuLCC #pattern matching #performance #xml: From Region Encoding To Extended Dewey: On Efficient Processing of XML Twig Pattern Matching (JL, TWL, CYC, TC), pp. 193–204.
ICALP-2005-BaldamusPV #π-calculus: A Fully Abstract Encoding of the π-Calculus with Data Terms (MB, JP, BV), pp. 1202–1213.
TLCA-2005-SchurmannPS #calculus #functional #higher-order #programming: The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
IFL-2005-Mackie #interactive #λ-calculus: Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.
AIIDE-2005-HoangLM #game studies: Hierarchical Plan Representations for Encoding Strategic Game AI (HH, SLU, HMA), pp. 63–68.
ICEIS-v1-2005-RisheBCVGSW #semantics: Object ID Distribution and Encoding in the Semantic Binary Engine (NR, AB, MC, DV, SG, SS, OW), pp. 279–284.
CIKM-2005-LiL05a #named #novel #xml: QED: a novel quaternary encoding to completely avoid re-labeling in XML updates (CL, TWL), pp. 501–508.
ECIR-2005-KakadeR #xml: Encoding XML in Vector Spaces (VK, PR), pp. 96–111.
MLDM-2005-DuKAB #algorithm #clustering #multi #search-based: Alternative Clustering by Utilizing Multi-objective Genetic Algorithm with Linked-List Based Chromosome Encoding (JD, EEK, RA, KB), pp. 346–355.
COCV-J-2005-GalPF05a: Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
DAC-2005-SaneeiAN #power management #reduction: Sign bit reduction encoding for low power applications (MS, AAK, ZN), pp. 214–217.
DATE-2005-LaMeresK #induction: Encoding-Based Minimization of Inductive Cross-Talk for Off-Chip Data Transmission (BJL, SPK), pp. 1318–1323.
CIAA-2004-GiraudL #automaton #finite #linear: Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
ICALP-2004-Rytter #algorithm #string: Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input (WR), pp. 15–27.
SAC-PL-J-2004-FagorziZ #case study #multi: A Case-Study in Encoding Configuration Languages: Multiple Class Loaders (SF, EZ), pp. 31–54.
DAC-2004-DeogunRSB #reduction: Leakage-and crosstalk-aware bus encoding for total power reduction (HD, RRR, DS, DB), pp. 779–782.
DATE-v1-2004-WongT #configuration management #power management: Re-Configurable Bus Encoding Scheme for Reducing Power Consumption of the Cross Coupling Capacitance for Deep Sub-Micron Instruction Bus (SKW, CYT), pp. 130–135.
SAT-2004-Velev #performance #satisfiability: Encoding Global Unobservability for Efficient Translation to SAT (MNV), pp. 197–204.
DocEng-2003-ZhuN: Information encoding into and decoding from dot texture for active forms (BZ, MN), pp. 105–114.
SIGMOD-2003-DeHaanTCO #sql #using #xquery: A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding (DD, DT, MPC, MTÖ), pp. 623–634.
TLCA-2003-Joly #problem: Encoding of the Halting Problem into the Monster Type & Applications (TJ), pp. 153–166.
ICFP-2003-WashburnW #higher-order #morphism #parametricity #polymorphism #syntax: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
UML-2003-YangX #architecture #case study #experience #uml: Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
DAC-2003-Al-YamaniM #automaton: Seed encoding with LFSRs and cellular automata (AAAY, EJM), pp. 560–565.
DAC-2003-NohlGBALSM #architecture #modelling #synthesis #using: Instruction encoding synthesis for architecture exploration using hierarchical processor models (AN, VG, GB, AH, RL, OS, HM), pp. 262–267.
DATE-2003-ChengP #interface #power management #visual notation: Chromatic Encoding: A Low Power Encoding Technique for Digital Visual Interface (WCC, MP), pp. 10694–10699.
DATE-2003-LvHLW: Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses (TL, JH, HL, WW), pp. 10542–10549.
DATE-2003-WedlerSK #induction #using: Using RTL Statespace Information and State Encoding for Induction Based Property Checking (MW, DS, WK), pp. 11156–11157.
ESOP-2003-DanvyL: Tagging, Encoding, and Jones Optimality (OD, PEML), pp. 335–347.
VMCAI-2003-YangRS #logic #mobile #model checking #process #using #π-calculus: A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution (PY, CRR, SAS), pp. 116–131.
PASTE-2002-BrownDEHJVW #framework #named #performance: STEP: a framework for the efficient encoding of general trace data (RB, KD, DE, LJH, JJ, CV, QW), pp. 27–34.
ECIR-2002-RajapakseD #adaptation #concept #information retrieval #representation #using: Concept Based Adaptive IR Model Using FCA-BAM Combination for Concept Representation and Encoding (RKR, MJD), pp. 150–168.
ECOOP-2002-Filman: Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies (REF), pp. 545–561.
DATE-2002-AghaghiriPF #multi #power management: EZ Encoding: A Class of Irredundant Low Power Codes for Data Address and Multiplexed Address Buses (YA, MP, FF), p. 1102.
DATE-2002-BertozziBM #fault #power management: Low Power Error Resilient Encoding for On-Chip Data Buses (DB, LB, GDM), pp. 102–109.
DATE-2002-FerrettiB #pipes and filters #using: Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding (MF, PAB), pp. 1008–1015.
DATE-2002-LvWHL #adaptation #taxonomy: An Adaptive Dictionary Encoding Scheme for SOC Data Buses (TL, WW, JH, HL), pp. 1059–1064.
DATE-2002-MartinezAQSK #implementation #power management: An Encoding Technique for Low Power CMOS Implementations of Controllers (MM, MJA, JMQ, HS, MK), p. 1083.
DATE-2002-RedaO #testing: Reducing Test Application Time Through Test Data Mutation Encoding (SR, AO), pp. 387–393.
SAT-2002-GentP #problem #satisfiability: SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.
VMCAI-2002-CimattiPRS #ltl #model checking #satisfiability: Improving the Encoding of LTL Model Checking into SAT (AC, MP, MR, RS), pp. 196–207.
ICDAR-2001-CesariniLMS #classification #documentation: Encoding of Modified X-Y Trees for Document Classification (FC, ML, SM, GS), pp. 1131–1136.
ICDAR-2001-KimLSN #analysis #performance: Analysis of Postal Address Fields for Efficient Encoding of Korean Mail Pieces (GK, SL, MS, YSN), pp. 675–679.
CIAA-2001-HolzerK #image #order #using: Improving Raster Image Run-Length Encoding Using Data Order (MH, MK), pp. 161–176.
ECOOP-2001-RaynaudT #performance #testing: A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests (OR, ET), pp. 165–180.
OOPSLA-2001-ZibinG #performance #testing #type system: Efficient Subtyping Tests with PQ-Encoding (YZ, JYG), pp. 96–107.
ICSE-2001-ReissR: Encoding Program Executions (SPR, MR), pp. 221–230.
SAC-2001-Julstrom: Encoding rectilinear Steiner trees as lists of edges (BAJ), pp. 356–360.
ESOP-2001-Weirich #analysis: Encoding Intensional Type Analysis (SW), pp. 92–106.
CSL-2001-Schurmann #higher-order #recursion: Recursion for Higher-Order Encodings (CS), pp. 585–599.
ICPR-v3-2000-ZemcikVFKT #image #multi: Multispectral Image Color Encoding (PZ, JV, MF, HK, PJT), pp. 3609–3612.
ICPR-v4-2000-SvalbeST: Discrete Angle Watermark Encoding and Recovery (IDS, RGvS, AZT), pp. 4246–4249.
OOPSLA-2000-Glew #performance: An efficient class and object encoding (NG), pp. 311–324.
DAC-2000-ChangKC #memory management #power management: Bus encoding for low-power high-performance memory systems (NC, KK, JC), pp. 800–805.
SIGMOD-1999-ChanI #performance #query: An Efficient Bitmap Encoding Scheme for Selection Queries (CYC, YEI), pp. 215–226.
WIA-1999-JurgensenS #automaton #finite #geometry: Finite Automata Encoding Geometric Figures (HJ, LS), pp. 101–108.
CIKM-1999-BommelB #incremental #inheritance #multi: Incremental Encoding of Multiple Inheritance Hierarchies (MFvB, TJB), pp. 507–513.
DATE-1999-FornaciariSS #embedded: Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems (WF, DS, CS), pp. 762–763.
DATE-1999-MartinezAQH #algorithm #using: An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length (MM, MJA, JMQ, JLH), pp. 521–525.
DATE-1999-NoethK #power management: Spanning Tree-based State Encoding for Low Power Dissipation (WN, RK), pp. 168–174.
ICLP-1999-Penn #prolog: An Optimized Prolog Encoding of Typed Feature Structures (GP), pp. 124–138.
ICALP-1998-ChuangGHKL #canonical #graph #multi #order: Compact Encodings of Planar Graphs via Canonical Orderings and Multiple Parentheses (RCNC, AG, XH, MYK, HIL), pp. 118–129.
ICALP-1998-PlandowskiR #equation #word: Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.
ICFP-1998-Yang: Encoding Types in ML-Like Languages (ZY), pp. 289–300.
KR-1998-BaiolettiMM #constraints #partial order: Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.
DAC-1998-JiangJH #composition #synthesis: Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.
DATE-1998-BeniniMSMS #optimisation: Address Bus Encoding Techniques for System-Level Power Optimization (LB, GDM, DS, EM, CS), pp. 861–866.
DATE-1998-Coudert #paradigm: A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
DATE-1998-PastorC #analysis #performance #petri net: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
ECOOP-1997-KrallVH: Near Optimal Hierarchical Encoding of Types (AK, JV, RNH), pp. 128–145.
EDTC-1997-SurtiCT #automaton #design #power management #using: Low power FSM design using Huffman-style encoding (PS, LFC, AT), pp. 521–525.
KR-1996-KautzMS #logic: Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.
DAC-1996-CortadellaKKLY #synthesis #tool support: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.
ESOP-1996-Bechet #partial evaluation #using: Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.
SAC-1995-AbualiWS #graph #representation: Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.
ILPS-1995-BarklundDCL #logic programming #semantics: Semantical Properties of Encodings in Logic Programming (JB, PD, SC, GAL), pp. 288–302.
DAC-1994-MurgaiBS #composition #functional #using: Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.
FME-1993-Martin #logic: Encoding W: A Logic for Z in 2OBJ (AM), pp. 462–481.
KDD-1991-Pednault #induction: Minimal-Length Encoding and Inductive Inference (EPDP), pp. 71–92.
DAC-1991-CiesielskiSD #approach #automaton: A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.
DAC-1991-SaldanhaVBS #constraints #framework: A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
CADE-1990-FeltyM #logic programming #programming language #λ-calculus: Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.
ICALP-1984-Welzl #formal method #graph #graph grammar: Encoding Graphs by Derivations and Implications for the Theory of Graph Grammars (EW), pp. 503–513.
VLDB-1977-Lincoln #database: Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.