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:
base (114)
use (60)
effici (56)
system (49)
program (45)

Stem scheme$ (all stems)

711 papers:

CASECASE-2015-LinHWC #development #multitenancy #novel #tool support
Development of a novel cloud-based multi-tenant model creation scheme for machine tools (YCL, MHH, CFW, FTC), pp. 1448–1449.
DACDAC-2015-SeyedzadehMJM #encoding #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.
DACDAC-2015-WangJZWY #energy #performance
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DATEDATE-2015-AmirhosseinRBCM #power management
An all-digital spike-based ultra-low-power IR-UWB dynamic average threshold crossing scheme for muscle force wireless transmission (MSA, PMR, AB, MC, MM, DD, GM), pp. 1479–1484.
DATEDATE-2015-ChenLH #approximate #reliability
An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATEDATE-2015-LiLZGSSZCLY #energy #performance
An energy efficient backup scheme with low inrush current for nonvolatile SRAM in energy harvesting sensor nodes (HL, YL, QZ, YG, XS, GS, CZ, MFC, RL, HY), pp. 7–12.
DATEDATE-2015-MineoRPACM #architecture #energy #performance #self
A closed loop transmitting power self-calibration scheme for energy efficient WiNoC architectures (AM, MSR, MP, GA, VC, MNM), pp. 513–518.
DATEDATE-2015-WeiDLW #metaprogramming
A universal macro block mapping scheme for arithmetic circuits (XW, YD, TKL, YLW), pp. 1629–1634.
SIGMODSIGMOD-2015-LiCP #encoding
A Padded Encoding Scheme to Accelerate Scans by Leveraging Skew (YL, CC, JMP), pp. 1509–1524.
FASEFASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.
STOCSTOC-2015-AlstrupKTZ #graph
Adjacency Labeling Schemes and Induced-Universal Graphs (SA, HK, MT, UZ), pp. 625–634.
STOCSTOC-2015-FoxKM #approximate #polynomial
A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection (KF, PNK, SM), pp. 841–850.
ICALPICALP-v2-2015-DahlgaardKR
A Simple and Optimal Ancestry Labeling Scheme for Trees (SD, MBTK, NR), pp. 564–574.
ICMLICML-2015-LimKPJ #performance #scalability #set
Double Nyström Method: An Efficient and Accurate Nyström Scheme for Large-Scale Data Sets (WL, MK, HP, KJ), pp. 1367–1375.
SEKESEKE-2015-Murillo-MoreraJ #algorithm #approach #framework #learning #predict #search-based #using
A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
SEKESEKE-2015-TironiMRM #approach #identification #learning
An approach to identify relevant subjects for supporting the Learning Scheme creation task (HT, ALAM, SSR, AM), pp. 506–511.
QAPLQAPL-2015-LatellaMV #bisimulation
A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
POPLPOPL-2015-GarciaC #source code
Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
POPLPOPL-2015-HinzeWG #morphism #recursion
Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
ICSTSAT-2015-BiereF
Evaluating CDCL Variable Scoring Schemes (AB, AF), pp. 405–422.
DACDAC-2014-CuiCBC #optimisation #set
A Swap-based Cache Set Index Scheme to Leverage both Superpage and Page Coloring Optimizations (ZC, LC, YB, MC), p. 6.
DACDAC-2014-EkenZWJLC #self
A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
DACDAC-2014-KuanCHL #database #embedded #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
HTHT-2014-TanakaTT #classification #twitter #why
Why you follow: a classification scheme for twitter follow links (AT, HT, KT), pp. 324–326.
SIGMODSIGMOD-2014-TrummerK #approximate #optimisation #query
Approximation schemes for many-objective query optimization (IT, CK), pp. 1299–1310.
VLDBVLDB-2014-LiagourisMBT #effectiveness #encoding #rdf
An Effective Encoding Scheme for Spatial RDF Data (JL, NM, PB, MT), pp. 1271–1282.
ICALPICALP-v1-2014-IshaiW
Partial Garbling Schemes and Their Applications (YI, HW), pp. 650–662.
ICALPICALP-v1-2014-Lampis #approximate #graph #using
Parameterized Approximation Schemes Using Graph Widths (ML), pp. 775–786.
ICALPICALP-v2-2014-AdjiashviliR #bound #graph
Labeling Schemes for Bounded Degree Graphs (DA, NR), pp. 375–386.
LISPILC-2014-Castro-Castilla #development #mobile #multi
Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres (ÁCC), p. 4.
LISPILC-2014-PetersenGAD
A Scheme-Based Closed-Loop Anesthesia System (CLP, MG, JMA, GAD), p. 40.
HCIHCI-TMT-2014-PereiraB #comprehension #concept #design
Value Pie: A Culturally Informed Conceptual Scheme for Understanding Values in Design (RP, MCCB), pp. 122–133.
HCIHIMI-DE-2014-SugayaNT #clustering #recognition #using
Enhancement of Accuracy of Hand Shape Recognition Using Color Calibration by Clustering Scheme and Majority Voting Method (TS, HN, HT), pp. 251–260.
ICEISICEIS-v3-2014-PaulinsBA #visualisation
e-Learning Material Presentation and Visualization Types and Schemes (NP, SB, IA), pp. 138–143.
ICMLICML-c2-2014-Scherrer #approximate #comparison #policy
Approximate Policy Iteration Schemes: A Comparison (BS), pp. 1314–1322.
ICPRICPR-2014-KristoC
Optimized Window Arrangement for Spatial Pyramid Matching Scheme (K, CSC), pp. 1395–1400.
ICPRICPR-2014-TouaziMB #feature model #game studies
Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
PPDPPPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
SACSAC-2014-ChangTK #3d
A traffic-balanced routing scheme for heat balance in 3D networks-on-chip (WCC, HWT, CFK), pp. 1437–1442.
SACSAC-2014-ChoiKKLK #network
A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.
SACSAC-2014-JungKYM #algorithm #search-based
Investigation of hungarian mating schemes for genetic algorithms (CJ, YHK, YY, BRM), pp. 140–147.
SACSAC-2014-Khan #independence #research #standard #student
Student research abstract: an optimized handover scheme based on media independent handover standard IEEE 802.21 (MK), pp. 717–718.
SACSAC-2014-LargillierPP #named #robust
Rocovo: robust communal publication scheme (TL, GP, SP), pp. 579–586.
SACSAC-2014-LiuGSLSX #communication #encryption #grid #named #smarttech
SEDE: state estimation-based dynamic encryption scheme for smart grid communication (TL, YG, YS, YL, YS, FX), pp. 539–544.
SACSAC-2014-SahuR #clustering #runtime
Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
SACSAC-2014-YoonY #authentication #network #using
A biometric-based authenticated key agreement scheme using ECC for wireless sensor networks (EJY, KYY), pp. 699–705.
CGOCGO-2014-JuegaGTC #adaptation #automation #code generation #parametricity
Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.
LICSLICS-CSL-2014-Mamouras #hoare #monad #on the #recursion
On the Hoare theory of monadic recursion schemes (KM), p. 10.
CASECASE-2013-ChenHCHW #automation #maintenance #predict
Automatic baseline-sample-selection scheme for baseline predictive maintenance (CFC, YSH, FTC, HCH, SCW), pp. 183–188.
CASECASE-2013-NammotoKH #assembly #modelling #using
Model-based compliant motion control scheme for assembly tasks using vision and force information (TN, KK, KH), pp. 948–953.
DATEDATE-2013-BayrakVRNBI
An EDA-friendly protection scheme against side-channel attacks (AGB, NV, FR, DN, PB, PI), pp. 410–415.
DATEDATE-2013-KhanSGH #collaboration #complexity #reduction
Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATEDATE-2013-ShihW #3d #fault
An enhanced double-TSV scheme for defect tolerance in 3D-IC (HCS, CWW), pp. 1486–1489.
DATEDATE-2013-WildermannZT #analysis #distributed #game studies #manycore
Game-theoretic analysis of decentralized core allocation schemes on many-core systems (SW, TZ, JT), pp. 1498–1503.
ICDARICDAR-2013-CecottiV #classification #multi #recognition
Rejection Schemes in Multi-class Classification — Application to Handwritten Character Recognition (HC, SV), pp. 445–449.
ICDARICDAR-2013-RoyPR #image
A Pair-Copula Based Scheme for Text Extraction from Digital Images (AR, SKP, UR), pp. 892–896.
SIGMODSIGMOD-2013-ChengHWF #graph #named #query #reachability #scalability
TF-Label: a topological-folding labeling scheme for reachability querying in a large graph (JC, SH, HW, AWCF), pp. 193–204.
SIGMODSIGMOD-2013-FinisBK0FM #named #performance #version control
DeltaNI: an efficient labeling scheme for versioned hierarchical data (JF, RB, AK, TN, FF, NM), pp. 905–916.
VLDBVLDB-2013-FuWCW #distance #named #query
IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying (AWCF, HW, JC, RCWW), pp. 457–468.
LATALATA-2013-Ong #automaton #higher-order #model checking #recursion
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (LO), pp. 13–41.
ICFPICFP-2013-HinzeWG #recursion
Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
CHICHI-2013-FlatlaRGG13a #automation #named
SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.
HCIDHM-HB-2013-ZhangZLDW #optimisation
Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
ICEISICEIS-v2-2013-ClayerTC #adaptation #approach #design #education #towards
Towards a Pattern-based Adaptive Approach for Instructional Design based on Teacher’s Pedagogical Design Scheme (JPC, CT, CC), pp. 532–538.
CIKMCIKM-2013-MorishimaYTSK #dependence #performance #ranking #web
Efficient filtering and ranking schemes for finding inclusion dependencies on the web (AM, EY, MT, SS, HK), pp. 763–768.
ICMLICML-c1-2013-Shamir0 #convergence #optimisation #probability
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
SIGIRSIGIR-2013-Paik #effectiveness #novel #ranking
A novel TF-IDF weighting scheme for effective ranking (JHP), pp. 343–352.
SIGIRSIGIR-2013-WangHWZ0M #learning #multimodal #search-based
Learning to name faces: a multimodal learning scheme for search-based face annotation (DW, SCHH, PW, JZ, YH, CM), pp. 443–452.
MODELSMoDELS-2013-TaentzerMAL #metamodelling #migration #multi
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
MODELSMoDELS-2013-TaentzerMAL #metamodelling #migration #multi
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
LOPSTRLOPSTR-2013-AntoyJ #compilation #functional #logic
Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
SACSAC-2013-ImmichCC #adaptation #fault
Adaptive video-aware FEC-based mechanism with unequal error protection scheme (RI, EC, MC), pp. 981–988.
SACSAC-2013-KangCLLKN #clustering
Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
PPoPPPPoPP-2013-Chen #algorithm #detection #fault #fault tolerance #named #online
Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods (ZC), pp. 167–176.
CADECADE-2013-BeckertGS #algorithm #logic
Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
CSLCSL-2013-BroadbentK #higher-order #model checking #recursion
Saturation-Based Model Checking of Higher-Order Recursion Schemes (CHB, NK), pp. 129–148.
CSLCSL-2013-Oitavem #nondeterminism #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
RTARTA-2013-SmolkaT #recursion #unification
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
TLCATLCA-2013-SalvatiW #modelling #recursion #using
Using Models to Model-Check Recursive Schemes (SS, IW), pp. 189–204.
CASECASE-2012-HsiehCY
Virtual-metrology-based FDC scheme (YSH, FTC, HCY), pp. 80–85.
CASECASE-2012-Moller #coordination
Local vs. global coordination control schemes (CM), pp. 1132–1137.
CASECASE-2012-YangTCHC
A dual-forecast scheme for production output with paired/unpaired WIP data (HCY, THT, CYC, MHH, FTC), pp. 581–586.
DACDAC-2012-SatpathyDDMSB #multi #quality #self
High radix self-arbitrating switch fabric with multiple arbitration schemes and quality of service (SS, RD, RGD, TNM, DS, DB), pp. 406–411.
DATEDATE-2012-ChatziparaskevasBP #difference #finite #parallel #using
An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes (GC, AB, IP), pp. 709–714.
DATEDATE-2012-GaoWHZL #clustering #concurrent #debugging #manycore
A clustering-based scheme for concurrent trace in debugging NoC-based multicore systems (JG, JW, YH, LZ, XL), pp. 27–32.
DATEDATE-2012-HaronH #fault
DfT schemes for resistive open defects in RRAMs (NZH, SH), pp. 799–804.
DATEDATE-2012-KimA #interface
On-chip source synchronous interface timing test scheme with calibration (HK, JAA), pp. 1146–1149.
DATEDATE-2012-LiRP #embedded #hardware #named
Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATEDATE-2012-LiuWWQS #embedded #memory management #process
A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems (DL, TW, YW, ZQ, ZS), pp. 1447–1450.
DATEDATE-2012-QianTT #configuration management #self #using
A flit-level speedup scheme for network-on-chips using self-reconfigurable bi-directional channels (ZQ, YFT, CYT), pp. 1295–1300.
SIGMODSIGMOD-2012-GanFFN
Locality-sensitive hashing scheme based on dynamic collision counting (JG, JF, QF, WN), pp. 541–552.
STOCSTOC-2012-BartalGK #approximate #polynomial #problem
The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme (YB, LAG, RK), pp. 663–672.
FLOPSFLOPS-2012-AntoyP #compilation #functional #logic
Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
ICALPICALP-v2-2012-OngT #game studies #recursion #semantics
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
ICEISICEIS-v1-2012-RudraGA #approximate #performance #query
An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICPRICPR-2012-CarliniF
A Semi-Lagrangian scheme for area preserving flows (EC, RF), pp. 2029–2033.
ICPRICPR-2012-DasR #documentation #image #novel #quality
A novel scheme of orientation and scale mapped RDC (OS-RDC) to improve compression in document images ensuring quality preservation (AD, RR), pp. 641–644.
ICPRICPR-2012-LoWCC #3d #estimation #locality #people
Acceleration of vanishing point-based line sampling scheme for people localization and height estimation via 3D line sampling (KHL, CJW, JHC, HTC), pp. 2788–2791.
KDIRKDIR-2012-ArbelaitzGLMPP #adaptation #clustering #mining #navigation #profiling #using
Adaptation of the User Navigation Scheme using Clustering and Frequent Pattern Mining Techiques for Profiling (OA, IG, AL, JM, JMP, IP), pp. 187–192.
SIGIRSIGIR-2012-Ko #case study #classification #using
A study of term weighting schemes using class information for text classification (YK), pp. 1029–1030.
SACSAC-2012-BasuVDK #case study #collaboration #performance #privacy
Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study (AB, JV, TD, HK), pp. 447–452.
SACSAC-2012-HuH #network
A density-aware routing scheme in delay tolerant networks (CLH, BJH), pp. 563–568.
SACSAC-2012-KimPJSCH #garbage collection #hybrid #named #performance
AAGC: an efficient associativity-aware garbage collection scheme for hybrid FTLs (BK, MP, CJ, COS, YC, JH), pp. 1785–1790.
SACSAC-2012-LeeOKC
Grid-based cloaking area creation scheme supporting continuous location-based services (HL, BSO, HIK, JWC), pp. 537–543.
SACSAC-2012-MoraisC #ad hoc #detection #distributed #network
A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
SACSAC-2012-NathML #classification #fault #on the #testing
On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SACSAC-2012-ParkDNDKK #identification #memory management #named
HotDataTrap: a sampling-based hot data identification scheme for flash memory (DP, BKD, YN, DHCD, YK, YK), pp. 1610–1617.
SACSAC-2012-SaidJA #collaboration
Analyzing weighting schemes in collaborative filtering: cold start, post cold start and power users (AS, BJJ, SA), pp. 2035–2040.
HPCAHPCA-2012-YanLHLGL #architecture #hybrid #manycore #named #performance
AgileRegulator: A hybrid voltage regulator scheme redeeming dark silicon for power efficiency in a multicore architecture (GY, YL, YH, XL, MG, XL), pp. 287–298.
HPDCHPDC-2012-NicolaeC #hybrid #migration
A hybrid local storage transfer scheme for live migration of I/O intensive workloads (BN, FC), pp. 85–96.
LICSLICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
ECSAECSA-2011-QureshiCLT #architecture
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
DACDAC-2011-CongHLZ #memory management
A reuse-aware prefetching scheme for scratchpad memory (JC, HH, CL, YZ), pp. 960–965.
DACDAC-2011-KandemirYK #clustering #concurrent #parallel #thread
A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
DACDAC-2011-TsaiZCH #bidirectional #fault tolerance #using
A fault-tolerant NoC scheme using bidirectional channel (WCT, DYZ, SJC, YHH), pp. 918–923.
DATEDATE-2011-MaW #detection #fault #low cost #named
LOEDAR: A low cost error detection and recovery scheme for ECC (KM, KW), pp. 1010–1015.
DATEDATE-2011-ParkYL #novel #power management
A novel tag access scheme for low power L2 cache (HP, SY, SL), pp. 655–660.
DATEDATE-2011-ZhangHCW #grid #network #power management #reduction
A block-diagonal structured model reduction scheme for power grid networks (ZZ, XH, CKC, NW), pp. 44–49.
DRRDRR-2011-Obafemi-AjayiA #documentation #multi #statistics
Statistical multi-resolution schemes for historical document binarization (TOA, GA), pp. 1–10.
ICDARICDAR-2011-GargHCG #multi
A CRF Based Scheme for Overlapping Multi-colored Text Graphics Separation (RG, EH, SC, MG), pp. 1215–1219.
ICDARICDAR-2011-GuptaBC
A Compression Scheme for Handwritten Patterns Based on Curve Fitting (KG, MB, SC), pp. 1115–1119.
ICDARICDAR-2011-YalnizM #automation #evaluation #performance
A Fast Alignment Scheme for Automatic OCR Evaluation of Books (IZY, RM), pp. 754–758.
SIGMODSIGMOD-2011-QinWLXL #performance #query #similarity #symmetry
Efficient exact edit similarity query processing with the asymmetric signature scheme (JQ, WW, YL, CX, XL), pp. 1033–1044.
VLDBVLDB-2011-MorfoniosCGBDDW #consistency
Consistent Synchronization Schemes for Workload Replay (KM, RC, LG, SB, BD, KD, YW), pp. 1225–1236.
VLDBVLDB-2011-ParameswaranDGR #robust #web
Optimal Schemes for Robust Web Extraction (AGP, NND, HGM, RR), pp. 980–991.
ITiCSEITiCSE-2011-CarboneWC #student
A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.
ITiCSEITiCSE-2011-Djordjevic #animation #java
Animation projects in CS1 from scheme to Java (MD), p. 343.
ITiCSEITiCSE-2011-YooSKF #named #programming
WeScheme: the browser is your programming environment (DY, ES, SK, KF), pp. 163–167.
FoSSaCSFoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
CSMRCSMR-2011-SiddiqueM #clustering
Analyzing Term Weighting Schemes for Labeling Software Clusters (FS, OM), pp. 85–88.
SCAMSCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
STOCSTOC-2011-VondrakCZ #multi
Submodular function maximization via the multilinear relaxation and contention resolution schemes (JV, CC, RZ), pp. 783–792.
ICALPICALP-v1-2011-AdamaszekCLW #approximate #design #geometry #network
Approximation Schemes for Capacitated Geometric Network Design (AA, AC, AL, JOW), pp. 25–36.
ICALPICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.
ICALPICALP-v2-2011-Chechik #fault tolerance #graph
Fault-Tolerant Compact Routing Schemes for General Graphs (SC), pp. 101–112.
ICALPICALP-v2-2011-SalvatiW #higher-order
Krivine Machines and Higher-Order Schemes (SS, IW), pp. 162–173.
CHICHI-2011-HayashiHC #authentication #security #visual notation
Security through a different kind of obscurity: evaluating distortion in graphical authentication schemes (EH, JIH, NC), pp. 2055–2064.
CHICHI-2011-KhotSK #authentication #named #novel #using
MARASIM: a novel jigsaw based authentication scheme using tagging (RAK, KS, PK), pp. 2605–2614.
HCIHIMI-v1-2011-LeeKW #authentication #multi #smarttech #using
Cryptanalysis to a Remote User Authentication Scheme Using Smart Cards for Multi-server Environment (YL, JK, DW), pp. 321–329.
HCIHIMI-v2-2011-EitokuMMYMA #information management #quote
“Life Portal”: An Information Access Scheme Based on Life Logs (SE, MM, RM, TY, SyM, MA), pp. 11–20.
HCIHIMI-v2-2011-MozaffariM #classification #mining #visual notation
A Classification Scheme for Characterizing Visual Mining (EM, SPM), pp. 46–54.
ICEISICEIS-v3-2011-HuangHGL #authentication #health #monitoring
Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.
ICEISICEIS-v4-2011-YangLH #multi #network #performance #scheduling
QPF Scheduling Scheme for Performance Improvements of Integrated Multimedia Applications over 3.5G Network (SJY, LCL, YMH), pp. 5–12.
CIKMCIKM-2011-ParkL #data type #detection #evaluation #query
A continuous query evaluation scheme for a detection-only query over data streams (HKP, WSL), pp. 2405–2408.
CIKMCIKM-2011-ZhuangLF #xml
Insert-friendly XML containment labeling scheme (CZ, ZL, SF), pp. 2449–2452.
SACSAC-2011-ChenHT #clustering #power management #quality #requirements
Power management schemes for heterogeneous clusters under quality of service requirements (JJC, KH, LT), pp. 546–553.
SACSAC-2011-KimKKK #energy #memory management #named #performance
FMCM: a efficient flash memory cache management scheme for energy-efficient disks (YK, TK, YK, ARK), pp. 625–626.
SACSAC-2011-KimPHC #adaptation #network #peer-to-peer
Adaptive link recovery scheme for structured peer-to-peer networks under churn (SK, GP, JH, YC), pp. 611–615.
SACSAC-2011-LeeLKB #reliability
A lifespan-aware reliability scheme for RAID-based flash storage (SL, BL, KK, HB), pp. 374–379.
SACSAC-2011-ParkPSP #named
CAVE: channel-aware buffer management scheme for solid state disk (SKP, YP, GS, KHP), pp. 346–353.
SACSAC-2011-RahmanHA #named #network #reliability
REBIVE: a reliable private data aggregation scheme for wireless sensor networks (FR, MEH, SIA), pp. 439–444.
HPDCHPDC-2011-AlvarezBGMNA #design #replication
Design space exploration for aggressive core replication schemes in CMPs (LA, RB, MG, XM, NN, EA), pp. 269–270.
HPDCHPDC-2011-SongYCS #file system #layout #parallel
A cost-intelligent application-specific data layout scheme for parallel file systems (HS, YY, YC, XHS), pp. 37–48.
CSLCSL-2011-Schwencke #nondeterminism #recursion
A Category Theoretic View of Nondeterministic Recursive Program Schemes (DS), pp. 496–511.
CASECASE-2010-DhupatiKRR #analysis #detection #novel #speech #using #validation
A novel drowsiness detection scheme based on speech analysis with validation using simultaneous EEG recordings (LSD, SK, AR, AR), pp. 917–921.
DACDAC-2010-ChangHKCW #3d #fault
An error tolerance scheme for 3D CMOS imagers (HMC, JLH, DMK, KT(C, CWW), pp. 917–922.
DACDAC-2010-WangM #approximate #named #realtime #scalability #using
PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DACDAC-2010-YangLW #complexity #fault #named
ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
DATEDATE-2010-ChenLWZXZ #memory management #random #self
A nondestructive self-reference scheme for Spin-Transfer Torque Random Access Memory (STT-RAM) (YC, HL, XW, WZ, WX, TZ), pp. 148–153.
DATEDATE-2010-ChenO #adaptation #effectiveness #identification
Cost-effective IR-drop failure identification and yield recovery through a failure-adaptive test scheme (MC, AO), pp. 63–68.
DATEDATE-2010-ChenW #adaptation #memory management #random
An adaptive code rate EDAC scheme for random access memory (CYC, CWW), pp. 735–740.
DATEDATE-2010-IqbalSH10a #estimation #execution #graph #monte carlo #named
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.
DATEDATE-2010-PeiLL #generative #testing
An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
DATEDATE-2010-ShafiqueBH #adaptation #energy #estimation #named #predict #runtime #video
enBudget: A Run-Time Adaptive Predictive Energy-Budgeting scheme for energy-aware Motion Estimation in H.264/MPEG-4 AVC video encoder (MS, LB, JH), pp. 1725–1730.
DATEDATE-2010-ShafiqueMH #adaptation #complexity #reduction #using #video
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusion (MS, BM, JH), pp. 1713–1718.
SIGMODSIGMOD-2010-BaoDKR #using #workflow
An optimal labeling scheme for workflow provenance using skeleton labels (ZB, SBD, SK, SR), pp. 711–722.
FoSSaCSFoSSaCS-2010-TsukadaK #infinity #recursion
Untyped Recursion Schemes and Infinite Intersection Types (TT, NK), pp. 343–357.
STOCSTOC-2010-BateniHM #approximate #bound #graph
Approximation schemes for steiner forest on planar graphs and graphs of bounded treewidth (MB, MH, DM), pp. 211–220.
STOCSTOC-2010-FraigniaudK
An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.
STOCSTOC-2010-Madry #algorithm #approximate #graph #multi #performance #problem
Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms (AM), pp. 121–130.
ICALPICALP-v2-2010-Fraigniaud
Informative Labeling Schemes (PF), p. 1.
ICFPICFP-2010-Felleisen #exclamation
TeachScheme!: a checkpoint (MF), pp. 129–130.
CHICHI-2010-HarrisonDH #evaluation #image
Evaluation of progressive image loading schemes (CH, AKD, SEH), pp. 1549–1552.
CIKMCIKM-2010-ParkSYRY #network #performance #query
An efficient data-centric storage scheme considering storage and query hot-spots in sensor networks (YP, DS, JY, CTR, JY), pp. 1325–1328.
ICPRICPR-2010-ElmezainAM #gesture #random #recognition #robust #segmentation #using
A Robust Method for Hand Gesture Segmentation and Recognition Using Forward Spotting Scheme in Conditional Random Fields (ME, AAH, BM), pp. 3850–3853.
ICPRICPR-2010-OudaTN
Tokenless Cancelable Biometrics Scheme for Protecting Iris Codes (OO, NT, TN), pp. 882–885.
ICPRICPR-2010-RantosonSFM #3d #metric #using
Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPRICPR-2010-TsaiHTC #detection #pipes and filters #predict #scalability #using
Learning-Based Vehicle Detection Using Up-Scaling Schemes and Predictive Frame Pipeline Structures (YMT, KYH, CCT, LGC), pp. 3101–3104.
ICPRICPR-2010-VeillardLR #image #scalability
An Exploration Scheme for Large Images: Application to Breast Cancer Grading (AV, NL, DR), pp. 3472–3475.
ICPRICPR-2010-WangYLZLCT #distance #novel
A Novel Fingerprint Template Protection Scheme Based on Distance Projection Coding (RW, XY, XL, SZ, PL, KC, JT), pp. 886–889.
KEODKEOD-2010-NirenburgMBC #elicitation #hybrid
Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.
KMISKMIS-2010-KadhemAK #database #encryption #order #performance #relational
A Secure and Efficient Order Preserving Encryption Scheme for Relational Databases (HK, TA, HK), pp. 25–35.
POPLPOPL-2010-KobayashiTU #higher-order #multi #recursion #transducer #verification
Higher-order multi-parameter tree transducers and recursion schemes for program verification (NK, NT, HU), pp. 495–508.
SACSAC-2010-ConceicaoPC #clustering #novel
A novel stable and low-maintenance clustering scheme (LC, DP, MC), pp. 699–705.
SACSAC-2010-KharaMS
An improved WLAN-first access scheme for UMTS/WLAN integrated system (SK, ISM, DS), pp. 630–634.
SACSAC-2010-KimJJ
Dynamic register-renaming scheme for reducing power-density and temperature (JK, STJ, CSJ), pp. 231–237.
SACSAC-2010-LenzLS #named #network #streaming #video
SeRViSO: a selective retransmission scheme for video streaming in overlay networks (CEL, LCL, FAS), pp. 694–698.
SACSAC-2010-LiuCGT #energy #mobile #performance
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
LCTESLCTES-2010-LiZ #embedded #mobile #performance
An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
LICSLICS-2010-BroadbentCOS #logic #recursion
Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
ICSTSAT-2010-LonsingB #dependence #search-based
Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.
CASECASE-2009-BiradarM #approach #multi #reliability
Reliable ring based multicast routing scheme in MANET: An agent based approach (RCB, SSM), pp. 507–512.
CASECASE-2009-FanL #effectiveness #ranking
A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services (CMF, YPL), pp. 427–432.
CASECASE-2009-WuCLZCH
Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DACDAC-2009-HuLA #approximate #polynomial
A fully polynomial time approximation scheme for timing driven minimum cost buffer insertion (SH, ZL, CJA), pp. 424–429.
DATEDATE-2009-DiemerE #quality
A link arbitration scheme for quality of service in a latency-optimized network-on-chip (JD, RE), pp. 574–577.
DATEDATE-2009-YangCKT #approximate #energy #multi #realtime #scheduling
An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems (CYY, JJC, TWK, LT), pp. 694–699.
DATEDATE-2009-YanHL #detection #fault #online
A unified online Fault Detection scheme via checking of Stability Violation (GY, YH, XL), pp. 496–501.
SIGMODSIGMOD-2009-JinXRF #named #query #reachability
3-HOP: a high-compression indexing scheme for reachability query (RJ, YX, NR, DF), pp. 813–826.
SIGMODSIGMOD-2009-XuLWB #named #xml
DDE: from dewey to a fully dynamic XML labeling scheme (LX, TWL, HW, ZB), pp. 719–730.
FoSSaCSFoSSaCS-2009-BroadbentO #higher-order #model checking #on the #recursion
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (CHB, CHLO), pp. 107–121.
STOCSTOC-2009-KarpinskiS #approximate #game studies #linear #problem
Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems (MK, WS), pp. 313–322.
ICALPICALP-v1-2009-KobayashiGNR #communication #network #quantum
General Scheme for Perfect Quantum Network Coding with Free Classical Communication (HK, FLG, HN, MR), pp. 622–633.
ICALPICALP-v2-2009-KobayashiO #calculus #complexity #model checking #recursion #μ-calculus
Complexity of Model Checking Recursion Schemes for Fragments of the Modal μ-Calculus (NK, CHLO), pp. 223–234.
HCIHCI-AUII-2009-NestlerTK #interactive #interface
Common Interaction Schemes for In-Vehicle User-Interfaces (SN, MT, GK), pp. 159–168.
HCIHIMI-DIE-2009-ShinPC #bound #detection
Virtual Convex Polygon Based Hole Boundary Detection and Time Delay Based Hole Detour Scheme in WSNs (IS, NDP, HC), pp. 619–627.
ICEISICEIS-SAIC-2009-BalzanoSL #ajax #collaboration #realtime #web
A Scheme of Strategies for Real-time Web Collaboration based on AJAX/Comet Techniques for Live RIA (WB, MRDS, LDL), pp. 35–40.
CIKMCIKM-2009-BatalH #classification #using
Boosting KNN text classification accuracy by using supervised term weighting schemes (IB, MH), pp. 2041–2044.
MLDMMLDM-2009-RiesenB #difference #graph #prototype #reduction #using
Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
PADLPADL-2009-GuzmanCH #execution #program transformation #towards
Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
POPLPOPL-2009-Kobayashi #higher-order #recursion #source code #verification
Types and higher-order recursion schemes for verification of higher-order programs (NK), pp. 416–428.
SACSAC-2009-ChenJ #evolution
A gradient oriented recombination scheme for evolution strategies (HC, GJ), pp. 1080–1084.
SACSAC-2009-CipciganR #difference #equation #probability
Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
SACSAC-2009-KangGC #predict #scalability
A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
SACSAC-2009-KrajcaV #formal method #implementation #parallel #performance
Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SACSAC-2009-ParkKLKK #network #realtime #using
A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks (HP, MK, SL, SK, YK), pp. 196–200.
SACSAC-2009-YiMCKJ #named #network
Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.
SLESLE-2009-Bagge
Yet Another Language Extension Scheme (AHB), pp. 123–132.
CGOCGO-2009-CollinB #embedded #taxonomy
Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications (MC, MB), pp. 231–242.
PPoPPPPoPP-2009-SonKKC #multi
A compiler-directed data prefetching scheme for chip multiprocessors (SWS, MTK, MK, DRC), pp. 209–218.
LICSLICS-2009-KobayashiO #calculus #higher-order #model checking #recursion #type system #μ-calculus
A Type System Equivalent to the Modal μ-Calculus Model Checking of Higher-Order Recursion Schemes (NK, CHLO), pp. 179–188.
CASECASE-2008-WuCZLC
Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.
DACDAC-2008-KurimotoSAYOTS #detection #fault #optimisation #scalability
Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling (MK, HS, RA, TY, HO, HT, HS), pp. 884–889.
DATEDATE-2008-CorderoK #using
Clock Distribution Scheme using Coplanar Transmission Lines (VHCC, SPK), pp. 985–990.
DATEDATE-2008-FranchinoBF #protocol
Time Properties of the BuST Protocol under the NPA Budget Allocation Scheme (GF, GCB, TF), pp. 1051–1056.
DATEDATE-2008-KwonHYMCE #communication
An Open-Loop Flow Control Scheme Based on the Accurate Global Information of On-Chip Communication (WCK, SMH, SY, BM, KMC, SKE), pp. 1244–1249.
DATEDATE-2008-WolffPBC #analysis #detection #problem #towards
Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme (FGW, CAP, SB, RSC), pp. 1362–1365.
SIGMODSIGMOD-2008-LeeC #performance #query #using
Efficient storage scheme and query processing for supply chain management using RFID (CHL, CWC), pp. 291–302.
VLDBVLDB-2008-SansL #xml
Prefix based numbering schemes for XML: techniques, applications and performances (VS, DL), pp. 1564–1573.
ICALPICALP-A-2008-PoratR #adaptation #combinator #testing
Explicit Non-adaptive Combinatorial Group Testing Schemes (EP, AR), pp. 748–759.
ICALPICALP-C-2008-JareckiL #authentication #multi #performance
Affiliation-Hiding Envelope and Authentication Schemes with Efficient Support for Multiple Credentials (SJ, XL), pp. 715–726.
ICEISICEIS-ISAS1-2008-MoralesTPA #communication #composition #concept #model checking #verification
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.
CIKMCIKM-2008-BaiL #database
A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems (KB, PL), pp. 1403–1404.
CIKMCIKM-2008-TsengSC #abstraction #detection #email #novel
A novel email abstraction scheme for spam detection (CYT, PCS, MSC), pp. 1393–1394.
ICMLICML-2008-RavikumarAW #convergence #linear #message passing #source code
Message-passing for graph-structured linear programs: proximal projections, convergence and rounding schemes (PDR, AA, MJW), pp. 800–807.
ICPRICPR-2008-KoSB #testing
A new HMM training and testing scheme (AHRK, RS, AdSBJ), pp. 1–4.
ICPRICPR-2008-SerCY #classification #hybrid #recognition #speech
A Hybrid PNN-GMM classification scheme for speech emotion recognition (WS, LC, ZLY), pp. 1–4.
KDDKDD-2008-XiangJFD #database #summary #transaction
Succinct summarization of transactional databases: an overlapped hyperrectangle scheme (YX, RJ, DF, FFD), pp. 758–766.
SEKESEKE-2008-Neruda #ontology #search-based
Ontology-based and Evolutionary Search for Computational Agents Schemes (RN), pp. 569–572.
PPDPPPDP-2008-MoralesCH #automaton #generative #using
Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
POPLPOPL-2008-Tobin-HochstadtF #design #implementation
The design and implementation of typed scheme (STH, MF), pp. 395–406.
SACSAC-2008-ChangC #self
A self-balancing striping scheme for NAND-flash storage systems (YBC, LPC), pp. 1715–1719.
SACSAC-2008-LeePSK #performance
A group management scheme for an efficient location-based service (JL, GLP, COS, SWK), pp. 1705–1709.
SACSAC-2008-LiG #detection #network #optimisation #using
TCM-KNN scheme for network anomaly detection using feature-based optimizations (YL, LG), pp. 2103–2109.
SACSAC-2008-LiJS #coordination #distributed #simulation
Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SACSAC-2008-SchiabelSA #detection #image #segmentation
Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes (HS, VTS, MFA), pp. 1333–1337.
SACSAC-2008-TsujiKH #implementation #multi #scalability #set
History offset implementation scheme for large scale multidimensional data sets (TT, MK, KH), pp. 1021–1028.
SACSAC-2008-WeiMZL #network #realtime
A bandwidth management scheme support for real-time applications in wireless mesh networks (YW, RM, TZ, XL), pp. 2063–2068.
ICSEICSE-2008-LanzaMRLB #approach #java #programming #smalltalk
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java (ML, ALM, RR, ML, PB), pp. 787–790.
ICLPICLP-2008-GuzmanCH #execution #program transformation #sketching
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
LICSLICS-2008-HagueMOS #automaton #recursion
Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
ASEASE-2007-ChenH #adaptation #evaluation
An evaluation scheme of adaptive configuration techniques (HC, SH), pp. 493–496.
CASECASE-2007-ChengHK #development
Development of a Dual-Phase Virtual Metrology Scheme (FTC, HCH, CAK), pp. 270–275.
CASECASE-2007-ZhangBGL #feature model #hybrid #monitoring
A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring (KZ, ADB, FG, YL), pp. 424–429.
DACDAC-2007-XueOK #parallel
A Memory-Conscious Code Parallelization Scheme (LX, ÖÖ, MTK), pp. 230–233.
DATEDATE-2007-ChangLR #performance #using
Improve CAM power efficiency using decoupled match line scheme (YJC, YHL, SJR), pp. 165–170.
DATEDATE-2007-ErdoganO #analysis #using
An ADC-BiST scheme using sequential code analysis (ESE, SO), pp. 713–718.
DATEDATE-2007-MondalRKRLVM #3d #robust
Thermally robust clocking schemes for 3D integrated circuits (MM, AJR, SK, TR, GML, NV, YM), pp. 1206–1211.
DATEDATE-2007-WangWC
Unknown blocking scheme for low control data volume and high observability (SW, WW, STC), pp. 33–38.
ICDARICDAR-2007-BhattacharyaGP07a #recognition
A Two Stage Recognition Scheme for Handwritten Tamil Characters (UB, SKG, SKP), pp. 511–515.
ICDARICDAR-2007-ChandaTP #identification
SVM Based Scheme for Thai and English Script Identification (SC, ORT, UP), pp. 551–555.
ICDARICDAR-2007-GazzahA #analysis #identification #using
Arabic Handwriting Texture Analysis for Writer Identification Using the DWT-Lifting Scheme (SG, NEBA), pp. 1133–1137.
ICDARICDAR-2007-SundaramR #classification #novel #online #recognition
A Novel Hierarchical Classification Scheme for Online Tamil Character Recognition (SS, AR), pp. 1218–1222.
ICDARICDAR-2007-VamvakasGPS #feature model #performance #recognition #reduction
An Efficient Feature Extraction and Dimensionality Reduction Scheme for Isolated Greek Handwritten Character Recognition (GV, BG, SP, NS), pp. 1073–1077.
WRLAWRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming
A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
ESOPESOP-2007-DreyerB #composition #source code
Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.
TACASTACAS-2007-CortierKS #analysis #automation #security
Automatic Analysis of the Security of XOR-Based Key Management Schemes (VC, GK, GS), pp. 538–552.
ICALPICALP-2007-KapronMS
A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
ICALPICALP-2007-Korman
Labeling Schemes for Vertex Connectivity (AK), pp. 102–109.
ICFPICFP-2007-WelshG #case study #development #experience #web
Experience report: scheme in commercial web application development (NW, DG), pp. 153–156.
IFLIFL-2007-Feeley #c #compilation
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
HCIDHM-2007-FanC #adaptation #using
A Modified Particle Swarm Optimizer Using an Adaptive Dynamic Weight Scheme (SKSF, JMC), pp. 56–65.
HCIHCI-AS-2007-WeiXL #multi #named #performance
Stripe-Cache: An Efficient Cache Scheme for Building Multimedia Oriented RAID System (QW, CX, XL), pp. 1130–1139.
HCIHCI-IPT-2007-ChoiY #multi #named #network
MKPS: A Multi-level Key Pre-distribution Scheme for Secure Wireless Sensor Networks (SJC, HYY), pp. 808–817.
ICEISICEIS-DISI-2007-AntoniouGA #documentation #enterprise
Doing things right or doing the right things? Proposing a documentation scheme for small to medium enterprises (JA, PG, ASA), pp. 408–414.
CIKMCIKM-2007-TanWTC #analysis #novel #problem #sentiment
A novel scheme for domain-transfer problem in the context of sentiment analysis (ST, GW, HT, XC), pp. 979–982.
ECIRECIR-2007-MelucciP #case study #information retrieval #network #peer-to-peer
A Study of a Weighting Scheme for Information Retrieval in Hierarchical Peer-to-Peer Networks (MM, AP), pp. 136–147.
MLDMMLDM-2007-YuZWZ #3d #image #retrieval
A Filter-Refinement Scheme for 3D Model Retrieval Based on Sorted Extended Gaussian Image Histogram (ZY, SZ, HSW, JZ), pp. 643–652.
SEKESEKE-2007-CoxZO #data transfer
A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers (SEC, DZ, JO), p. 274–?.
SACSAC-2007-DjemaielB
A global marking scheme for tracing cyber attacks (YD, NB), pp. 170–174.
SACSAC-2007-HwangPJ #analysis #implementation #performance
An implementation and performance analysis of slave-side arbitration schemes for the ML-AHB BusMatrix (SYH, HJP, KSJ), pp. 1545–1551.
SACSAC-2007-LeeKS #network #scheduling
A fair scheduling scheme for a time-sensitive traffic over the dual-channel wireless network (JL, MK, AS), pp. 1131–1135.
SACSAC-2007-MengC #adaptation #configuration management #database #sequence
An adaptive data prefetching scheme for biosequence database search on reconfigurable platforms (XM, VC), pp. 140–141.
SACSAC-2007-NazKOF #configuration management #embedded #novel
Reconfigurable split data caches: a novel scheme for embedded systems (AN, KMK, JHO, PF), pp. 707–712.
CCCC-2007-ShyamG #architecture #array #energy #memory management #reduction
An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
HPCAHPCA-2007-DybdahlS #adaptation #clustering #multi
An Adaptive Shared/Private NUCA Cache Partitioning Scheme for Chip Multiprocessors (HD, PS), pp. 2–12.
HPDCHPDC-2007-ImranRLL #coordination #grid #mobile
A proxy-based uncoordinated checkpointing scheme with pessimistic message logging for mobile grid systems (NI, IR, YKL, SL), pp. 237–238.
LCTESLCTES-2007-InSK #memory management #named
SWL: a search-while-load demand paging scheme with NAND flash memory (JI, IS, HK), pp. 217–226.
ICSTSAT-2007-PipatsrisawatD #component #lightweight #satisfiability
A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
DACDAC-2006-HattoriIIYKSYNYKTHAHTSMYHMYHTYIKMYITAAO #mobile #power management
Hierarchical power distribution and power management scheme for a single chip mobile processor (TH, TI, MI, EY, HK, GS, TY, KN, HY, TK, YT, MH, HA, IH, KT, YS, NM, YY, TH, YM, KY, KH, ST, SY, TI, YK, HM, TY, NI, RT, NA, TA, KO), pp. 292–295.
DATEDATE-2006-LeeKKCY #adaptation #using
A network-on-chip with 3Gbps/wire serialized on-chip interconnect using adaptive control schemes (SJL, KK, HK, NC, HJY), pp. 79–80.
DATEDATE-2006-TsengLC #2d #using
A built-in redundancy-analysis scheme for RAMs with 2D redundancy using 1D local bitmap (TWT, JFL, DMC), pp. 53–58.
PODSPODS-2006-LeeT #performance
A simpler and more efficient deterministic scheme for finding frequent items over sliding windows (LKL, HFT), pp. 290–297.
ITiCSEITiCSE-2006-RauchasSK #education #experience #programming
The effect of prior programming experience in a scheme-based breadth-first curriculum at wits (SR, IDS, BK), p. 326.
ICPCICPC-2006-KellyB #analysis #taxonomy
A Context-Aware Analysis Scheme for Bloom’s Taxonomy (TK, JB), pp. 275–284.
STOCSTOC-2006-FleischerKLS #multi #probability
Simple cost sharing schemes for multicommodity rent-or-buy and stochastic Steiner tree (LF, JK, SL, GS), pp. 663–670.
STOCSTOC-2006-RemyS #approximate
A quasi-polynomial time approximation scheme for minimum weight triangulation (JR, AS), pp. 316–325.
ICALPICALP-v1-2006-KormanP #graph
Dynamic Routing Schemes for General Graphs (AK, DP), pp. 619–630.
ICALPICALP-v2-2006-FouquePSZ
Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffie-Hellman Schemes (PAF, DP, JS, SZ), pp. 240–251.
ICFPICFP-2006-Dybvig #development
The development of Chez Scheme (RKD), pp. 1–12.
EDOCEDOC-2006-ZuoLW #fault tolerance #transaction
A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.
ICEISICEIS-J-2006-Leukel06a #approach #classification #data transformation
Controlling Property Growth in Product Classification Schemes: A Data Management Approach (JL), pp. 363–374.
ICEISICEIS-SAIC-2006-Leukel #classification #library #maintenance
Maintaining Property Libraries in Product Classification Schemes (JL), pp. 3–10.
CIKMCIKM-2006-AlyPC #named #network
KDDCS: a load-balanced in-network data-centric storage scheme for sensor networks (MA, KP, PKC), pp. 317–326.
ICPRICPR-v2-2006-LuXL #hybrid #recognition
A Hybrid Recognition Scheme Based on Partially Labeled SOM and MLP (SL, CX, YL), pp. 800–803.
ICPRICPR-v2-2006-SuH #novel
A Novel Caption Extraction Scheme for Various Sports Captions (YMS, CHH), pp. 1054–1057.
ICPRICPR-v3-2006-AbdallahHB #composition #image #performance #robust #using
A robust block-based image watermarking scheme using fast Hadamard transform and singular value decomposition (EEA, ABH, PB), pp. 673–676.
ICPRICPR-v3-2006-BaigBK #distributed #network #pattern matching #pattern recognition #recognition
A Pattern Recognition Scheme for Distributed Denial of Service (DDoS) Attacks in Wireless Sensor Networks (ZAB, MB, AIK), pp. 1050–1054.
ICPRICPR-v3-2006-CharoentamPJ #image #multi #problem #robust
A Robust Region-Based Multiscale Image Fusion Scheme for Mis-Registration Problem of Thermal and Visible Images (OC, VP, SJ), pp. 669–672.
ICPRICPR-v3-2006-XuanCZYHSF #analysis #classification #component #novel
A Novel Pattern Classification Scheme: Classwise Non-Principal Component Analysis (CNPCA) (GX, PC, XZ, QY, CH, YQS, DF), pp. 320–323.
ICPRICPR-v3-2006-ZhangY #image #multi #using
Multiple Regions of Interest Image Coding using Compensation Scheme and Alternating Shift (LbZ, XY), pp. 758–761.
ICPRICPR-v4-2006-FengFCS #novel
A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility (YF, JF, XC, ZS), pp. 374–377.
ICPRICPR-v4-2006-LienY #performance #predict #using
A Fast Mode Decision Method for H.264/AVC Using the Spatial-Temporal Prediction Scheme (CCL, CPY), pp. 334–337.
ICPRICPR-v4-2006-NagarC #design #fuzzy #symmetry #using
Biometrics based Asymmetric Cryptosystem Design Using Modified Fuzzy Vault Scheme (AN, SC), pp. 537–540.
ICPRICPR-v4-2006-XieZH #security
NDFT-based Audio Watermarking Scheme with High Security (LX, JZ, HH), pp. 270–273.
KDDKDD-2006-CarvalhoC #feature model #learning #online #performance
Single-pass online learning: performance, voting schemes and online feature selection (VRC, WWC), pp. 548–553.
SEKESEKE-2006-HungL #data mining #mining #performance #using
Using Data Mining Schemes for Improvement on System Performance in Virtual Environments (SSH, DSML), pp. 61–66.
ECMFAECMDA-FA-2006-BezivinBFGJKKP #canonical #composition
A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.
SACSAC-2006-GraillatLL #multi
Improving the compensated Horner scheme with a fused multiply and add (SG, PL, NL), pp. 1323–1327.
SACSAC-2006-ItoOMK #adaptation #network #peer-to-peer #reliability #retrieval
An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks (AI, TO, KM, YK), pp. 697–704.
SACSAC-2006-MadhukarA #adaptation #database #energy #mobile #performance
An adaptive energy efficient cache invalidation scheme for mobile databases (AM, RA), pp. 1122–1126.
SACSAC-2006-VenkateswaranS
Schemes for SR-Tree packing (JV, SRS), pp. 73–77.
LICSLICS-2006-DawarGKS #approximate #first-order #optimisation #problem
Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
LICSLICS-2006-Ong #higher-order #model checking #on the #recursion
On Model-Checking Trees Generated by Higher-Order Recursion Schemes (CHLO), pp. 81–90.
DACDAC-2005-JayakumarDK #monitoring #self
A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.
DATEDATE-2005-BodeanBL #ram #self
New Schemes for Self-Testing RAM (GB, DB, AL), pp. 858–859.
DATEDATE-2005-LeeCALK #hardware #predict #transaction
A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation (JGL, MKC, KYA, SHL, CMK), pp. 384–389.
DATEDATE-2005-LiTW #embedded #performance
An Efficient Transparent Test Scheme for Embedded Word-Oriented Memories (JFL, TWT, CLW), pp. 574–579.
DATEDATE-2005-LiuPP #hybrid #named #performance #power management
RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power (XL, YP, MCP), pp. 1330–1335.
DATEDATE-2005-WangWI #distributed #embedded #performance
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
ICDARICDAR-2005-LiuD #classification #multi #polynomial #recognition #using
Handwritten Character Recognition Using Gradient Feature and Quadratic Classifier with Multiple Discrimination Schemes (HL, XD), pp. 19–25.
ICDARICDAR-2005-MozaffariFZ #encoding #recognition #representation #using
Character Representation and Recognition Using Quadtree-based Fractal Encoding Scheme (SM, KF, MZ), pp. 819–823.
VLDBVLDB-2005-BarbosaFM #design #information management #xml
Designing Information-Preserving Mapping Schemes for XML (DB, JF, AOM), pp. 109–120.
VLDBVLDB-2005-ChongDES #performance #query #rdf
An Efficient SQL-based RDF Querying Scheme (EIC, SD, GE, JS), pp. 1216–1227.
STOCSTOC-2005-VegaKKV #approximate #composition #constraints #problem
Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
CIAACIAA-2005-Bartha #equivalence
Strong Retiming Equivalence of Synchronous Schemes (MB), pp. 66–77.
ICALPICALP-2005-Fischlin
Completely Non-malleable Schemes (MF), pp. 779–790.
ICALPICALP-2005-HorvitzK #black box #bound #performance
Bounds on the Efficiency of “Black-Box” Commitment Schemes (OH, JK), pp. 128–139.
ICALPICALP-2005-LipmaaWB #security #verification
Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction (HL, GW, FB), pp. 459–471.
CIKMCIKM-2005-CumminsO #evaluation #information retrieval
An evaluation of evolved term-weighting schemes in information retrieval (RC, CO), pp. 305–306.
CIKMCIKM-2005-LiLLY #on the #performance #xml
On reducing redundancy and improving efficiency of XML labeling schemes (CL, TWL, JL, TY), pp. 225–226.
CIKMCIKM-2005-Yeh #bound
An RSA-based time-bound hierarchical key assignment scheme for electronic article subscription (JhY), pp. 285–286.
KDDKDD-2005-ZhangWZ #classification #privacy
A new scheme on privacy-preserving data classification (NZ, SW, WZ), pp. 374–383.
SEKESEKE-2005-FekiMG #approach #integration #multi
A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.
SEKESEKE-2005-NabliFG #adaptation #algebra #data flow #multi #using
Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.
SACSAC-2005-AnshulR #identification #network
A ZKP-based identification scheme for base nodes in wireless sensor networks (DA, SR), pp. 319–323.
HPDCHPDC-2005-AnandS #algorithm #automation #clustering #search-based
Genetic algorithm based automatic data partitioning scheme for HPF (SKA, YNS), pp. 289–290.
HPDCHPDC-2005-ChenCTAC #resource management #scalability
DHT overlay schemes for scalable p-range resource discovery (LC, KSC, JT, DA, DC), pp. 297–298.
HPDCHPDC-2005-LuJ #design #distributed #effectiveness #evaluation #multi
Design and evaluation of a new and effective fairness scheme for multicasting in Internet-scale distributed systems (YL, HJ), pp. 285–286.
LCTESLCTES-2005-XuL
A sample-based cache mapping scheme (RX, ZL), pp. 166–174.
TLCATLCA-2005-AehligMO #decidability #higher-order #monad #recursion
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.
DACDAC-2004-WongBK #performance #reduction
Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.
DATEDATE-v1-2004-ChenG #adaptation #bias #low cost #performance #power management #reduction
A Low Cost Individual-Well Adaptive Body Bias (IWABB) Scheme for Leakage Power Reduction and Performance Enhancement in the Presence of Intra-Die Variations (TWC, JG), pp. 240–245.
DATEDATE-v1-2004-WongT #configuration management #encoding #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.
DATEDATE-v2-2004-PhillipsS #reduction
Poor Man’s TBR: A Simple Model Reduction Scheme (JRP, LMS), pp. 938–943.
SIGMODSIGMOD-2004-HaasK #database
A Bi-Level Bernoulli Scheme for Database Sampling (PJH, CK), pp. 275–286.
ITiCSEITiCSE-2004-VeenML #education #question #what
What is lacking in curriculum schemes for computing/informatics? (MvV, FM, KL), pp. 186–190.
CIAACIAA-2004-GiraudL #automaton #encoding #finite #linear
Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
ICALPICALP-2004-BlundoDS #bound #self
Definitions and Bounds for Self-Healing Key Distribution Schemes (CB, PD, ADS), pp. 234–245.
CIKMCIKM-2004-HuangOM #category theory #clustering #difference
Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
CIKMCIKM-2004-PisharathCK #database #energy
Energy management schemes for memory-resident database systems (JP, ANC, MTK), pp. 218–227.
ICPRICPR-v1-2004-KongZ #verification
Competitive Coding Scheme for Palmprint Verification (AWKK, DZ), pp. 520–523.
ICPRICPR-v1-2004-ZhaoG #multi #recognition
Multiblock-Fusion Scheme for Face Recognition (SZ, RRG), pp. 309–312.
ICPRICPR-v2-2004-DengC #image #implementation #segmentation #using
Unsupervised Image Segmentation Using A Simple MRF Model with A New Implementation Scheme (HD, DAC), pp. 691–694.
ICPRICPR-v2-2004-TremblaisA #algorithm #detection #multi #performance
A Fast Multiscale Edge Detection Algorithm Based on a New Edge Preserving PDE Resolution Scheme (BT, BA), pp. 811–814.
ICPRICPR-v3-2004-NakaiTHOO #detection
A Practical Stereo Scheme for Obstacle Detection in Automotive Use (HN, NT, HH, YO, KO), pp. 346–350.
ICPRICPR-v4-2004-MaityK #image #using
An Image Watermarking Scheme using HVS Characteristics and Spread Transform (SPM, MKK), pp. 869–872.
ICPRICPR-v4-2004-QiuMHHS #hybrid #video
A Hybrid Watermarking Scheme for H.264/AVC Video (GQ, PM, ATSH, DH, QS), pp. 865–869.
ICPRICPR-v4-2004-YuanL #dependence #nondeterminism
Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
KDDKDD-2004-YeJL #image #named #performance #reduction #retrieval
GPCA: an efficient dimension reduction scheme for image compression and retrieval (JY, RJ, QL), pp. 354–363.
SIGIRSIGIR-2004-JinCS #automation #collaboration
An automatic weighting scheme for collaborative filtering (RJ, JYC, LS), pp. 337–344.
PPDPPPDP-2004-SerranoBS #thread
Scheme fair threads (MS, FB, BPS), pp. 203–214.
SACSAC-2004-ChangK #performance #scalability
An efficient management scheme for large-scale flash-memory storage systems (LPC, TWK), pp. 862–868.
SACSAC-2004-HeZ
A new signature scheme: joint-signature (LSH, NZ), pp. 807–812.
SACSAC-2004-KarabudakHB #algorithm #search-based #using
A call admission control scheme using genetic algorithms (DK, CCH, BB), pp. 1151–1158.
CGOCGO-2004-DingL #compilation #reuse
A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
HPCAHPCA-2004-KimL #comprehension #scheduling
Understanding Scheduling Replay Schemes (IK, MHL), pp. 198–209.
DATEDATE-2003-CorsiMM #approach #classification #pseudo #random testing #testing
An Approach to the Classification of Mixed-Signal Circuits in a Pseudorandom Testing Scheme (FC, CM, GM), pp. 11178–11179.
DATEDATE-2003-LvHLW #encoding
Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses (TL, JH, HL, WW), pp. 10542–10549.
HTHT-2003-SugiyamaHYU #refinement #using #web
Refinement of TF-IDF schemes for web pages using their hyperlinked neighboring pages (KS, KH, MY, SU), pp. 198–207.
ICDARICDAR-2003-BhattacharyaC #multi #recognition
A Majority Voting Scheme for Multiresolution Recognition of Handprinted Numerals (UB, BBC), pp. 16–20.
ICDARICDAR-2003-Hilaire #algorithm #evaluation #performance
A Matching Scheme to Enhance Performance Evaluation of Raster-to-Vector Conversion Algorithms (XH), pp. 629–633.
ICDARICDAR-2003-HoqueSF #approach #classification #multi #performance #recognition
A New Chain-code Quantization Approach Enabling High Performance Handwriting Recognition based on Multi-Classifier Schemes (SH, KS, MCF), pp. 834–838.
SIGMODSIGMOD-2003-PadmanabhanBMCH #clustering #layout #multi
Multi-Dimensional Clustering: A New Data Layout Scheme in DB2 (SP, BB, TM, LC, MH), pp. 637–641.
SIGMODSIGMOD-2003-ShenNSHS #database #image #named #novel #performance #reduction #scalability
CMVF: A Novel Dimension Reduction Scheme for Efficient Indexing in A Large Image Database (JS, AHHN, JS, DQH, QZS), p. 657.
VLDBVLDB-2003-TengCY #data type #mining
A Regression-Based Temporal Pattern Mining Scheme for Data Streams (WGT, MSC, PSY), pp. 93–104.
STOCSTOC-2003-DamgardG #reuse
Non-interactive and reusable non-malleable commitment schemes (ID, JG), pp. 426–437.
STOCSTOC-2003-GennaroGK #bound #encryption #performance
Lower bounds on the efficiency of encryption and digital signature schemes (RG, YG, JK), pp. 417–425.
STOCSTOC-2003-VegaKKR #approximate #clustering #problem
Approximation schemes for clustering problems (WFdlV, MK, CK, YR), pp. 50–58.
ICALPICALP-2003-AroraC #approximate #problem #strict
Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem (SA, KLC), pp. 176–188.
ICALPICALP-2003-KormanP
Labeling Schemes for Weighted Dynamic Trees (AK, DP), pp. 369–383.
CAiSECAiSE-2003-BenatallahMNSPM #adaptation #documentation
An Adaptive Document Version Management Scheme (BB, MM, PN, QZS, LP, BM), pp. 46–62.
ICEISICEIS-v3-2003-AndreouZP #3d #component #development #elicitation #requirements
A Three-Dimensional Requirements Elicitation and Management Decision-Making Scheme for the Development of New Software Components (ASA, ACZ, GAP), pp. 3–13.
ECIRECIR-2003-MartinetOCM
A Weighting Scheme for Star-Graphs (JM, IO, YC, PM), pp. 546–554.
MLDMMLDM-2003-DehmeshkiKC #rule-based #set
A Rule-Based Scheme for Filtering Examples from Majority Class in an Imbalanced Training Set (JD, MK, MVC), pp. 215–223.
SACSAC-2003-AnaneA #implementation
Implementation of a Proactive Load Sharing Scheme (RA, RJA), pp. 1038–1045.
SACSAC-2003-MarkWC #automation #code generation
Automatic Code Generation for a Convection Scheme (PvdM, LW, GC), pp. 1003–1008.
SACSAC-2003-TraoreK #collaboration
A Protection Scheme for Collaborative Environments (IT, SK), pp. 331–337.
DACDAC-2002-KayCM #embedded
Embedded test control schemes for compression in SOCs (DK, SC, SM), pp. 679–684.
DACDAC-2002-LiouWCDMKW #fault #multi #performance #testing #using
Enhancing test efficiency for delay fault testing using multiple-clocked schemes (JJL, LCW, KTC, JD, MRM, RK, TWW), pp. 371–374.
DATEDATE-2002-KimR #power management #reduction #scalability
Dynamic VTH Scaling Scheme for Active Leakage Power Reduction (CHK, KR), pp. 163–167.
DATEDATE-2002-LiHCSWCCHL #design
A Hierarchical Test Scheme for System-On-Chip Designs (JFL, HJH, JBC, CPS, CWW, CC, SIC, CYH, HPL), pp. 486–490.
DATEDATE-2002-LinLC #feedback #performance
An Efficient Test and Diagnosis Scheme for the Feedback Type of Analog Circuits with Minimal Added Circuits (JWL, CLL, JEC), p. 1119.
DATEDATE-2002-LiuCG #identification
An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.
DATEDATE-2002-LvWHL #adaptation #encoding #taxonomy
An Adaptive Dictionary Encoding Scheme for SOC Data Buses (TL, WW, JH, HL), pp. 1059–1064.
DATEDATE-2002-MetraSRF #online #power management #self #testing
Self-Checking Scheme for the On-Line Testing of Power Supply Noise (CM, LS, BR, MF), pp. 832–836.
DATEDATE-2002-StanP
The Selective Pull-Up (SP) Noise Immunity Scheme for Dynamic Circuits (MRS, AP), p. 1106.
ITiCSEITiCSE-2002-MeisaloSTS #design #evaluation
Formative evaluation scheme for a web-based course design (VM, JS, ST, ES), pp. 130–134.
STOCSTOC-2002-ChekuriK #approximate
Approximation schemes for preemptive weighted flow time (CC, SK), pp. 297–305.
ICALPICALP-2002-CzumajLZ #approximate #design #network #polynomial #problem
Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem (AC, AL, HZ), pp. 973–984.
ICFPICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine
Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
ICEISICEIS-2002-ChouT
Predicate-Based Caching Scheme for Wireless Environments (PLC, ZT), pp. 57–64.
CIKMCIKM-2002-SungZP #database #performance #scalability
A fast filtering scheme for large database cleansing (SYS, ZL, SP), pp. 76–83.
ICPRICPR-v1-2002-DengT #novel #recognition
A Novel Two-Layer PCA/MDA Scheme for Hand Posture Recognition (JD, HTT), pp. 283–286.
ICPRICPR-v2-2002-GuunterB #classification #recognition
A New Combination Scheme for HMM-Based Classififiers and its Application to Handwriting Recognition (SG, HB), pp. 332–337.
ICPRICPR-v2-2002-Han #classification #using
A Supervised Classification Scheme Using Positive Boolean Function (CCH), pp. 100–103.
ICPRICPR-v3-2002-FerriMV #adaptation #comparison #prototype
An Experimental Comparison between Consistency-Based and Adaptive Prototype Replacement Schemes (FJF, RAM, EV), pp. 41–44.
ICPRICPR-v3-2002-HoqueFG #classification #learning #performance
The Effect of the Inhibition-Compensation Learning Scheme on n-tuple Based Classifier Performance (SH, MCF, RMG), pp. 452–455.
ICPRICPR-v3-2002-KimCS #performance #recognition #string
Post-Processing Scheme for Improving Recognition Performance of Touching Handwritten Numeral Strings (KKK, YC, CYS), pp. 327–330.
ICPRICPR-v3-2002-MizunoOTY
Improvement of the Virtual Printing Scheme for Synthesizing Ukiyo-e (SM, MO, JiT, SY), p. 1043–?.
ICPRICPR-v4-2002-ZhangR #clustering #kernel #scalability
A Large Scale Clustering Scheme for Kernel K-Means (RZ, AIR), pp. 289–292.
SIGIRSIGIR-2002-WhiteRJ #documentation #evaluation #ranking #using
Finding relevant documents using top ranking sentences: an evaluation of two alternative schemes (RW, IR, JMJ), pp. 57–64.
PADLPADL-2002-BunusF #debugging #declarative #equation #modelling
A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
SACSAC-2002-HuangHC #adaptation #streaming
A proxy-based adaptive flow control scheme for media streaming (CMH, THH, CKC), pp. 750–754.
SACSAC-2002-KangY #layout #multi
Smoothed fetching: bridging the data layout and transmission schemes in multimedia servers (SK, HYY), pp. 755–760.
HPCAHPCA-2002-MarcuelloG #multi #thread
Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCAHPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
DATEDATE-2001-EspejoEMO #logic #optimisation #reasoning
Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
ICDARICDAR-2001-HaritCGVJ #analysis #documentation #image
A Model Guided Document Image Analysis Scheme (GH, SC, PG, NV, SDJ), pp. 1137–1141.
ICDARICDAR-2001-HasegawaAM #algorithm #online #recognition
A Bayesian Bi-gram Scheme for HMM Online Handwriting Recognition Algorithm (TH, KA, TM), pp. 1012–1016.
ICDARICDAR-2001-HoqueF #classification #learning
An Improved Learning Scheme for the Moving Window Classifier (SH, MCF), pp. 607–611.
ICDARICDAR-2001-KoerichSS #distributed #problem #recognition #scalability #word
A Distributed Scheme for Lexicon-Driven Handwritten Word Recognition and its Application to Large Vocabulary Problems (ALK, RS, CYS), pp. 660–664.
ICDARICDAR-2001-WangCFZ #normalisation #recognition #set
Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.
VLDBVLDB-2001-SundaraHCAS #documentation #framework #using #xml
Developing an Indexing Scheme for XML Document Collection using the Oracle8i Extensibility Framework (SS, YH, TC, NA, JS), pp. 701–702.
TACASTACAS-2001-Khurshid #algorithm #search-based #testing #using
Testing an Intentional Naming Scheme Using Genetic Algorithms (SK), pp. 358–372.
IFLIFL-2001-Kreye #array #compilation
A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
ICEISICEIS-v2-2001-MorilloFD #analysis #named
RSHP: A Scheme to Classify Information in a Domain Analysis Environment (JLM, JMF, ID), pp. 686–690.
SIGIRSIGIR-2001-JinFH #automation #information retrieval #named
Meta-scoring: Automatically Evaluating Term Weighting Schemes in IR without Precision-Recall (RJ, CF, AGH), pp. 83–89.
TOOLSTOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml
Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
LOPSTRLOPSTR-2001-Caldwell #recursion #type system
Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.
SACSAC-2001-AsciaCP #adaptation #fuzzy #performance
An adaptive fuzzy threshold scheme for high performance shared-memory switches (GA, VC, DP), pp. 456–461.
SACSAC-2001-HuangC #evolution
Diversity-based selection pooling scheme in evolution strategies (TYH, YYC), pp. 351–355.
SACSAC-2001-JangCJJ #multi #network #performance
Efficient schemes to scale the interconnection network bandwidth in a ring-based multiprocessor system (BSJ, SWC, STJ, CSJ), pp. 510–516.
SACSAC-2001-LiPJ #analysis
Analysis of dynamic movement-based location update scheme (JL, YP, XJ), pp. 368–372.
ICLPICLP-2001-GuoG #implementation #logic programming #order
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives (HFG, GG), pp. 181–196.
ASEASE-2000-KhurshidJ #automation #constraints #design
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
DATEDATE-2000-HuangOC #testing
A BIST Scheme for On-Chip ADC and DAC Testing (JLH, CKO, KTC), pp. 216–220.
DATEDATE-2000-TsiatouhasHAN #fault #self #testing
A Versatile Built-In Self-Test Scheme for Delay Fault Testing (YT, TH, AA, DN), p. 756.
STOCSTOC-2000-KenyonSY #approximate #polynomial
Polynomial-time approximation scheme for data broadcast (CK, NS, NEY), pp. 659–666.
STOCSTOC-2000-OrlinSS #combinator #optimisation #precise
epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (extended abstract) (JBO, ASS, SS), pp. 565–572.
ICALPICALP-2000-CzumajL #approximate #multi #performance #problem
Fast Approximation Schemes for Euclidean Multi-connectivity Problems (AC, AL), pp. 856–868.
ICALPICALP-2000-JansenP #approximate #multi #scheduling
Polynominal Time Approximation Schemes for General Multiprocessor Job Shop Scheduling (KJ, LP), pp. 878–889.
ICFPICFP-2000-SerranoB #comprehension #memory management #source code
Understanding memory allocation of scheme programs (MS, HJB), pp. 245–256.
ICEISICEIS-2000-FredF #modelling #multi
Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling (ALNF, JF), pp. 132–138.
CIKMCIKM-2000-SakuraiYUK
The Subspace Coding Method: A New Indexing Scheme for High-Dimensional Data (YS, MY, SU, HK), pp. 210–218.
ICMLICML-2000-MunosM #convergence
Rates of Convergence for Variable Resolution Schemes in Optimal Control (RM, AWM), pp. 647–654.
ICPRICPR-v2-2000-Kangas #classification #comparison #nearest neighbour #prototype #representation
Comparison between Two Prototype Representation Schemes for a Nearest Neighbor Classifier (JK), pp. 2773–2776.
ICPRICPR-v2-2000-OliveiraVC #image #normalisation
Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.
ICPRICPR-v2-2000-WangXD #integration #multi #network #recognition
A New Integration Scheme with Multi-Layer Perceptron Networks for Handwritten Chinese Character Recognition (CHW, BX, RD), pp. 2961–2964.
ICPRICPR-v3-2000-FayolleDRC #detection #multi
A Wavelet Based Multiscale Detection Scheme of Feature Points (JF, CD, LR, SC), pp. 3425–3428.
ICPRICPR-v3-2000-ThiemH #design
Biology-Inspired Design of Digital Gabor Filters upon a Hexagonal Sampling Scheme (JT, GH), pp. 3449–3452.
TOOLSTOOLS-ASIA-2000-WuJZ #design #implementation #normalisation #object-oriented #proving
Implementation and Proof for Normalization Design of Object-Oriented Data Schemes (YW, WJ, AZ), pp. 220–229.
SACSAC-2000-MortonT #3d #adaptation #finite
A New 3D Adaptive Finite Element Scheme with l-Irregular Hexahedral Element Meshes (DM, JMT), pp. 99–104.
SACSAC-2000-MustoPP #automation #design #generative #object-oriented
Automatic Generation of RDBMS Based Applications from Object Oriented Design Schemes (AM, GP, AP), pp. 398–402.
SACSAC-2000-ParkY #distributed #lightweight #memory management
A Lightweight Casual Logging Scheme for Recoverable Distributed Shared Memory (TP, HYY), pp. 661–666.
OSDIOSDI-2000-KimCKNMCK
A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.
CADECADE-2000-KapurS #induction
Extending Decision Procedures with Induction Schemes (DK, MS), pp. 324–345.
ICLPCL-2000-BoultonS #automation #induction #recursion
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
CSLCSL-2000-DanosK
Disjunctive Tautologies as Synchronisation Schemes (VD, JLK), pp. 292–301.
ISSTAISSTA-2000-KolanoK #analysis #classification #realtime
Classification schemes to aid in the analysis of real-time systems (PZK, RAK), pp. 86–95.
DACDAC-1999-TsaiCB #quality #using
Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme (HCT, KTC, SB), pp. 748–753.
DATEDATE-1999-MaamarR #adaptation #named #testing
ADOLT — An ADaptable On — Line Testing Scheme for VLSI Circuits (AM, GR), pp. 770–771.
DATEDATE-1999-MansouriV #design #verification
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs (NM, RV), p. 223–?.
HTHT-1999-Vardi #interactive #linear #navigation
Navigation Scheme for Interactive Movies with Linear Narrative (GV), pp. 131–132.
SIGMODSIGMOD-1999-ChanI #encoding #performance #query
An Efficient Bitmap Encoding Scheme for Selection Queries (CYC, YEI), pp. 215–226.
STOCSTOC-1999-AroraK #approximate #latency #problem
Approximation Schemes for Minimum Latency Problems (SA, GK), pp. 688–693.
STOCSTOC-1999-ChenM #approximate #multi #polynomial #scheduling
A Polynomial Time Approximation Scheme for General Multiprocessor Job Scheduling (Extended Abstract) (JC, AM), pp. 418–427.
STOCSTOC-1999-JansenP #approximate #parallel #scheduling
Improved Approximation Schemes for Scheduling Unrelated Parallel Machines (KJ, LP), pp. 408–417.
STOCSTOC-1999-JansenSS #approximate #polynomial
Makespan Minimization in Job Shops: A Polynomial Time Approximation Scheme (KJ, RSO, MS), pp. 394–399.
CIKMCIKM-1999-KimSC #database #image #ranking #representation
Spatial Match Representation Scheme Supporting Ranking in Iconic Images Databases (YJK, CBS, JWC), pp. 450–457.
TOOLSTOOLS-USA-1999-Steckler #interactive #named #tool support
MysterX: A Scheme Toolkit for Building Interactive Applications with COM (PAS), p. 364–?.
GPCEGCSE-1999-Goebl #automation #bibliography #categorisation #programming
A Survey and a Categorization Scheme of Automatic Programming Systems (WG), pp. 1–15.
LOPSTRLOPSTR-1999-MetayerNR #recursion #testing #verification
Verification by Testing for Recursive Program Schemes (DLM, VAN, OR), pp. 255–272.
SACSAC-1999-Al-OmariM #fault tolerance #using
Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme (MAO, MM), pp. 481–485.
CCCC-1999-DebrayMW #source code
Link-Time Improvement of Scheme Programs (SKD, RM, SAW), pp. 76–90.
HPCAHPCA-1999-RheeL #network #scalability
A Scalable Cache Coherent Scheme Exploiting Wormhole Routing Networks (YR, JL), pp. 223–226.
CSLCSL-1999-Stewart #array #quantifier
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.
DACDAC-1998-GhoshJB #analysis #testing
A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis (IG, NKJ, SB), pp. 554–559.
DATEDATE-1998-NouraniP #fault #testing
A Bypass Scheme for Core-Based System Fault Testing (MN, CAP), pp. 979–980.
DATEDATE-1998-PastorC #analysis #encoding #performance #petri net
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
PODSPODS-1998-KoutsoupiasT #2d #bound
Tight Bounds for 2-Dimensional Indexing Schemes (EK, DST), pp. 52–58.
PODSPODS-1998-SamoladasM #bound #multi #query #theorem
A Lower Bound Theorem for Indexing Schemes and Its Application to Multidimensional Range Queries (VS, DPM), pp. 44–51.
FoSSaCSFoSSaCS-1998-AlbayrakN #infinity
The WHILE Hierarchy of Program Schemes Is Infinite (CAA, TN), pp. 35–47.
STOCSTOC-1998-AroraRR #approximate #problem
Approximation Schemes for Euclidean k-Medians and Related Problems (SA, PR, SR), pp. 106–113.
STOCSTOC-1998-GertnerIKM #information retrieval #privacy
Protecting Data Privacy in Private Information Retrieval Schemes (YG, YI, EK, TM), pp. 151–160.
ICALPICALP-1998-CiceroneSF
Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.
ICALPICALP-1998-CzumajL #approximate #polynomial
A Polynomial Time Approximation Scheme for Euclidean Minimum Cost k-Connectivity (AC, AL), pp. 682–694.
ICFPICFP-1998-Kiselyov98b
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation (OK), p. 343.
ICFPICFP-1998-Kiselyov98c #lazy evaluation
A Lazy CGI Namespace in Scheme (OK), p. 349.
CIKMCIKM-1998-PalopoliSU #automation #database #detection
An Automatic Techniques for Detecting Type Conflicts in Database Schemes (LP, DS, DU), pp. 306–313.
CIKMCIKM-1998-PitouraF #mobile #performance
An Efficient Hierarchical Scheme for Locating Highly Mobile Users (EP, IF), pp. 218–225.
ICPRICPR-1998-AricaY #recognition
A new scheme for off-line handwritten connected digit recognition (NA, FTYV), pp. 1127–1129.
ICPRICPR-1998-ZhangFY #classification #composition #modelling #recognition
A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.
PPDPALP-PLILP-1998-FeeleyL #compilation #erlang
Compiling Erlang to Scheme (MF, ML), pp. 300–317.
LOPSTRLOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.
LICSLICS-1998-FriasM #calculus #relational
Completeness of a Relational Calculus for Program Schemes (MFF, RDM), pp. 127–134.
DACDAC-1997-NouraniCP #fault #testing
A Scheme for Integrated Controller-Datapath Fault Testing (MN, JC, CAP), pp. 546–551.
DATEEDTC-1997-AbdullaRK #embedded #multi
A scheme for multiple on-chip signature checking for embedded SRAMs (MFA, CPR, AK), p. 625.
DATEEDTC-1997-FavalliM #testing
Testing scheme for IC’s clocks (MF, CM), pp. 445–449.
PODSPODS-1997-HellersteinKP #analysis #on the
On the Analysis of Indexing Schemes (JMH, EK, CHP), pp. 249–256.
SIGMODSIGMOD-1997-AtzeniT #database #multi #named #semistructured data
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes (PA, RT), pp. 528–531.
STOCSTOC-1997-AsanoKTT #approximate #polynomial #towards
Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.
ICALPICALP-1997-FrankelY #encryption #on the
On Characterization of Escrow Encryption Schemes (YF, MY), pp. 705–715.
CIKMCIKM-1997-ChangKC #database #image #query #representation
A Spatial Match Representation Scheme for Indexing and Querying in Iconic Image Databases (JWC, YJK, KJC), pp. 169–176.
CIKMCIKM-1997-ChungLH #consistency #maintenance
A Contention Based Dynamic Consistency Maintenance Scheme for Client Cache (IC, JL, CSH), pp. 363–370.
CIKMCIKM-1997-LeeM #scheduling #transaction #validation
Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
PPDPPLILP-1997-FindlerFFKF #named #programming
DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.
SACSAC-1997-ChungP #algorithm #problem #question #representation #search-based #why
Why is problem-dependent and high-level representation scheme better in a genetic algorithm? (SC, RP), pp. 239–246.
SACSAC-1997-TsaurHC #approach #authentication #data access #distributed #geometry #using
An authentication-combined access control scheme using a geometric approach in distributed systems (WJT, SJH, CHC), pp. 361–365.
DACDAC-1996-PapachristouSN #design #effectiveness #multi #power management
An Effective Power Management Scheme for RTL Design Based on Multiple Clocks (CAP, MS, MN), pp. 337–342.
SIGMODSIGMOD-1996-FukudaMMT #2d #algorithm #data mining #mining #using #visualisation
Data Mining Using Two-Dimensional Optimized Accociation Rules: Scheme, Algorithms, and Visualization (TF, YM, SM, TT), pp. 13–23.
ICALPICALP-1996-Chen #approximate #graph #problem
Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs (ZZC), pp. 268–279.
ICFPICFP-1996-Moreau #semantics
The Semantics of Scheme with Future (LM), pp. 146–156.
CIKMCIKM-1996-ShinKC #named #performance #query
S-signature: A New Scheme for Efficient Query Processing of Complex Objects in OODB (HS, KK, JWC), pp. 207–214.
ICPRICPR-1996-DuttaM #comparison #performance
Performance comparison of two evolutionary schemes (PD, DDM), pp. 659–663.
ICPRICPR-1996-HeydenR #evaluation #using
Evaluation of corner extraction schemes using invariance methods (AH, KR), pp. 895–899.
ICPRICPR-1996-KashinoH #analysis #integration #music
A music scene analysis system with the MRF-based information integration scheme (KK, NH), pp. 725–729.
ICPRICPR-1996-Muraki #fault #learning #statistics
Error correction scheme augmented with statistical and lexical learning capability, for Japanese OCR (KM), pp. 560–564.
ICPRICPR-1996-OkadaS #analysis
A morphological subtraction scheme for form analysis (MO, MS), pp. 190–194.
ICPRICPR-1996-RebuffelS #estimation #framework #predict
Estimation of depth-from-motion combining iterative prediction scheme and regularization framework (VR, JLS), pp. 466–470.
ICPRICPR-1996-WangFW #recursion
A recursive hierarchical scheme for radical extraction of handwritten Chinese characters (ABW, KCF, WHW), pp. 240–244.
ICPRICPR-1996-ZibulskiZ #component #multi
Signal- and image-component separation by a multi-window Gabor-type scheme (MZ, YYZ), pp. 835–839.
CSLCSL-1996-Malmstrom #approximate #optimisation #problem
Optimization Problems with Approximation Schemes (AM), pp. 316–333.
ICDARICDAR-v1-1995-GyohtenSBKK #multi
Extracting characters and character lines in multi-agent scheme (KG, TS, NB, KK, TK), pp. 305–308.
ICDARICDAR-v2-1995-DeforgesB #detection #documentation #image #multi #performance #robust #segmentation
Segmentation of Complex Documents Multilevel Images: A Robust and Fast Text Bodies-Headers Detection and Extraction Scheme 770 (OD, DB), pp. 770–773.
TFPIEFPLE-1995-HilsdaleADF #compilation #using
Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
STOCSTOC-1995-AroraKK #approximate #np-hard #polynomial #problem
Polynomial time approximation schemes for dense instances of NP-hard problems (SA, DRK, MK), pp. 284–293.
STOCSTOC-1995-DolevKKP #adaptation #named #network #performance
Bubbles: adaptive routing scheme for high-speed dynamic networks (Extended Abstract) (SD, EK, DK, DP), pp. 528–537.
STOCSTOC-1995-Karger #approximate #network #polynomial #problem #random #reliability
A randomized fully polynomial time approximation scheme for the all terminal network reliability problem (DRK), pp. 11–17.
FPCAFPCA-1995-HengleinR #ml #polymorphism #type inference
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.
CIKMCIKM-1995-ParkST #algorithm #concurrent #detection #distributed #generative #graph #hybrid
A Distributed Deadlock Detection and Resolution Algorithm Based on A Hybrid Wait-for Graph and Probe Generation Scheme (YCP, PS, HLT), pp. 378–386.
SIGIRSIGIR-1995-Lee #multi
Combining Multiple Evidence from Different Properties of Weighting Schemes (JHL), pp. 180–188.
SACSAC-1995-AbualiWS #encoding #graph #representation
Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.
ISMMIWMM-1995-SuzukiKT #named #performance #scalability
MOA — A Fast Sliding Compaction Scheme for a Large Storage Space (MS, HK, MT), pp. 197–210.
PPoPPPPoPP-1995-HwangLJ #array #fortran #source code #synthesis
An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs (GHH, JKL, RDCJ), pp. 112–122.
ICLPICLP-1995-FagesFS #constraints #logic programming
A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.
TLCATLCA-1995-Dowek #combinator #comprehension #λ-calculus
λ-calculus, Combinators and the Comprehension Scheme (GD), pp. 154–170.
DATEEDAC-1994-IkedaA
A Reduced-swing Data Transmission Scheme for Resistive Bus Lines in VSLIs (MI, KA), pp. 546–550.
DATEEDAC-1994-RouzeyreDS #component #scheduling #synthesis
Component Selection, Scheduling and Control Schemes for High Level Synthesis (BR, DD, GS), pp. 482–489.
VLDBVLDB-1994-ChawatheCY #on the
On Index Selection Schemes for Nested Object Hierarchies (SSC, MSC, PSY), pp. 331–341.
VLDBVLDB-1994-FuC #database #replication #transaction
A Transaction Replication Scheme for a Replicated Database with Node Autonomy (AWCF, DWLC), pp. 214–225.
STOCSTOC-1994-Cohen #approximate
Polylog-time and near-linear work approximation scheme for undirected shortest paths (EC), pp. 16–26.
STOCSTOC-1994-MaratheHSR #approximate #problem #specification
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (MVM, HBHI, RES, VR), pp. 468–477.
LISPLFP-1994-AshleyD #implementation #multi #performance
An Efficient Implementation of Multiple Return Values in Scheme (JMA, RKD), pp. 140–149.
LISPLFP-1994-ClingerH #compilation #optimisation
λ, the Ultimate Label or a Simple Optimizing Compiler for Scheme (WDC, LTH), pp. 128–139.
LISPLFP-1994-WrightC #type system
A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
CIKMCIKM-1994-JiangLB
Re-Evaluating Indexing Schemes for Nested Objects (YhJ, XL, BKB), pp. 439–446.
PPDPPLILP-1994-TarauN #data transformation #novel #representation
A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.
SACSAC-1994-LiB #object-oriented #parsing #unification
An integrated parsing scheme for unification categorial grammar with object-oriented lexicon (LL, BRB), pp. 524–528.
SACSAC-1994-WongD #hybrid #stack #thread #using
Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
HPDCHPDC-1994-SrbljicVB #consistency #distributed #memory management #performance #predict
Performance Prediction for Different Consistency Schemes in Distributed Shared Memory Systems (SS, ZGV, LB), pp. 295–302.
CADECADE-1994-SturgillS #first-order #logic #novel #parallel
A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.
ICLPICLP-1994-Zhou #on the #prolog #stack
On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.
ICDARICDAR-1993-GuillevicS #performance #recognition
Cursive script recognition: A fast reader scheme (DG, CYS), pp. 311–314.
ICDARICDAR-1993-NakajimaM #classification #modelling #recognition
A model-based classifier in a scheme of recognition filter (YN, SM), pp. 68–71.
VLDBVLDB-1993-Hong #database #distributed #performance
Performance of Catalog Management Schemes for Running Access Modules in a Locally Distributed Database System (EKH), pp. 194–205.
PLDIPLDI-1993-AdamsCS #data type
First-Class Data-Type Representations in SchemeXerox (NA, PC, MS), pp. 139–146.
DLTDLT-1993-BreveglieriCCC #parallel
Fair First Languages and Parallel Programme Schemes (LB, AC, CC, SCR), pp. 389–418.
HCIHCI-SHI-1993-Wang #adaptation
An Adaptive User-Oriented Message Prioritization Scheme (WPW), pp. 784–789.
AdaEuropeAdaEurope-1993-Wild #inheritance
Avoiding Anomalies in Inheritance Schemes (FHWI), pp. 108–113.
CAiSECAiSE-1993-Andonoff #concept #normalisation #object-oriented
Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.
CIKMCIKM-1993-ScheuermannT #multi
A Recovery Scheme for Multidatabase Systems (PS, HLT), pp. 665–673.
TOOLSTOOLS-EUROPE-1993-BergerS #c++ #compilation #database #relational #source code
A Compiler To Create Relational Database Schemes From Application Programs Written in C++ (EB, ES), pp. 75–86.
TOOLSTOOLS-USA-1993-BarbierB #design #object-oriented
Object-Oriented Design: the OSM Scheme (FB, JB), pp. 57–68.
SACSAC-1993-GuuS #performance #search-based #sequence
An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
HPDCHPDC-1993-LeeRN #distributed #parallel
A Fully Distributed Parallel Ray Tracing Scheme on the Delta Touchstone Machine (TYL, CSR, JBN), pp. 129–134.
PPoPPPPoPP-1993-TauraMY #concurrent #implementation #multi #object-oriented #performance
An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers (KT, SM, AY), pp. 218–228.
SIGMODSIGMOD-1992-BhideGHJ #performance
An Efficient Scheme for Providing High Availability (AB, AG, HIH, AJ), pp. 236–245.
STOCSTOC-1992-KleinS #approximate #parallel #random
A Parallel Randomized Approximation Scheme for Shortest Paths (PNK, SS), pp. 750–758.
LISPLFP-1992-JagannathanP #concurrent #multi #performance #thread
A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
LISPLFP-1992-RoseM #c
Integrating the Scheme and C Languages (JRR, HM), pp. 247–259.
LISPLFP-1992-Tung #composition #interactive #programming
Interactive Modular Programming in Scheme (SHST), pp. 86–95.
PPDPALP-1992-Lopez-Fraguas #constraints #functional #logic programming
A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
PPDPPLILP-1992-Hans #automaton
A Complete Indexing Scheme for WAM-based Abstract Machines (WH), pp. 232–244.
ISMMIWMM-1992-AbdullahiMR #distributed
Collection Schemes for Distributed Garbage (SEA, EEM, GAR), pp. 43–81.
ISMMIWMM-1992-DuvvuruSTSHZ #concurrent #logic programming #source code
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs (SD, RS, ET, AVSS, LH, XZ), pp. 264–276.
ICLPJICSLP-1992-Dumant
Checking the Soundness of Resolution Schemes (BD), pp. 37–51.
ICLPJICSLP-1992-MamedeM #logic programming #reasoning #taxonomy
A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.
ICLPJICSLP-1992-Shen #prolog
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS) (KS), pp. 717–731.
DACDAC-1991-ChiuP #design #synthesis #testing
A Design for Testability Scheme with Applications to Data Path Synthesis (SC, CAP), pp. 271–277.
DACDAC-1991-Wang #layout #novel
Novel Routing Schemes for IC Layout, Part I: Two-Layer Channel Routing (DCW), pp. 49–53.
VLDBVLDB-1991-HuangSRT #concurrent #evaluation #realtime
Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes (JH, JAS, KR, DFT), pp. 35–46.
PEPMPEPM-1991-Shivers #analysis #control flow #semantics
The Semantics of Scheme Control-Flow Analysis (OS), pp. 190–198.
ICMLML-1991-BhuyanR #adaptation #clustering #information retrieval #probability
A Probabilistic Retrieval Scheme for Cluster-based Adaptive Information Retrieval (JNB, VVR), pp. 240–244.
ICMLML-1991-YangRB #case study #comparative
Fringe-Like Feature Construction: A Comparative Study and a Unifying Scheme (DSY, LAR, GB), pp. 223–227.
LOPSTRLOPSTR-1991-SolnonR #design #object-oriented #prolog #prototype #using
Using a Prolog Prototype for Designing an Object Oriented Scheme (CS, MR), pp. 300–317.
ASPLOSASPLOS-1991-ChaikenKA #scalability
LimitLESS Directories: A Scalable Cache Coherence Scheme (DC, JK, AA), pp. 224–234.
ASPLOSASPLOS-1991-MinC #detection #performance
An Efficient Cache-Based Access Anomaly Detection Scheme (SLM, JDC), pp. 235–244.
ICLPISLP-1991-MarienD #unification
A New Scheme for Unification in WAM (AM, BD), pp. 257–271.
PODSPODS-1990-PilarskiK #database #distributed #novel
A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.
SIGMODSIGMOD-1990-AtzeniT #independence #performance
Efficient Updates to Independent Schemes in the Weak Instance Model (PA, RT), pp. 84–93.
VLDBVLDB-1990-HuaL #adaptation #database #parallel
An Adaptive Data Placement Scheme for Parallel Database Computer Systems (KAH, CL), pp. 493–506.
LISPLFP-1990-CurtisR
A Module System for Scheme (PC, JR), pp. 13–19.
LISPLFP-1990-FeeleyM #compilation #parallel #performance #virtual machine
A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
ICGTGG-1990-Caucal #graph grammar
An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes (DC), pp. 190–206.
PPDPPLILP-1990-LimM #implementation #logic
Implementing a Meta-Logical Scheme (PL, DNM), pp. 106–120.
PPoPPPPoPP-1990-FuruichiTI #multi #source code
A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI (MF, KT, NI), pp. 50–59.
DACDAC-1989-JonePP #concurrent #testing
A Scheme for Overlaying Concurrent Testing of VLSI Circuits (WBJ, CAP, MP), pp. 531–536.
SIGMODSIGMOD-1989-KiferL #higher-order #inheritance #named #reasoning
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme (MK, GL), pp. 134–146.
SIGMODSIGMOD-1989-TangN #database
A Static Pessimistic Scheme for Handling Replicated Databases (JT, NN), pp. 389–398.
PLDIPLDI-1989-Goldberg #distributed
Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme (BG), pp. 313–321.
STOCSTOC-1989-Upfal
An O(log N) Deterministic Packet Routing Scheme (Preliminary Version) (EU), pp. 241–250.
ICALPICALP-1989-ChazelleEGS #algebra
A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
FPCAFPCA-1989-RufW #functional #logic #nondeterminism #programming #unification
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
SEKESEKE-1989-MohanK #abstraction #modelling #object-oriented #representation
Abstractions in Object-oriented Data Models: A Formalized Representation Scheme (LM, RLK), pp. 79–84.
OOPSLAOOPSLA-1989-Pedersen #inheritance
Extending Ordinary Inheritance Schemes to Include Generalization (CHP), pp. 407–417.
ICSEICSE-1989-Finkelstein #development #modelling #quote #representation
“Not Waving but Drowning”: Representation Schemes for Modelling Software Development (AF), pp. 402–404.
ASPLOSASPLOS-1989-VegdahlP #implementation #runtime
The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
DACDAC-1988-PillageR #metric #polynomial
A Quadratic Metric with a Simple Solution Scheme for Initial Placement (LTP, RAR), pp. 324–329.
PODSPODS-1988-ChanH #database
Independence-reducible Database Schemes (EPFC, HJH), pp. 163–173.
SIGMODSIGMOD-1988-HernandezC #database
A Characterization of Constant-time-mainteinability for BCNF Database Schemes (HJH, EPFC), pp. 209–217.
SIGMODSIGMOD-1988-HutfleszSW #grid #optimisation
Twin Grid Files: Space Optimizing Access Schemes (AH, HWS, PW), pp. 183–190.
VLDBVLDB-1988-KentSR #database #multi #scalability
A Superimposed Coding Scheme Based on Multiple Block Descriptor Files for Indexing Very Large Data Bases (AJK, RSD, KR), pp. 351–359.
VLDBVLDB-1988-LecluseS #implementation #interface #query
Implementing Queries and Updates on Universal Scheme Interfaces (CL, NS), pp. 62–75.
PLDIPLDI-1988-Shivers #analysis #control flow
Control-Flow Analysis in Scheme (OS), pp. 164–174.
LISPLFP-1988-AdamsR #object-oriented #programming
Object-Oriented Programming in Scheme (NA, JR), pp. 277–288.
LISPLFP-1988-BerlinW #named
Scheme86: A System for Interpreting Scheme (AB, HMW), pp. 116–123.
LISPLFP-1988-Felleisen #named #λ-calculus
λ-V-CS: An Extended λ-Calculus for Scheme (MF), pp. 72–85.
LISPLFP-1988-TinkerK #execution #parallel
Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
SIGIRSIGIR-1988-YuM #information retrieval #learning
Two Learning Schemes in Information Retrieval (CTY, HM), pp. 201–218.
OOPSLAOOPSLA-1988-Shibayama #approach #concurrent #distributed #how #implementation
How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach (ES), pp. 297–305.
DACDAC-1987-ShahM
A New Compaction Scheme Based on Compression Ridges (PCS, HNM), pp. 645–648.
PODSPODS-1987-ChanH #bound #database #dependence #design #functional #on the
On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies (EPFC, HJH), pp. 48–57.
VLDBVLDB-1987-AtzeniC #database #dependence #functional #independence
Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.
ICLPSLP-1987-Kale87 #logic programming #parallel
“Completeness” and “Full Parallelism” of Parallel Logic Programming Schemes (LVK), pp. 125–133.
ICLPSLP-1987-KumarL87 #backtracking #prolog
An Intelligent Backtracking Scheme for Prolog (VK, YJL), pp. 406–414.
PODSPODS-1986-ChanA #on the
On the Properties and Characterization of Connection-tap-free Schemes (EPFC, PA), pp. 140–147.
PODSPODS-1986-RulandS #database #relational
Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.
PLDIBest-of-PLDI-1986-KranzKRHPA #compilation #named #optimisation
Orbit: an optimizing compiler for scheme (with retrospective) (DAK, RK, JR, PH, JP, NA), pp. 175–191.
LISPLFP-1986-BartleyJ #implementation
The Implementation of PC Scheme (DHB, JCJ), pp. 88–93.
SIGIRSIGIR-1986-Kwok #component #documentation
An Interpretation of Index Term Weighting Schemes Based on Document Components (KLK), pp. 275–283.
OOPSLAOOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented #operating system
A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
OOPSLAOOPSLA-1986-LangP #named #object-oriented
Oaklisp: an Object-Oriented Scheme with First Class Types (KJL, BAP), pp. 30–37.
ICLPICLP-1986-RamamohanaraoS86 #database #prolog #scalability
A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases (KR, JS), pp. 569–576.
DACDAC-1985-ParkP #synthesis
Synthesis of optimal clocking schemes (NP, ACP), pp. 489–495.
PODSPODS-1985-SteinM
Relaxing the Universal Relation Scheme Assumption (JS, DM), pp. 76–84.
SIGMODSIGMOD-1985-Otoo #multi
A Multidimensional Digital Hashing Scheme for Files With Composite Keys (EJO), pp. 214–229.
SIGMODSIGMOD-1985-SinhaNM #certification #database #distributed #transaction
Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDBVLDB-1985-Omiecinski #incremental
Incremental File Reorganization Schemes (EO), pp. 346–357.
ICSEICSE-1985-Chen #development #formal method #functional #implementation #programming
Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.
ICLPSLP-1985-MiyazakiTC85 #concurrent #implementation #prolog
A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme (TM, AT, TC), pp. 110–118.
DACDAC-1984-Dupenloup #array
A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.
PODSPODS-1984-GrahneR #database #dependence
Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.
PODSPODS-1984-ImielinskiS #database #on the
On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption (TI, NS), pp. 258–265.
PODSPODS-1984-OzsoyogluC #on the #query
On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries (ZMÖ, EC), pp. 133–142.
SIGMODSIGMOD-1984-ValduriezV #multi #using
A Multikey Hashing Scheme Using Predicate Trees (PV, YV), pp. 107–114.
VLDBVLDB-1984-BeeriK #approach #database #design #relational
Comprehensive Approach to the Design of Relational Database Schemes (CB, MK), pp. 196–207.
VLDBVLDB-1984-DAtriS #database #equivalence
Equivalence and Mapping of Database Schemes (AD, DS), pp. 187–195.
STOCSTOC-1984-OngSS #equation #performance #polynomial
An Efficient Signature Scheme Based on Quadratic Equations (HO, CPS, AS), pp. 208–216.
LISPLFP-1984-Clinger #compilation #semantics
The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.
POPLPOPL-1984-Murtagh #algol #memory management
A Less Dynamic Memory Allocation Scheme for Algol-like Languages (TPM), pp. 283–289.
PODSPODS-1983-BeeriK #database
Elimination of Intersection Anomalies from Database Schemes (CB, MK), pp. 340–351.
PODSPODS-1983-ChanM #database #independence
Independent and Separable Database Schemes (EPFC, AOM), pp. 288–296.
PODSPODS-1983-Sciore83a #database
Improving Database Schemes by Adding Attributes (ES), pp. 379–383.
SIGMODSIGMOD-1983-LaverMG #database #dependence #functional
Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.
VLDBVLDB-1983-PeinlR #comparison #concurrent #database #empirical
Empirical Comparison of Database Concurrency Schemes (PP, AR), pp. 97–108.
STOCSTOC-1983-GoldwasserMY
Strong Signature Schemes (SG, SM, ACCY), pp. 431–439.
SIGIRSIGIR-1983-CanO #clustering
A Clustering Scheme (FC, EAO), pp. 115–121.
PODSPODS-1982-Rissanen #database #on the
On Equivalences of Database Schemes (JR), pp. 23–26.
SIGMODSIGMOD-1982-ChanFLNR #concurrent #implementation
The Implementation of an Integrated Concurrency Control and Recovery Scheme (AC, SF, WTKL, AN, DRR), pp. 184–191.
SIGMODSIGMOD-1982-MaierW #database #specification
Specifying Connections for a Universal Relation Scheme Database (DM, DSW), pp. 1–7.
VLDBVLDB-1982-KedemMS #concurrent #performance #protocol
An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
STOCSTOC-1982-Greenberg #communication #complexity #on the
On the Time Complexity of Broadcast Communication Schemes (Preliminary Version) (AGG), pp. 354–364.
ICALPICALP-1982-Schmeck #algebra #recursion #semantics
Algebraic Semantics of Recursive Flowchart Schemes (HS), pp. 489–501.
LISPLFP-1982-Georgeff #functional #implementation #stack
A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.
POPLPOPL-1982-DamasM #functional #source code
Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.
VLDBVLDB-1981-Chase #database #graph
Join Graphs and Acyclic Database Schemes (KC), pp. 95–100.
VLDBVLDB-1981-Yannakakis #algorithm #database
Algorithms for Acyclic Database Schemes (MY), pp. 82–94.
STOCSTOC-1981-BeeriFMMUY #database
Properties of Acyclic Database Schemes (CB, RF, DM, AOM, JDU, MY), pp. 355–362.
STOCSTOC-1981-ValiantB #communication #parallel
Universal Schemes for Parallel Communication (LGV, GJB), pp. 263–277.
SIGMODSIGMOD-1980-KwongW #concurrent #on the
On B-Trees: Routing Schemes and Concurrency (YSK, DW), pp. 207–211.
SIGMODSIGMOD-1980-MatsushitaYHY #database #distributed #evaluation
Cost Evaluation of Directory Management Schemes for Distributed Database Systems (YM, HY, SH, IY), pp. 117–124.
STOCSTOC-1980-Mirkowska #algorithm #axiom #bound #nondeterminism
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.
LISPLISP-1980-McDermott #interpreter #lisp #performance
An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.
LISPLISP-1980-MuchnickP #comparison #lisp #semantics
A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.
SIGIRSIGIR-1980-Bookstein #comparison #retrieval
A Comparison of Two Weighting Schemes for Boolean Retrieval (AB), pp. 23–34.
SIGIRSIGIR-1980-NoreaultMK #documentation #evaluation #metric #performance #similarity
A Performance Evaluation of Similarity Measures, Document Term Weighting Schemes and Representations in a Boolean Environment (TN, MM, MBK), pp. 57–76.
POPLPOPL-1980-MannaP #problem
Synchronous Schemes and Their Decision Problems (ZM, AP), pp. 62–67.
DACDAC-1979-MuraiTKST
A hierarchical placement procedure with a simple blocking scheme (SM, HT, MK, KS, CT), pp. 18–23.
STOCSTOC-1979-BeeriMSU #database #equivalence #relational
Equivalence of Relational Database Schemes (CB, AOM, YS, JDU), pp. 319–329.
ICALPICALP-1979-DembinskiM #equation #two-level grammar
Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
ICALPICALP-1979-Gallier #recursion
Recursion Schemes and Generalized Interpretations (Extended Abstract) (JHG), pp. 256–270.
SIGMODSIGMOD-1978-YamamotoTUI #design #multi #order
Design of a Generalized Balanced Multiple-Valued File Organization Scheme of Order Two (SY, ST, KU, HI), pp. 47–51.
VLDBVLDB-1978-EhrigKW #algebra #database #specification
Algebraic Specification Schemes for Data Base Systems (HE, HJK, HW), pp. 427–440.
VLDBVLDB-1978-NakamuraM #analysis
An Analysis of Storage Utilization Factor in Block Split Data Structuring Scheme (TN, TM), pp. 489–495.
ICALPICALP-1978-FortuneHS #complexity #equivalence #for free
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (SF, JEH, EMS), pp. 227–240.
POPLPOPL-1978-Culik #parallel
Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes (KC), pp. 176–184.
POPLPOPL-1978-KaplanU #automation
A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.
VLDBVLDB-1977-Ikeda #combinator #evaluation
Evaluation of Combinatorial File Orgenization Schemes (HI), pp. 231–235.
ICALPICALP-1977-Damm
Languages Defined by Higher Type Program Schemes (WD), pp. 164–179.
ICALPICALP-1976-Guessarian #equivalence #semantics
Semantic Equivalence of Program Schemes and its Syntactic Characterization (IG), pp. 189–200.
STOCSTOC-1975-RosenbergS #array
Hashing Schemes for Extendible Arrays (Extended Arrays) (ALR, LJS), pp. 159–166.
ICALPICALP-1974-DilgerR #monad #strict
Monadic Program Schemes Under Restricted Classes of Free Interpretations (WD, PR), pp. 547–561.
ICALPICALP-1974-Fischer #algorithm #matrix
Further Schemes for Combining Matrix Algorithms (PCF), pp. 428–436.
STOCSTOC-1972-GarlandL #equivalence #on the
On the Equivalence of Schemes (SJG, DCL), pp. 65–72.
STOCSTOC-1972-Morris #recursion
Recursion Schemes with Lists (JHMJ), pp. 35–43.
ICALPICALP-1972-BakkerR #calculus #recursion
A Calculus for Recursive Program Schemes (JWdB, WPdR), pp. 167–196.
ICALPICALP-1972-Engelfriet
Translation of Simple Program Schemes (JE), pp. 215–223.
STOCSTOC-1970-Rosenberg #graph
Data Graphs and Addressing Schemes: Extended Abstract (ALR), pp. 48–61.

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.