BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
encoding
Google encoding

Tag #encoding

226 papers:

SEFMSEFM-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.
BXBX-2019-Tullsen #using
ASN.1 Encoding Schemes Done Right Using CMPCT (MT), pp. 1–15.
PPDPPPDP-2019-CirsteaM #term rewriting
Generic Encodings of Constructor Rewriting Systems (HC, PEM), p. 12.
CCCC-2019-ZhouJKDS #named
Valence: variable length calling context encoding (TZ, MRJ, PAK, KAD, VS), pp. 147–158.
CAVCAV-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.
FMFM-2018-HayesM #algebra #concurrent
Encoding Fairness in a Synchronous Concurrent Program Algebra (IJH, LAM), pp. 222–239.
CoGVS-Games-2018-OberdorferL18a #game studies #using
Gamified Knowledge Encoding: Knowledge Training Using Game Mechanics (SO, MEL), pp. 1–2.
CIKMCIKM-2018-SunZY #privacy #random
Randomized Bit Vector: Privacy-Preserving Encoding Mechanism (LS, LZ, XY), pp. 1263–1272.
ICMLICML-2018-ReagenGAMRWB #named #network
Weightless: Lossy weight encoding for deep neural network compression (BR, UG, BA, MM, AMR, GYW, DB0), pp. 4321–4330.
ICPRICPR-2018-ChengK #3d #recognition
Advancing Surface Feature Encoding and Matching for More Accurate 3D Biometric Recognition (KHMC, AK), pp. 3501–3506.
ICPRICPR-2018-CortesCC #recognition #visual notation #word
A new bag of visual words encoding method for human action recognition (XC, DC, HC), pp. 2480–2485.
ICPRICPR-2018-LiZHW #recognition
Deep Temporal Feature Encoding for Action Recognition (LL, ZZ, YH0, LW0), pp. 1109–1114.
ICPRICPR-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.
ICPRICPR-2018-WangXZ #detection
Global Context Encoding for Salient Objects Detection (JW, YX, GZ), pp. 2337–2342.
CGOCGO-2018-ZhangX #execution #named
Poker: permutation-based SIMD execution of intensive tree search by path encoding (FZ0, JX), pp. 87–99.
ESOPESOP-2018-ToninhoY #on the #polymorphism
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.
CAVCAV-2018-BecchiZ
A Direct Encoding for NNC Polyhedra (AB, EZ), pp. 230–248.
IJCARIJCAR-2018-ClaessenS #equation #first-order #logic #performance
Efficient Encodings of First-Order Horn Formulas in Equational Logic (KC, NS), pp. 388–404.
IJCARIJCAR-2018-KotelnikovKV #imperative #source code
A FOOLish Encoding of the Next State Relations of Imperative Programs (EK, LK, AV), pp. 405–421.
OnwardOnward-2017-Prokopec #communication
Encoding the building blocks of communication (AP), pp. 104–118.
ICSTICST-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.
CIKMCIKM-2016-MouJXL0J #approach #word
Distilling Word Embeddings: An Encoding Approach (LM, RJ, YX, GL, LZ0, ZJ), pp. 1977–1980.
ICMLICML-2016-LarsenSLW #metric #similarity #using
Autoencoding beyond pixels using a learned similarity metric (ABLL, SKS, HL, OW), pp. 1558–1566.
ICPRICPR-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.
ICPRICPR-2016-ZhangT #automation #generative #video
Automatic video description generation via LSTM with joint two-stream encoding (CZ, YT), pp. 2924–2929.
PADLPADL-2016-Tarau #λ-calculus
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations (PT), pp. 99–116.
VMCAIVMCAI-2016-BrainHKM #automation #generative #satisfiability
Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.
SIGMODSIGMOD-2015-LiCP
A Padded Encoding Scheme to Accelerate Scans by Leveraging Skew (YL, CC, JMP), pp. 1509–1524.
ICALPICALP-v1-2015-AgrawalIKP #complexity #perspective #random #statistics
Statistical Randomized Encodings: A Complexity Theoretic View (SA, YI, DK, APC), pp. 1–13.
ICALPICALP-v1-2015-GawrychowskiN
Optimal Encodings for Range Top- k k , Selection, and Min-Max (PG, PKN), pp. 593–604.
RTARTA-2015-CirsteaLM #programmable #term rewriting
A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
SACSAC-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.
SACSAC-2015-PedrosaT #approach #visual notation #word
Compact and discriminative approach for encoding spatial-relationship of visual words (GVP, AJMT), pp. 92–95.
DACDAC-2015-ChangHLW #analysis #functional #named
TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.
DACDAC-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.
DATEDATE-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.
STOCSTOC-2015-BitanskyGLPT #random
Succinct Randomized Encodings and their Applications (NB, SG, HL, RP, ST), pp. 439–448.
CADECADE-2015-SatoW #dependence
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.
ICLPICLP-J-2015-CabalarDV #equilibrium #logic
An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.
ICLPICLP-J-2015-GagglMRWW #programming
Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
LICSLICS-2015-EndrullisGH
Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.
ICSTSAT-2015-PhilippS #constraints #library #named #pseudo
PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.
VLDBVLDB-2014-LiagourisMBT #effectiveness #rdf
An Effective Encoding Scheme for Spatial RDF Data (JL, NM, PB, MT), pp. 1271–1282.
LATALATA-2014-DasST #graph #morphism
Succinct Encodings of Graph Isomorphism (BD, PS, JT), pp. 285–296.
RTARTA-TLCA-2014-FuS
Self Types for Dependently Typed λ Encodings (PF, AS), pp. 224–239.
IFLIFL-2014-KoopmanPJ #data type #functional #harmful #implementation
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
CHICHI-2014-SetlurM #automation #generative #semantics #visualisation
Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
ICMLICML-c2-2014-LinDH0 #classification #multi
Multi-label Classification via Feature-aware Implicit Label Space Encoding (ZL, GD, MH, JW), pp. 325–333.
ICPRICPR-2014-DornaikaBSR #classification #graph #locality
Locality Constrained Encoding Graph Construction and Application to Outdoor Object Classification (FD, AB, HS, YR), pp. 2483–2488.
ICPRICPR-2014-GauzereBV #graph #kernel
Graph Kernel Encoding Substituents’ Relative Positioning (BG, LB, DV), pp. 637–642.
ICPRICPR-2014-LuoJ #image #learning #retrieval #semantics
Learning Semantic Binary Codes by Encoding Attributes for Image Retrieval (JL, ZJ), pp. 279–284.
ICPRICPR-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.
ICPRICPR-2014-RavalTJ #classification #evaluation #fault #performance #using
Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
KRKR-2014-GebserJR
ASP Encodings of Acyclicity Properties (MG, TJ, JR).
PPDPPPDP-2014-Tarau
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.
CGOCGO-2014-LiWWHX #adaptation
Dynamic and Adaptive Calling Context Encoding (JL, ZW, CW, WCH, DX), p. 120.
CGOCGO-2014-ZengR0AJ0 #named #precise #scalability
DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.
LCTESLCTES-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.
IJCARIJCAR-2014-Zhang #verification
QBF Encoding of Temporal Properties and QBF-Based Verification (WZ), pp. 224–239.
ECIRECIR-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.
LOPSTRLOPSTR-2013-Saeedloei #logic #π-calculus
A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.
HPDCHPDC-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.
TACASTACAS-2013-BlanchetteBPS #polymorphism
Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
CIKMCIKM-2012-SymondsBST #semantics
A tensor encoding model for semantic processing (MS, PDB, LS, IT), pp. 2267–2270.
ICPRICPR-2012-LiW #matrix #recognition #using
Iris recognition using ordinal encoding of Log-Euclidean covariance matrices (PL, GW), pp. 2420–2423.
ICPRICPR-2012-WuHWT #classification #image
Group encoding of local features in image classification (ZW, YH, LW, TT), pp. 1505–1508.
KDIRKDIR-2012-AugelloGPV #algebra #geometry
Geometric Encoding of Sentences based on Clifford Algebra (AA, MG, GP, GV), pp. 457–462.
PLDIPLDI-2012-GodefroidT #automation #synthesis
Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.
HPCAHPCA-2012-SanchezK #flexibility #named #scalability #set
SCD: A scalable coherence directory with flexible sharer set encoding (DS, CK), pp. 129–140.
FoSSaCSFoSSaCS-2012-PetersN #question
Is It a “Good” Encoding of Mixed Choice? (KP, UN), pp. 210–224.
IJCARIJCAR-2012-BaaderBM #ontology #satisfiability #strict #unification
SAT Encoding of Unification in ℰℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies (FB, SB, BM), pp. 30–44.
ICSTSAT-2012-Ben-HaimIMM #constraints
Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.
ICSTSAT-2012-TanjoTB #csp #named #order #satisfiability #using
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (TT, NT, MB), pp. 456–462.
TPDLTPDL-2011-ScifleetW #comprehension #lessons learnt
Understanding Documentary Practice: Lessons Learnt from the Text Encoding Initiative (PS, SPW), pp. 272–283.
TPDLTPDL-2011-TasovacE
Encoding Diachrony: Digital Editions of Serbian 18th-Century Texts (TT, NE), pp. 497–500.
DLTDLT-2011-BattaglinoFFR #regular expression
Encoding Centered Polyominoes by Means of a Regular Language (DB, JMF, AF, SR), pp. 464–465.
FMFM-2011-RozierV #approach #ltl #multi #satisfiability
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking (KYR, MYV), pp. 417–431.
HaskellHaskell-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.
CIKMCIKM-2011-Ando #relational #using
Latent feature encoding using dyadic and relational data (SA), pp. 2201–2204.
CIKMCIKM-2011-FontouraGJV
Efficiently encoding term co-occurrences in inverted indexes (MF, MG, VJ, SV), pp. 307–316.
ICMLICML-2011-CoatesN
The Importance of Encoding Versus Training with Sparse Coding and Vector Quantization (AC, AYN), pp. 921–928.
TACASTACAS-2011-CodishFFS #constraints #pseudo
Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.
ISSTAISSTA-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.
ICSTSAT-2011-PetkeJ #csp #order #satisfiability
The Order Encoding: From Tractable CSP to Tractable SAT (JP, PJ), pp. 371–372.
ICSTSAT-2011-TanjoTB #csp #finite #performance
A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
TAPTAP-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.
ICGTICGT-2010-Monreale #automaton #calculus #lts #process #semantics #visual notation
LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
CIKMCIKM-2010-SilvestriV #integer #named #performance #programming
VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
ICPRICPR-2010-FoureyB #combinator #performance
Efficient Encoding of n-D Combinatorial Pyramids (SF, LB), pp. 1036–1039.
ICPRICPR-2010-Marin-JimenezBM #modelling
RBM-based Silhouette Encoding for Human Action Modelling (MJMJ, NPdlB, MÁM), pp. 979–982.
ICPRICPR-2010-WangL
Encoding Actions via Quantized Vocabulary of Averaged Silhouettes (LW, CL), pp. 3657–3660.
SPLCSPLC-2010-Nakajima #automation #diagrams #feature model
Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
TOOLSTOOLS-EUROPE-2010-CameronN #java
Encoding Ownership Types in Java (NRC, JN), pp. 271–290.
ICSEICSE-2010-SumnerZWZ #precise
Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
TACASTACAS-2010-LeinoR #design #logic #polymorphism #verification
A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.
ICSTSAT-2010-MillerKLB #bound #design #model checking
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
TAPTAP-2010-GoldbergM #generative #proving #testing
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
FMFM-2009-PradellaMP #bound #metric #model checking
A Metric Encoding for Bounded Model Checking (MP, AM, PSP), pp. 741–756.
IFMIFM-2009-SalaunB #algebra #process #using
Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.
DiGRADiGRA-2009-CameronC #liveness #performance #realtime
Encoding liveness: Performance and real-time rendering in machinima (DC, JC).
ECIRECIR-2009-EsuliS09a #classification
Encoding Ordinal Features into Binary Features for Text Classification (AE, FS), pp. 771–775.
PPDPPPDP-2009-CodishGS #declarative #satisfiability
A declarative encoding of telecommunications feature subscription in SAT (MC, SG, PJS), pp. 255–266.
DACDAC-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.
DATEDATE-2009-HeH #algorithm #performance #verification
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
CADECADE-2009-SebastianiV #analysis #axiom #lightweight #logic
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
ICLPICLP-2009-Zhou #constraints
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.
ICSTSAT-2009-ArgelichCLM #satisfiability
Sequential Encodings from Max-CSP into Partial Max-SAT (JA, AC, IL, FM), pp. 161–166.
ICSTSAT-2009-BailleuxBR #constraints #pseudo
New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
ICSTSAT-2009-SamerV #satisfiability
Encoding Treewidth into SAT (MS, HV), pp. 45–50.
ICALPICALP-A-2008-AlonH
Optimal Monotone Encodings (NA, RH), pp. 258–270.
RTARTA-2008-ArrighiD #algebra #confluence #higher-order #λ-calculus
Linear-algebraic λ-calculus: higher-order, encodings, and confluence (PA, GD), pp. 17–31.
RTARTA-2008-Ueda #graph grammar #λ-calculus
Encoding the Pure λ Calculus into Hierarchical Graph Rewriting (KU), pp. 392–408.
SOFTVISSOFTVIS-2008-SavidisPZ #3d #agile #design #semantics #visual notation
Rapid visual design with semantics encoding through 3d CRC cards (AS, PP, GZ), pp. 193–196.
ECIRECIR-2008-FishbeinE #classification
Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification (JMF, CE), pp. 514–521.
POPLPOPL-2008-AlaviGG
Extensible encoding of type hierarchies (HSA, SG, RG), pp. 349–358.
FSEFSE-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.
DATEDATE-2008-BonnyH #embedded
Instruction Re-encoding Facilitating Dense Embedded Code (TB, JH), pp. 770–775.
DATEDATE-2008-VelevG #comparison #problem #satisfiability
Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems (MNV, PG), pp. 1268–1273.
ESOPESOP-2008-PoswolskyS #dependent type #higher-order #programming
Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.
SMTSMT-2007-BongioKLLM08 #first-order #proving #smt
Encoding First Order Proofs in SMT (JB, CK, HL, CL, REM), pp. 71–84.
ICDARICDAR-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.
SEFMSEFM-2007-GrandyBSR #named #protocol #security
ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
ASEASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #process
Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.
DACDAC-2007-MorganT #energy #reduction
ASIP Instruction Encoding for Energy and Area Reduction (PM, RT), pp. 797–800.
SMTSMT-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.
CADECADE-2007-DeshaneHJLLM #first-order #proving #satisfiability
Encoding First Order Proofs in SAT (TD, WH, PJ, HL, CL, REM), pp. 476–491.
CADECADE-2007-PerezV #bound #effectiveness #logic #ltl #model checking
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic (JANP, AV), pp. 346–361.
ICSTSAT-2007-AudemardS
Circuit Based Encoding of CNF Formula (GA, LS), pp. 16–21.
ICSTSAT-2007-HertelHU #formal method #satisfiability
Formalizing Dangerous SAT Encodings (AH, PH, AU), pp. 159–172.
ICSTSAT-2007-PerezV #effectiveness #logic #problem
Encodings of Problems in Effectively Propositional Logic (JANP, AV), p. 3.
VLDBVLDB-2006-ApaydinCFT #approximate #query
Approximate Encoding for Direct Access and Query Processing over Compressed Bitmaps (TA, GC, HF, AST), pp. 846–857.
ICGTICGT-2006-BonchiGK #bisimulation #process #visual notation
Process Bisimulation Via a Graphical Encoding (FB, FG, BK), pp. 168–183.
ICPRICPR-v2-2006-MakkapatiM #using
Contour Encoding Based on Extraction of Key Points Using Wavelet Transform (VM, PRM), pp. 1177–1180.
ASPLOSASPLOS-2006-BondM #detection #memory management #named #online
Bell: bit-encoding online memory leak detection (MDB, KSM), pp. 61–72.
DACDAC-2006-BrahmbhattZWQ #adaptation #algorithm #hybrid #power management #using
Low-power bus encoding using an adaptive hybrid algorithm (ARB, JZ, QW, QQ), pp. 987–990.
DACDAC-2006-CarmonaC #scalability
State encoding of large asynchronous controllers (JC, JC), pp. 939–944.
DATEDATE-2006-LaMeresK #induction
Bus stuttering: an encoding technique to reduce inductive noise in off-chip data transmission (BJL, SPK), pp. 522–527.
TACASTACAS-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.
ICSTSAT-2006-ChaviraD #analysis #component
Encoding CNFs to Empower Component Analysis (MC, AD), pp. 61–74.
ICSTSAT-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.
ICDARICDAR-2005-MozaffariFZ #recognition #representation #using
Character Representation and Recognition Using Quadtree-based Fractal Encoding Scheme (SM, KF, MZ), pp. 819–823.
VLDBVLDB-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.
ICALPICALP-2005-BaldamusPV #π-calculus
A Fully Abstract Encoding of the π-Calculus with Data Terms (MB, JP, BV), pp. 1202–1213.
TLCATLCA-2005-SchurmannPS #calculus #functional #higher-order #programming
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
IFLIFL-2005-Mackie #interactive #λ-calculus
Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.
AIIDEAIIDE-2005-HoangLM #game studies
Hierarchical Plan Representations for Encoding Strategic Game AI (HH, SLU, HMA), pp. 63–68.
ICEISICEIS-v1-2005-RisheBCVGSW #semantics
Object ID Distribution and Encoding in the Semantic Binary Engine (NR, AB, MC, DV, SG, SS, OW), pp. 279–284.
CIKMCIKM-2005-LiL05a #named #novel #xml
QED: a novel quaternary encoding to completely avoid re-labeling in XML updates (CL, TWL), pp. 501–508.
ECIRECIR-2005-KakadeR #xml
Encoding XML in Vector Spaces (VK, PR), pp. 96–111.
MLDMMLDM-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.
COCVCOCV-J-2005-GalPF05a
Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
DACDAC-2005-SaneeiAN #power management #reduction
Sign bit reduction encoding for low power applications (MS, AAK, ZN), pp. 214–217.
DATEDATE-2005-LaMeresK #induction
Encoding-Based Minimization of Inductive Cross-Talk for Off-Chip Data Transmission (BJL, SPK), pp. 1318–1323.
CIAACIAA-2004-GiraudL #automaton #finite #linear
Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
ICALPICALP-2004-Rytter #algorithm #string
Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input (WR), pp. 15–27.
SACSAC-PL-J-2004-FagorziZ #case study #multi
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders (SF, EZ), pp. 31–54.
DACDAC-2004-DeogunRSB #reduction
Leakage-and crosstalk-aware bus encoding for total power reduction (HD, RRR, DS, DB), pp. 779–782.
DATEDATE-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.
SATSAT-2004-Velev #performance #satisfiability
Encoding Global Unobservability for Efficient Translation to SAT (MNV), pp. 197–204.
DocEngDocEng-2003-ZhuN
Information encoding into and decoding from dot texture for active forms (BZ, MN), pp. 105–114.
SIGMODSIGMOD-2003-DeHaanTCO #sql #using #xquery
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding (DD, DT, MPC, MTÖ), pp. 623–634.
TLCATLCA-2003-Joly #problem
Encoding of the Halting Problem into the Monster Type & Applications (TJ), pp. 153–166.
ICFPICFP-2003-WashburnW #higher-order #morphism #parametricity #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
UMLUML-2003-YangX #architecture #case study #experience #uml
Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
DACDAC-2003-Al-YamaniM #automaton
Seed encoding with LFSRs and cellular automata (AAAY, EJM), pp. 560–565.
DACDAC-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.
DATEDATE-2003-ChengP #interface #power management #visual notation
Chromatic Encoding: A Low Power Encoding Technique for Digital Visual Interface (WCC, MP), pp. 10694–10699.
DATEDATE-2003-LvHLW
Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses (TL, JH, HL, WW), pp. 10542–10549.
DATEDATE-2003-WedlerSK #induction #using
Using RTL Statespace Information and State Encoding for Induction Based Property Checking (MW, DS, WK), pp. 11156–11157.
ESOPESOP-2003-DanvyL
Tagging, Encoding, and Jones Optimality (OD, PEML), pp. 335–347.
VMCAIVMCAI-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.
PASTEPASTE-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.
ECIRECIR-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.
ECOOPECOOP-2002-Filman
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies (REF), pp. 545–561.
DATEDATE-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.
DATEDATE-2002-BertozziBM #fault #power management
Low Power Error Resilient Encoding for On-Chip Data Buses (DB, LB, GDM), pp. 102–109.
DATEDATE-2002-FerrettiB #pipes and filters #using
Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding (MF, PAB), pp. 1008–1015.
DATEDATE-2002-LvWHL #adaptation #taxonomy
An Adaptive Dictionary Encoding Scheme for SOC Data Buses (TL, WW, JH, HL), pp. 1059–1064.
DATEDATE-2002-MartinezAQSK #implementation #power management
An Encoding Technique for Low Power CMOS Implementations of Controllers (MM, MJA, JMQ, HS, MK), p. 1083.
DATEDATE-2002-RedaO #testing
Reducing Test Application Time Through Test Data Mutation Encoding (SR, AO), pp. 387–393.
SATSAT-2002-GentP #problem #satisfiability
SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.
VMCAIVMCAI-2002-CimattiPRS #ltl #model checking #satisfiability
Improving the Encoding of LTL Model Checking into SAT (AC, MP, MR, RS), pp. 196–207.
ICDARICDAR-2001-CesariniLMS #classification #documentation
Encoding of Modified X-Y Trees for Document Classification (FC, ML, SM, GS), pp. 1131–1136.
ICDARICDAR-2001-KimLSN #analysis #performance
Analysis of Postal Address Fields for Efficient Encoding of Korean Mail Pieces (GK, SL, MS, YSN), pp. 675–679.
CIAACIAA-2001-HolzerK #image #order #using
Improving Raster Image Run-Length Encoding Using Data Order (MH, MK), pp. 161–176.
ECOOPECOOP-2001-RaynaudT #performance #testing
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests (OR, ET), pp. 165–180.
OOPSLAOOPSLA-2001-ZibinG #performance #testing #type system
Efficient Subtyping Tests with PQ-Encoding (YZ, JYG), pp. 96–107.
ICSEICSE-2001-ReissR
Encoding Program Executions (SPR, MR), pp. 221–230.
SACSAC-2001-Julstrom
Encoding rectilinear Steiner trees as lists of edges (BAJ), pp. 356–360.
ESOPESOP-2001-Weirich #analysis
Encoding Intensional Type Analysis (SW), pp. 92–106.
CSLCSL-2001-Schurmann #higher-order #recursion
Recursion for Higher-Order Encodings (CS), pp. 585–599.
ICPRICPR-v3-2000-ZemcikVFKT #image #multi
Multispectral Image Color Encoding (PZ, JV, MF, HK, PJT), pp. 3609–3612.
ICPRICPR-v4-2000-SvalbeST
Discrete Angle Watermark Encoding and Recovery (IDS, RGvS, AZT), pp. 4246–4249.
OOPSLAOOPSLA-2000-Glew #performance
An efficient class and object encoding (NG), pp. 311–324.
DACDAC-2000-ChangKC #memory management #power management
Bus encoding for low-power high-performance memory systems (NC, KK, JC), pp. 800–805.
SIGMODSIGMOD-1999-ChanI #performance #query
An Efficient Bitmap Encoding Scheme for Selection Queries (CYC, YEI), pp. 215–226.
CIAAWIA-1999-JurgensenS #automaton #finite #geometry
Finite Automata Encoding Geometric Figures (HJ, LS), pp. 101–108.
CIKMCIKM-1999-BommelB #incremental #inheritance #multi
Incremental Encoding of Multiple Inheritance Hierarchies (MFvB, TJB), pp. 507–513.
DATEDATE-1999-FornaciariSS #embedded
Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems (WF, DS, CS), pp. 762–763.
DATEDATE-1999-MartinezAQH #algorithm #using
An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length (MM, MJA, JMQ, JLH), pp. 521–525.
DATEDATE-1999-NoethK #power management
Spanning Tree-based State Encoding for Low Power Dissipation (WN, RK), pp. 168–174.
ICLPICLP-1999-Penn #prolog
An Optimized Prolog Encoding of Typed Feature Structures (GP), pp. 124–138.
ICALPICALP-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.
ICALPICALP-1998-PlandowskiR #equation #word
Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.
ICFPICFP-1998-Yang
Encoding Types in ML-Like Languages (ZY), pp. 289–300.
KRKR-1998-BaiolettiMM #constraints #partial order
Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.
DACDAC-1998-JiangJH #composition #synthesis
Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.
DATEDATE-1998-BeniniMSMS #optimisation
Address Bus Encoding Techniques for System-Level Power Optimization (LB, GDM, DS, EM, CS), pp. 861–866.
DATEDATE-1998-Coudert #paradigm
A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
DATEDATE-1998-PastorC #analysis #performance #petri net
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
ECOOPECOOP-1997-KrallVH
Near Optimal Hierarchical Encoding of Types (AK, JV, RNH), pp. 128–145.
DATEEDTC-1997-SurtiCT #automaton #design #power management #using
Low power FSM design using Huffman-style encoding (PS, LFC, AT), pp. 521–525.
KRKR-1996-KautzMS #logic
Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.
DACDAC-1996-CortadellaKKLY #synthesis #tool support
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.
ESOPESOP-1996-Bechet #partial evaluation #using
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.
SACSAC-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.
ICLPILPS-1995-BarklundDCL #logic programming #semantics
Semantical Properties of Encodings in Logic Programming (JB, PD, SC, GAL), pp. 288–302.
DACDAC-1994-MurgaiBS #composition #functional #using
Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.
FMFME-1993-Martin #logic
Encoding W: A Logic for Z in 2OBJ (AM), pp. 462–481.
KDDKDD-1991-Pednault #induction
Minimal-Length Encoding and Inductive Inference (EPDP), pp. 71–92.
DACDAC-1991-CiesielskiSD #approach #automaton
A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.
DACDAC-1991-SaldanhaVBS #constraints #framework
A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
CADECADE-1990-FeltyM #logic programming #programming language #λ-calculus
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.
ICALPICALP-1984-Welzl #formal method #graph #graph grammar
Encoding Graphs by Derivations and Implications for the Theory of Graph Grammars (EW), pp. 503–513.
VLDBVLDB-1977-Lincoln #database
Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.

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.