BibSLEIGH — scheme stem

Used together with:

base (114)
use (60)
effici (56)
system (49)
program (45)

Stem scheme$ (all stems)

711 papers:

CASE-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.
DAC-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.
DAC-2015-WangJZWY #energy #performance: Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
DATE-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.
DATE-2015-ChenLH #approximate #reliability: An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATE-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.
DATE-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.
DATE-2015-WeiDLW #metaprogramming: A universal macro block mapping scheme for arithmetic circuits (XW, YD, TKL, YLW), pp. 1629–1634.
SIGMOD-2015-LiCP #encoding: A Padded Encoding Scheme to Accelerate Scans by Leveraging Skew (YL, CC, JMP), pp. 1509–1524.
FASE-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.
STOC-2015-AlstrupKTZ #graph: Adjacency Labeling Schemes and Induced-Universal Graphs (SA, HK, MT, UZ), pp. 625–634.
STOC-2015-FoxKM #approximate #polynomial: A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection (KF, PNK, SM), pp. 841–850.
ICALP-v2-2015-DahlgaardKR: A Simple and Optimal Ancestry Labeling Scheme for Trees (SD, MBTK, NR), pp. 564–574.
ICML-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.
SEKE-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.
SEKE-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.
QAPL-2015-LatellaMV #bisimulation: A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
POPL-2015-GarciaC #source code: Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
POPL-2015-HinzeWG #morphism #recursion: Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
SAT-2015-BiereF: Evaluating CDCL Variable Scoring Schemes (AB, AF), pp. 405–422.
DAC-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.
DAC-2014-EkenZWJLC #self: A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
DAC-2014-KuanCHL #database #embedded #multi: Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
HT-2014-TanakaTT #classification #twitter #why: Why you follow: a classification scheme for twitter follow links (AT, HT, KT), pp. 324–326.
SIGMOD-2014-TrummerK #approximate #optimisation #query: Approximation schemes for many-objective query optimization (IT, CK), pp. 1299–1310.
VLDB-2014-LiagourisMBT #effectiveness #encoding #rdf: An Effective Encoding Scheme for Spatial RDF Data (JL, NM, PB, MT), pp. 1271–1282.
ICALP-v1-2014-IshaiW: Partial Garbling Schemes and Their Applications (YI, HW), pp. 650–662.
ICALP-v1-2014-Lampis #approximate #graph #using: Parameterized Approximation Schemes Using Graph Widths (ML), pp. 775–786.
ICALP-v2-2014-AdjiashviliR #bound #graph: Labeling Schemes for Bounded Degree Graphs (DA, NR), pp. 375–386.
ILC-2014-Castro-Castilla #development #mobile #multi: Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres (ÁCC), p. 4.
ILC-2014-PetersenGAD: A Scheme-Based Closed-Loop Anesthesia System (CLP, MG, JMA, GAD), p. 40.
HCI-TMT-2014-PereiraB #comprehension #concept #design: Value Pie: A Culturally Informed Conceptual Scheme for Understanding Values in Design (RP, MCCB), pp. 122–133.
HIMI-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.
ICEIS-v3-2014-PaulinsBA #visualisation: e-Learning Material Presentation and Visualization Types and Schemes (NP, SB, IA), pp. 138–143.
ICML-c2-2014-Scherrer #approximate #comparison #policy: Approximate Policy Iteration Schemes: A Comparison (BS), pp. 1314–1322.
ICPR-2014-KristoC: Optimized Window Arrangement for Spatial Pyramid Matching Scheme (K, CSC), pp. 1395–1400.
ICPR-2014-TouaziMB #feature model #game studies: Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml: A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml: A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
PPDP-2014-Ramsay #abstraction #recursion #safety: Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
SAC-2014-ChangTK #3d: A traffic-balanced routing scheme for heat balance in 3D networks-on-chip (WCC, HWT, CFK), pp. 1437–1442.
SAC-2014-ChoiKKLK #network: A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.
SAC-2014-JungKYM #algorithm #search-based: Investigation of hungarian mating schemes for genetic algorithms (CJ, YHK, YY, BRM), pp. 140–147.
SAC-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.
SAC-2014-LargillierPP #named #robust: Rocovo: robust communal publication scheme (TL, GP, SP), pp. 579–586.
SAC-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.
SAC-2014-SahuR #clustering #runtime: Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
SAC-2014-YoonY #authentication #network #using: A biometric-based authenticated key agreement scheme using ECC for wireless sensor networks (EJY, KYY), pp. 699–705.
CGO-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.
LICS-CSL-2014-Mamouras #hoare #monad #on the #recursion: On the Hoare theory of monadic recursion schemes (KM), p. 10.
CASE-2013-ChenHCHW #automation #maintenance #predict: Automatic baseline-sample-selection scheme for baseline predictive maintenance (CFC, YSH, FTC, HCH, SCW), pp. 183–188.
CASE-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.
DATE-2013-BayrakVRNBI: An EDA-friendly protection scheme against side-channel attacks (AGB, NV, FR, DN, PB, PI), pp. 410–415.
DATE-2013-KhanSGH #collaboration #complexity #reduction: Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATE-2013-ShihW #3d #fault: An enhanced double-TSV scheme for defect tolerance in 3D-IC (HCS, CWW), pp. 1486–1489.
DATE-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.
ICDAR-2013-CecottiV #classification #multi #recognition: Rejection Schemes in Multi-class Classification — Application to Handwritten Character Recognition (HC, SV), pp. 445–449.
ICDAR-2013-RoyPR #image: A Pair-Copula Based Scheme for Text Extraction from Digital Images (AR, SKP, UR), pp. 892–896.
SIGMOD-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.
SIGMOD-2013-FinisBK0FM #named #performance #version control: DeltaNI: an efficient labeling scheme for versioned hierarchical data (JF, RB, AK, TN, FF, NM), pp. 905–916.
VLDB-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.
LATA-2013-Ong #automaton #higher-order #model checking #recursion: Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (LO), pp. 13–41.
ICFP-2013-HinzeWG #recursion: Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
CHI-2013-FlatlaRGG13a #automation #named: SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.
DHM-HB-2013-ZhangZLDW #optimisation: Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
ICEIS-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.
CIKM-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.
ICML-c1-2013-Shamir0 #convergence #optimisation #probability: Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
SIGIR-2013-Paik #effectiveness #novel #ranking: A novel TF-IDF weighting scheme for effective ranking (JHP), pp. 343–352.
SIGIR-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.
MoDELS-2013-TaentzerMAL #metamodelling #migration #multi: Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
MoDELS-2013-TaentzerMAL #metamodelling #migration #multi: Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
LOPSTR-2013-AntoyJ #compilation #functional #logic: Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
SAC-2013-ImmichCC #adaptation #fault: Adaptive video-aware FEC-based mechanism with unequal error protection scheme (RI, EC, MC), pp. 981–988.
SAC-2013-KangCLLKN #clustering: Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
PPoPP-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.
CADE-2013-BeckertGS #algorithm #logic: Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
CSL-2013-BroadbentK #higher-order #model checking #recursion: Saturation-Based Model Checking of Higher-Order Recursion Schemes (CHB, NK), pp. 129–148.
CSL-2013-Oitavem #nondeterminism #recursion: From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
RTA-2013-SmolkaT #recursion #unification: Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
TLCA-2013-SalvatiW #modelling #recursion #using: Using Models to Model-Check Recursive Schemes (SS, IW), pp. 189–204.
CASE-2012-HsiehCY: Virtual-metrology-based FDC scheme (YSH, FTC, HCY), pp. 80–85.
CASE-2012-Moller #coordination: Local vs. global coordination control schemes (CM), pp. 1132–1137.
CASE-2012-YangTCHC: A dual-forecast scheme for production output with paired/unpaired WIP data (HCY, THT, CYC, MHH, FTC), pp. 581–586.
DAC-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.
DATE-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.
DATE-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.
DATE-2012-HaronH #fault: DfT schemes for resistive open defects in RRAMs (NZH, SH), pp. 799–804.
DATE-2012-KimA #interface: On-chip source synchronous interface timing test scheme with calibration (HK, JAA), pp. 1146–1149.
DATE-2012-LiRP #embedded #hardware #named: Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATE-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.
DATE-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.
SIGMOD-2012-GanFFN: Locality-sensitive hashing scheme based on dynamic collision counting (JG, JF, QF, WN), pp. 541–552.
STOC-2012-BartalGK #approximate #polynomial #problem: The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme (YB, LAG, RK), pp. 663–672.
FLOPS-2012-AntoyP #compilation #functional #logic: Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
ICALP-v2-2012-OngT #game studies #recursion #semantics: Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
ICEIS-v1-2012-RudraGA #approximate #performance #query: An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICPR-2012-CarliniF: A Semi-Lagrangian scheme for area preserving flows (EC, RF), pp. 2029–2033.
ICPR-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.
ICPR-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.
KDIR-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.
SIGIR-2012-Ko #case study #classification #using: A study of term weighting schemes using class information for text classification (YK), pp. 1029–1030.
SAC-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.
SAC-2012-HuH #network: A density-aware routing scheme in delay tolerant networks (CLH, BJH), pp. 563–568.
SAC-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.
SAC-2012-LeeOKC: Grid-based cloaking area creation scheme supporting continuous location-based services (HL, BSO, HIK, JWC), pp. 537–543.
SAC-2012-MoraisC #ad hoc #detection #distributed #network: A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
SAC-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.
SAC-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.
SAC-2012-SaidJA #collaboration: Analyzing weighting schemes in collaborative filtering: cold start, post cold start and power users (AS, BJJ, SA), pp. 2035–2040.
HPCA-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.
HPDC-2012-NicolaeC #hybrid #migration: A hybrid local storage transfer scheme for live migration of I/O intensive workloads (BN, FC), pp. 85–96.
LICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety: Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
ECSA-2011-QureshiCLT #architecture: From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
DAC-2011-CongHLZ #memory management: A reuse-aware prefetching scheme for scratchpad memory (JC, HH, CL, YZ), pp. 960–965.
DAC-2011-KandemirYK #clustering #concurrent #parallel #thread: A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
DAC-2011-TsaiZCH #bidirectional #fault tolerance #using: A fault-tolerant NoC scheme using bidirectional channel (WCT, DYZ, SJC, YHH), pp. 918–923.
DATE-2011-MaW #detection #fault #low cost #named: LOEDAR: A low cost error detection and recovery scheme for ECC (KM, KW), pp. 1010–1015.
DATE-2011-ParkYL #novel #power management: A novel tag access scheme for low power L2 cache (HP, SY, SL), pp. 655–660.
DATE-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.
DRR-2011-Obafemi-AjayiA #documentation #multi #statistics: Statistical multi-resolution schemes for historical document binarization (TOA, GA), pp. 1–10.
ICDAR-2011-GargHCG #multi: A CRF Based Scheme for Overlapping Multi-colored Text Graphics Separation (RG, EH, SC, MG), pp. 1215–1219.
ICDAR-2011-GuptaBC: A Compression Scheme for Handwritten Patterns Based on Curve Fitting (KG, MB, SC), pp. 1115–1119.
ICDAR-2011-YalnizM #automation #evaluation #performance: A Fast Alignment Scheme for Automatic OCR Evaluation of Books (IZY, RM), pp. 754–758.
SIGMOD-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.
VLDB-2011-MorfoniosCGBDDW #consistency: Consistent Synchronization Schemes for Workload Replay (KM, RC, LG, SB, BD, KD, YW), pp. 1225–1236.
VLDB-2011-ParameswaranDGR #robust #web: Optimal Schemes for Robust Web Extraction (AGP, NND, HGM, RR), pp. 980–991.
ITiCSE-2011-CarboneWC #student: A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.
ITiCSE-2011-Djordjevic #animation #java: Animation projects in CS1 from scheme to Java (MD), p. 343.
ITiCSE-2011-YooSKF #named #programming: WeScheme: the browser is your programming environment (DY, ES, SK, KF), pp. 163–167.
FoSSaCS-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.
CSMR-2011-SiddiqueM #clustering: Analyzing Term Weighting Schemes for Labeling Software Clusters (FS, OM), pp. 85–88.
SCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code: Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
STOC-2011-VondrakCZ #multi: Submodular function maximization via the multilinear relaxation and contention resolution schemes (JV, CC, RZ), pp. 783–792.
ICALP-v1-2011-AdamaszekCLW #approximate #design #geometry #network: Approximation Schemes for Capacitated Geometric Network Design (AA, AC, AL, JOW), pp. 25–36.
ICALP-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.
ICALP-v2-2011-Chechik #fault tolerance #graph: Fault-Tolerant Compact Routing Schemes for General Graphs (SC), pp. 101–112.
ICALP-v2-2011-SalvatiW #higher-order: Krivine Machines and Higher-Order Schemes (SS, IW), pp. 162–173.
CHI-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.
CHI-2011-KhotSK #authentication #named #novel #using: MARASIM: a novel jigsaw based authentication scheme using tagging (RAK, KS, PK), pp. 2605–2614.
HIMI-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.
HIMI-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.
HIMI-v2-2011-MozaffariM #classification #mining #visual notation: A Classification Scheme for Characterizing Visual Mining (EM, SPM), pp. 46–54.
ICEIS-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.
ICEIS-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.
CIKM-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.
CIKM-2011-ZhuangLF #xml: Insert-friendly XML containment labeling scheme (CZ, ZL, SF), pp. 2449–2452.
SAC-2011-ChenHT #clustering #power management #quality #requirements: Power management schemes for heterogeneous clusters under quality of service requirements (JJC, KH, LT), pp. 546–553.
SAC-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.
SAC-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.
SAC-2011-LeeLKB #reliability: A lifespan-aware reliability scheme for RAID-based flash storage (SL, BL, KK, HB), pp. 374–379.
SAC-2011-ParkPSP #named: CAVE: channel-aware buffer management scheme for solid state disk (SKP, YP, GS, KHP), pp. 346–353.
SAC-2011-RahmanHA #named #network #reliability: REBIVE: a reliable private data aggregation scheme for wireless sensor networks (FR, MEH, SIA), pp. 439–444.
HPDC-2011-AlvarezBGMNA #design #replication: Design space exploration for aggressive core replication schemes in CMPs (LA, RB, MG, XM, NN, EA), pp. 269–270.
HPDC-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.
CSL-2011-Schwencke #nondeterminism #recursion: A Category Theoretic View of Nondeterministic Recursive Program Schemes (DS), pp. 496–511.
CASE-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.
DAC-2010-ChangHKCW #3d #fault: An error tolerance scheme for 3D CMOS imagers (HMC, JLH, DMK, KT(C, CWW), pp. 917–922.
DAC-2010-WangM #approximate #named #realtime #scalability #using: PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DAC-2010-YangLW #complexity #fault #named: ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
DATE-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.
DATE-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.
DATE-2010-ChenW #adaptation #memory management #random: An adaptive code rate EDAC scheme for random access memory (CYC, CWW), pp. 735–740.
DATE-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.
DATE-2010-PeiLL #generative #testing: An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
DATE-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.
DATE-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.
SIGMOD-2010-BaoDKR #using #workflow: An optimal labeling scheme for workflow provenance using skeleton labels (ZB, SBD, SK, SR), pp. 711–722.
FoSSaCS-2010-TsukadaK #infinity #recursion: Untyped Recursion Schemes and Infinite Intersection Types (TT, NK), pp. 343–357.
STOC-2010-BateniHM #approximate #bound #graph: Approximation schemes for steiner forest on planar graphs and graphs of bounded treewidth (MB, MH, DM), pp. 211–220.
STOC-2010-FraigniaudK: An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.
STOC-2010-Madry #algorithm #approximate #graph #multi #performance #problem: Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms (AM), pp. 121–130.
ICALP-v2-2010-Fraigniaud: Informative Labeling Schemes (PF), p. 1.
ICFP-2010-Felleisen #exclamation: TeachScheme!: a checkpoint (MF), pp. 129–130.
CHI-2010-HarrisonDH #evaluation #image: Evaluation of progressive image loading schemes (CH, AKD, SEH), pp. 1549–1552.
CIKM-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.
ICPR-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.
ICPR-2010-OudaTN: Tokenless Cancelable Biometrics Scheme for Protecting Iris Codes (OO, NT, TN), pp. 882–885.
ICPR-2010-RantosonSFM #3d #metric #using: Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPR-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.
ICPR-2010-VeillardLR #image #scalability: An Exploration Scheme for Large Images: Application to Breast Cancer Grading (AV, NL, DR), pp. 3472–3475.
ICPR-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.
KEOD-2010-NirenburgMBC #elicitation #hybrid: Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.
KMIS-2010-KadhemAK #database #encryption #order #performance #relational: A Secure and Efficient Order Preserving Encryption Scheme for Relational Databases (HK, TA, HK), pp. 25–35.
POPL-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.
SAC-2010-ConceicaoPC #clustering #novel: A novel stable and low-maintenance clustering scheme (LC, DP, MC), pp. 699–705.
SAC-2010-KharaMS: An improved WLAN-first access scheme for UMTS/WLAN integrated system (SK, ISM, DS), pp. 630–634.
SAC-2010-KimJJ: Dynamic register-renaming scheme for reducing power-density and temperature (JK, STJ, CSJ), pp. 231–237.
SAC-2010-LenzLS #named #network #streaming #video: SeRViSO: a selective retransmission scheme for video streaming in overlay networks (CEL, LCL, FAS), pp. 694–698.
SAC-2010-LiuCGT #energy #mobile #performance: Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
LCTES-2010-LiZ #embedded #mobile #performance: An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
LICS-2010-BroadbentCOS #logic #recursion: Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
SAT-2010-LonsingB #dependence #search-based: Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.
CASE-2009-BiradarM #approach #multi #reliability: Reliable ring based multicast routing scheme in MANET: An agent based approach (RCB, SSM), pp. 507–512.
CASE-2009-FanL #effectiveness #ranking: A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services (CMF, YPL), pp. 427–432.
CASE-2009-WuCLZCH: Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DAC-2009-HuLA #approximate #polynomial: A fully polynomial time approximation scheme for timing driven minimum cost buffer insertion (SH, ZL, CJA), pp. 424–429.
DATE-2009-DiemerE #quality: A link arbitration scheme for quality of service in a latency-optimized network-on-chip (JD, RE), pp. 574–577.
DATE-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.
DATE-2009-YanHL #detection #fault #online: A unified online Fault Detection scheme via checking of Stability Violation (GY, YH, XL), pp. 496–501.
SIGMOD-2009-JinXRF #named #query #reachability: 3-HOP: a high-compression indexing scheme for reachability query (RJ, YX, NR, DF), pp. 813–826.
SIGMOD-2009-XuLWB #named #xml: DDE: from dewey to a fully dynamic XML labeling scheme (LX, TWL, HW, ZB), pp. 719–730.
FoSSaCS-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.
STOC-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.
ICALP-v1-2009-KobayashiGNR #communication #network #quantum: General Scheme for Perfect Quantum Network Coding with Free Classical Communication (HK, FLG, HN, MR), pp. 622–633.
ICALP-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.
HCI-AUII-2009-NestlerTK #interactive #interface: Common Interaction Schemes for In-Vehicle User-Interfaces (SN, MT, GK), pp. 159–168.
HIMI-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.
ICEIS-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.
CIKM-2009-BatalH #classification #using: Boosting KNN text classification accuracy by using supervised term weighting schemes (IB, MH), pp. 2041–2044.
MLDM-2009-RiesenB #difference #graph #prototype #reduction #using: Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
PADL-2009-GuzmanCH #execution #program transformation #towards: Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
POPL-2009-Kobayashi #higher-order #recursion #source code #verification: Types and higher-order recursion schemes for verification of higher-order programs (NK), pp. 416–428.
SAC-2009-ChenJ #evolution: A gradient oriented recombination scheme for evolution strategies (HC, GJ), pp. 1080–1084.
SAC-2009-CipciganR #difference #equation #probability: Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
SAC-2009-KangGC #predict #scalability: A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
SAC-2009-KrajcaV #formal method #implementation #parallel #performance: Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SAC-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.
SAC-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.
SLE-2009-Bagge: Yet Another Language Extension Scheme (AHB), pp. 123–132.
CGO-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.
PPoPP-2009-SonKKC #multi: A compiler-directed data prefetching scheme for chip multiprocessors (SWS, MTK, MK, DRC), pp. 209–218.
LICS-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.
CASE-2008-WuCZLC: Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.
DAC-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.
DATE-2008-CorderoK #using: Clock Distribution Scheme using Coplanar Transmission Lines (VHCC, SPK), pp. 985–990.
DATE-2008-FranchinoBF #protocol: Time Properties of the BuST Protocol under the NPA Budget Allocation Scheme (GF, GCB, TF), pp. 1051–1056.
DATE-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.
DATE-2008-WolffPBC #analysis #detection #problem #towards: Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme (FGW, CAP, SB, RSC), pp. 1362–1365.
SIGMOD-2008-LeeC #performance #query #using: Efficient storage scheme and query processing for supply chain management using RFID (CHL, CWC), pp. 291–302.
VLDB-2008-SansL #xml: Prefix based numbering schemes for XML: techniques, applications and performances (VS, DL), pp. 1564–1573.
ICALP-A-2008-PoratR #adaptation #combinator #testing: Explicit Non-adaptive Combinatorial Group Testing Schemes (EP, AR), pp. 748–759.
ICALP-C-2008-JareckiL #authentication #multi #performance: Affiliation-Hiding Envelope and Authentication Schemes with Efficient Support for Multiple Credentials (SJ, XL), pp. 715–726.
ICEIS-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.
CIKM-2008-BaiL #database: A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems (KB, PL), pp. 1403–1404.
CIKM-2008-TsengSC #abstraction #detection #email #novel: A novel email abstraction scheme for spam detection (CYT, PCS, MSC), pp. 1393–1394.
ICML-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.
ICPR-2008-KoSB #testing: A new HMM training and testing scheme (AHRK, RS, AdSBJ), pp. 1–4.
ICPR-2008-SerCY #classification #hybrid #recognition #speech: A Hybrid PNN-GMM classification scheme for speech emotion recognition (WS, LC, ZLY), pp. 1–4.
KDD-2008-XiangJFD #database #summary #transaction: Succinct summarization of transactional databases: an overlapped hyperrectangle scheme (YX, RJ, DF, FFD), pp. 758–766.
SEKE-2008-Neruda #ontology #search-based: Ontology-based and Evolutionary Search for Computational Agents Schemes (RN), pp. 569–572.
PPDP-2008-MoralesCH #automaton #generative #using: Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
POPL-2008-Tobin-HochstadtF #design #implementation: The design and implementation of typed scheme (STH, MF), pp. 395–406.
SAC-2008-ChangC #self: A self-balancing striping scheme for NAND-flash storage systems (YBC, LPC), pp. 1715–1719.
SAC-2008-LeePSK #performance: A group management scheme for an efficient location-based service (JL, GLP, COS, SWK), pp. 1705–1709.
SAC-2008-LiG #detection #network #optimisation #using: TCM-KNN scheme for network anomaly detection using feature-based optimizations (YL, LG), pp. 2103–2109.
SAC-2008-LiJS #coordination #distributed #simulation: Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SAC-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.
SAC-2008-TsujiKH #implementation #multi #scalability #set: History offset implementation scheme for large scale multidimensional data sets (TT, MK, KH), pp. 1021–1028.
SAC-2008-WeiMZL #network #realtime: A bandwidth management scheme support for real-time applications in wireless mesh networks (YW, RM, TZ, XL), pp. 2063–2068.
ICSE-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.
ICLP-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.
LICS-2008-HagueMOS #automaton #recursion: Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
ASE-2007-ChenH #adaptation #evaluation: An evaluation scheme of adaptive configuration techniques (HC, SH), pp. 493–496.
CASE-2007-ChengHK #development: Development of a Dual-Phase Virtual Metrology Scheme (FTC, HCH, CAK), pp. 270–275.
CASE-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.
DAC-2007-XueOK #parallel: A Memory-Conscious Code Parallelization Scheme (LX, ÖÖ, MTK), pp. 230–233.
DATE-2007-ChangLR #performance #using: Improve CAM power efficiency using decoupled match line scheme (YJC, YHL, SJR), pp. 165–170.
DATE-2007-ErdoganO #analysis #using: An ADC-BiST scheme using sequential code analysis (ESE, SO), pp. 713–718.
DATE-2007-MondalRKRLVM #3d #robust: Thermally robust clocking schemes for 3D integrated circuits (MM, AJR, SK, TR, GML, NV, YM), pp. 1206–1211.
DATE-2007-WangWC: Unknown blocking scheme for low control data volume and high observability (SW, WW, STC), pp. 33–38.
ICDAR-2007-BhattacharyaGP07a #recognition: A Two Stage Recognition Scheme for Handwritten Tamil Characters (UB, SKG, SKP), pp. 511–515.
ICDAR-2007-ChandaTP #identification: SVM Based Scheme for Thai and English Script Identification (SC, ORT, UP), pp. 551–555.
ICDAR-2007-GazzahA #analysis #identification #using: Arabic Handwriting Texture Analysis for Writer Identification Using the DWT-Lifting Scheme (SG, NEBA), pp. 1133–1137.
ICDAR-2007-SundaramR #classification #novel #online #recognition: A Novel Hierarchical Classification Scheme for Online Tamil Character Recognition (SS, AR), pp. 1218–1222.
ICDAR-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.
WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming: A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
ESOP-2007-DreyerB #composition #source code: Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.
TACAS-2007-CortierKS #analysis #automation #security: Automatic Analysis of the Security of XOR-Based Key Management Schemes (VC, GK, GS), pp. 538–552.
ICALP-2007-KapronMS: A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
ICALP-2007-Korman: Labeling Schemes for Vertex Connectivity (AK), pp. 102–109.
ICFP-2007-WelshG #case study #development #experience #web: Experience report: scheme in commercial web application development (NW, DG), pp. 153–156.
IFL-2007-Feeley #c #compilation: Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
DHM-2007-FanC #adaptation #using: A Modified Particle Swarm Optimizer Using an Adaptive Dynamic Weight Scheme (SKSF, JMC), pp. 56–65.
HCI-AS-2007-WeiXL #multi #named #performance: Stripe-Cache: An Efficient Cache Scheme for Building Multimedia Oriented RAID System (QW, CX, XL), pp. 1130–1139.
HCI-IPT-2007-ChoiY #multi #named #network: MKPS: A Multi-level Key Pre-distribution Scheme for Secure Wireless Sensor Networks (SJC, HYY), pp. 808–817.
ICEIS-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.
CIKM-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.
ECIR-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.
MLDM-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.
SEKE-2007-CoxZO #data transfer: A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers (SEC, DZ, JO), p. 274–?.
SAC-2007-DjemaielB: A global marking scheme for tracing cyber attacks (YD, NB), pp. 170–174.
SAC-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.
SAC-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.
SAC-2007-MengC #adaptation #configuration management #database #sequence: An adaptive data prefetching scheme for biosequence database search on reconfigurable platforms (XM, VC), pp. 140–141.
SAC-2007-NazKOF #configuration management #embedded #novel: Reconfigurable split data caches: a novel scheme for embedded systems (AN, KMK, JHO, PF), pp. 707–712.
CC-2007-ShyamG #architecture #array #energy #memory management #reduction: An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
HPCA-2007-DybdahlS #adaptation #clustering #multi: An Adaptive Shared/Private NUCA Cache Partitioning Scheme for Chip Multiprocessors (HD, PS), pp. 2–12.
HPDC-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.
LCTES-2007-InSK #memory management #named: SWL: a search-while-load demand paging scheme with NAND flash memory (JI, IS, HK), pp. 217–226.
SAT-2007-PipatsrisawatD #component #lightweight #satisfiability: A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
DAC-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.
DATE-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.
DATE-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.
PODS-2006-LeeT #performance: A simpler and more efficient deterministic scheme for finding frequent items over sliding windows (LKL, HFT), pp. 290–297.
ITiCSE-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.
ICPC-2006-KellyB #analysis #taxonomy: A Context-Aware Analysis Scheme for Bloom’s Taxonomy (TK, JB), pp. 275–284.
STOC-2006-FleischerKLS #multi #probability: Simple cost sharing schemes for multicommodity rent-or-buy and stochastic Steiner tree (LF, JK, SL, GS), pp. 663–670.
STOC-2006-RemyS #approximate: A quasi-polynomial time approximation scheme for minimum weight triangulation (JR, AS), pp. 316–325.
ICALP-v1-2006-KormanP #graph: Dynamic Routing Schemes for General Graphs (AK, DP), pp. 619–630.
ICALP-v2-2006-FouquePSZ: Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffie-Hellman Schemes (PAF, DP, JS, SZ), pp. 240–251.
ICFP-2006-Dybvig #development: The development of Chez Scheme (RKD), pp. 1–12.
EDOC-2006-ZuoLW #fault tolerance #transaction: A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.
ICEIS-J-2006-Leukel06a #approach #classification #data transformation: Controlling Property Growth in Product Classification Schemes: A Data Management Approach (JL), pp. 363–374.
ICEIS-SAIC-2006-Leukel #classification #library #maintenance: Maintaining Property Libraries in Product Classification Schemes (JL), pp. 3–10.
CIKM-2006-AlyPC #named #network: KDDCS: a load-balanced in-network data-centric storage scheme for sensor networks (MA, KP, PKC), pp. 317–326.
ICPR-v2-2006-LuXL #hybrid #recognition: A Hybrid Recognition Scheme Based on Partially Labeled SOM and MLP (SL, CX, YL), pp. 800–803.
ICPR-v2-2006-SuH #novel: A Novel Caption Extraction Scheme for Various Sports Captions (YMS, CHH), pp. 1054–1057.
ICPR-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.
ICPR-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.
ICPR-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.
ICPR-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.
ICPR-v3-2006-ZhangY #image #multi #using: Multiple Regions of Interest Image Coding using Compensation Scheme and Alternating Shift (LbZ, XY), pp. 758–761.
ICPR-v4-2006-FengFCS #novel: A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility (YF, JF, XC, ZS), pp. 374–377.
ICPR-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.
ICPR-v4-2006-NagarC #design #fuzzy #symmetry #using: Biometrics based Asymmetric Cryptosystem Design Using Modified Fuzzy Vault Scheme (AN, SC), pp. 537–540.
ICPR-v4-2006-XieZH #security: NDFT-based Audio Watermarking Scheme with High Security (LX, JZ, HH), pp. 270–273.
KDD-2006-CarvalhoC #feature model #learning #online #performance: Single-pass online learning: performance, voting schemes and online feature selection (VRC, WWC), pp. 548–553.
SEKE-2006-HungL #data mining #mining #performance #using: Using Data Mining Schemes for Improvement on System Performance in Virtual Environments (SSH, DSML), pp. 61–66.
ECMDA-FA-2006-BezivinBFGJKKP #canonical #composition: A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.
SAC-2006-GraillatLL #multi: Improving the compensated Horner scheme with a fused multiply and add (SG, PL, NL), pp. 1323–1327.
SAC-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.
SAC-2006-MadhukarA #adaptation #database #energy #mobile #performance: An adaptive energy efficient cache invalidation scheme for mobile databases (AM, RA), pp. 1122–1126.
SAC-2006-VenkateswaranS: Schemes for SR-Tree packing (JV, SRS), pp. 73–77.
LICS-2006-DawarGKS #approximate #first-order #optimisation #problem: Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
LICS-2006-Ong #higher-order #model checking #on the #recursion: On Model-Checking Trees Generated by Higher-Order Recursion Schemes (CHLO), pp. 81–90.
DAC-2005-JayakumarDK #monitoring #self: A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.
DATE-2005-BodeanBL #ram #self: New Schemes for Self-Testing RAM (GB, DB, AL), pp. 858–859.
DATE-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.
DATE-2005-LiTW #embedded #performance: An Efficient Transparent Test Scheme for Embedded Word-Oriented Memories (JFL, TWT, CLW), pp. 574–579.
DATE-2005-LiuPP #hybrid #named #performance #power management: RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power (XL, YP, MCP), pp. 1330–1335.
DATE-2005-WangWI #distributed #embedded #performance: A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
ICDAR-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.
ICDAR-2005-MozaffariFZ #encoding #recognition #representation #using: Character Representation and Recognition Using Quadtree-based Fractal Encoding Scheme (SM, KF, MZ), pp. 819–823.
VLDB-2005-BarbosaFM #design #information management #xml: Designing Information-Preserving Mapping Schemes for XML (DB, JF, AOM), pp. 109–120.
VLDB-2005-ChongDES #performance #query #rdf: An Efficient SQL-based RDF Querying Scheme (EIC, SD, GE, JS), pp. 1216–1227.
STOC-2005-VegaKKV #approximate #composition #constraints #problem: Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
CIAA-2005-Bartha #equivalence: Strong Retiming Equivalence of Synchronous Schemes (MB), pp. 66–77.
ICALP-2005-Fischlin: Completely Non-malleable Schemes (MF), pp. 779–790.
ICALP-2005-HorvitzK #black box #bound #performance: Bounds on the Efficiency of “Black-Box” Commitment Schemes (OH, JK), pp. 128–139.
ICALP-2005-LipmaaWB #security #verification: Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction (HL, GW, FB), pp. 459–471.
CIKM-2005-CumminsO #evaluation #information retrieval: An evaluation of evolved term-weighting schemes in information retrieval (RC, CO), pp. 305–306.
CIKM-2005-LiLLY #on the #performance #xml: On reducing redundancy and improving efficiency of XML labeling schemes (CL, TWL, JL, TY), pp. 225–226.
CIKM-2005-Yeh #bound: An RSA-based time-bound hierarchical key assignment scheme for electronic article subscription (JhY), pp. 285–286.
KDD-2005-ZhangWZ #classification #privacy: A new scheme on privacy-preserving data classification (NZ, SW, WZ), pp. 374–383.
SEKE-2005-FekiMG #approach #integration #multi: A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.
SEKE-2005-NabliFG #adaptation #algebra #data flow #multi #using: Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.
SAC-2005-AnshulR #identification #network: A ZKP-based identification scheme for base nodes in wireless sensor networks (DA, SR), pp. 319–323.
HPDC-2005-AnandS #algorithm #automation #clustering #search-based: Genetic algorithm based automatic data partitioning scheme for HPF (SKA, YNS), pp. 289–290.
HPDC-2005-ChenCTAC #resource management #scalability: DHT overlay schemes for scalable p-range resource discovery (LC, KSC, JT, DA, DC), pp. 297–298.
HPDC-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.
LCTES-2005-XuL: A sample-based cache mapping scheme (RX, ZL), pp. 166–174.
TLCA-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.
DAC-2004-WongBK #performance #reduction: Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.
DATE-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.
DATE-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.
DATE-v2-2004-PhillipsS #reduction: Poor Man’s TBR: A Simple Model Reduction Scheme (JRP, LMS), pp. 938–943.
SIGMOD-2004-HaasK #database: A Bi-Level Bernoulli Scheme for Database Sampling (PJH, CK), pp. 275–286.
ITiCSE-2004-VeenML #education #question #what: What is lacking in curriculum schemes for computing/informatics? (MvV, FM, KL), pp. 186–190.
CIAA-2004-GiraudL #automaton #encoding #finite #linear: Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
ICALP-2004-BlundoDS #bound #self: Definitions and Bounds for Self-Healing Key Distribution Schemes (CB, PD, ADS), pp. 234–245.
CIKM-2004-HuangOM #category theory #clustering #difference: Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
CIKM-2004-PisharathCK #database #energy: Energy management schemes for memory-resident database systems (JP, ANC, MTK), pp. 218–227.
ICPR-v1-2004-KongZ #verification: Competitive Coding Scheme for Palmprint Verification (AWKK, DZ), pp. 520–523.
ICPR-v1-2004-ZhaoG #multi #recognition: Multiblock-Fusion Scheme for Face Recognition (SZ, RRG), pp. 309–312.
ICPR-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.
ICPR-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.
ICPR-v3-2004-NakaiTHOO #detection: A Practical Stereo Scheme for Obstacle Detection in Automotive Use (HN, NT, HH, YO, KO), pp. 346–350.
ICPR-v4-2004-MaityK #image #using: An Image Watermarking Scheme using HVS Characteristics and Spread Transform (SPM, MKK), pp. 869–872.
ICPR-v4-2004-QiuMHHS #hybrid #video: A Hybrid Watermarking Scheme for H.264/AVC Video (GQ, PM, ATSH, DH, QS), pp. 865–869.
ICPR-v4-2004-YuanL #dependence #nondeterminism: Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
KDD-2004-YeJL #image #named #performance #reduction #retrieval: GPCA: an efficient dimension reduction scheme for image compression and retrieval (JY, RJ, QL), pp. 354–363.
SIGIR-2004-JinCS #automation #collaboration: An automatic weighting scheme for collaborative filtering (RJ, JYC, LS), pp. 337–344.
PPDP-2004-SerranoBS #thread: Scheme fair threads (MS, FB, BPS), pp. 203–214.
SAC-2004-ChangK #performance #scalability: An efficient management scheme for large-scale flash-memory storage systems (LPC, TWK), pp. 862–868.
SAC-2004-HeZ: A new signature scheme: joint-signature (LSH, NZ), pp. 807–812.
SAC-2004-KarabudakHB #algorithm #search-based #using: A call admission control scheme using genetic algorithms (DK, CCH, BB), pp. 1151–1158.
CGO-2004-DingL #compilation #reuse: A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
HPCA-2004-KimL #comprehension #scheduling: Understanding Scheduling Replay Schemes (IK, MHL), pp. 198–209.
DATE-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.
DATE-2003-LvHLW #encoding: Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses (TL, JH, HL, WW), pp. 10542–10549.
HT-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.
ICDAR-2003-BhattacharyaC #multi #recognition: A Majority Voting Scheme for Multiresolution Recognition of Handprinted Numerals (UB, BBC), pp. 16–20.
ICDAR-2003-Hilaire #algorithm #evaluation #performance: A Matching Scheme to Enhance Performance Evaluation of Raster-to-Vector Conversion Algorithms (XH), pp. 629–633.
ICDAR-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.
SIGMOD-2003-PadmanabhanBMCH #clustering #layout #multi: Multi-Dimensional Clustering: A New Data Layout Scheme in DB2 (SP, BB, TM, LC, MH), pp. 637–641.
SIGMOD-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.
VLDB-2003-TengCY #data type #mining: A Regression-Based Temporal Pattern Mining Scheme for Data Streams (WGT, MSC, PSY), pp. 93–104.
STOC-2003-DamgardG #reuse: Non-interactive and reusable non-malleable commitment schemes (ID, JG), pp. 426–437.
STOC-2003-GennaroGK #bound #encryption #performance: Lower bounds on the efficiency of encryption and digital signature schemes (RG, YG, JK), pp. 417–425.
STOC-2003-VegaKKR #approximate #clustering #problem: Approximation schemes for clustering problems (WFdlV, MK, CK, YR), pp. 50–58.
ICALP-2003-AroraC #approximate #problem #strict: Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem (SA, KLC), pp. 176–188.
ICALP-2003-KormanP: Labeling Schemes for Weighted Dynamic Trees (AK, DP), pp. 369–383.
CAiSE-2003-BenatallahMNSPM #adaptation #documentation: An Adaptive Document Version Management Scheme (BB, MM, PN, QZS, LP, BM), pp. 46–62.
ICEIS-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.
ECIR-2003-MartinetOCM: A Weighting Scheme for Star-Graphs (JM, IO, YC, PM), pp. 546–554.
MLDM-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.
SAC-2003-AnaneA #implementation: Implementation of a Proactive Load Sharing Scheme (RA, RJA), pp. 1038–1045.
SAC-2003-MarkWC #automation #code generation: Automatic Code Generation for a Convection Scheme (PvdM, LW, GC), pp. 1003–1008.
SAC-2003-TraoreK #collaboration: A Protection Scheme for Collaborative Environments (IT, SK), pp. 331–337.
DAC-2002-KayCM #embedded: Embedded test control schemes for compression in SOCs (DK, SC, SM), pp. 679–684.
DAC-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.
DATE-2002-KimR #power management #reduction #scalability: Dynamic VTH Scaling Scheme for Active Leakage Power Reduction (CHK, KR), pp. 163–167.
DATE-2002-LiHCSWCCHL #design: A Hierarchical Test Scheme for System-On-Chip Designs (JFL, HJH, JBC, CPS, CWW, CC, SIC, CYH, HPL), pp. 486–490.
DATE-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.
DATE-2002-LiuCG #identification: An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.
DATE-2002-LvWHL #adaptation #encoding #taxonomy: An Adaptive Dictionary Encoding Scheme for SOC Data Buses (TL, WW, JH, HL), pp. 1059–1064.
DATE-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.
DATE-2002-StanP: The Selective Pull-Up (SP) Noise Immunity Scheme for Dynamic Circuits (MRS, AP), p. 1106.
ITiCSE-2002-MeisaloSTS #design #evaluation: Formative evaluation scheme for a web-based course design (VM, JS, ST, ES), pp. 130–134.
STOC-2002-ChekuriK #approximate: Approximation schemes for preemptive weighted flow time (CC, SK), pp. 297–305.
ICALP-2002-CzumajLZ #approximate #design #network #polynomial #problem: Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem (AC, AL, HZ), pp. 973–984.
ICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine: Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
ICEIS-2002-ChouT: Predicate-Based Caching Scheme for Wireless Environments (PLC, ZT), pp. 57–64.
CIKM-2002-SungZP #database #performance #scalability: A fast filtering scheme for large database cleansing (SYS, ZL, SP), pp. 76–83.
ICPR-v1-2002-DengT #novel #recognition: A Novel Two-Layer PCA/MDA Scheme for Hand Posture Recognition (JD, HTT), pp. 283–286.
ICPR-v2-2002-GuunterB #classification #recognition: A New Combination Scheme for HMM-Based Classififiers and its Application to Handwriting Recognition (SG, HB), pp. 332–337.
ICPR-v2-2002-Han #classification #using: A Supervised Classification Scheme Using Positive Boolean Function (CCH), pp. 100–103.
ICPR-v3-2002-FerriMV #adaptation #comparison #prototype: An Experimental Comparison between Consistency-Based and Adaptive Prototype Replacement Schemes (FJF, RAM, EV), pp. 41–44.
ICPR-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.
ICPR-v3-2002-KimCS #performance #recognition #string: Post-Processing Scheme for Improving Recognition Performance of Touching Handwritten Numeral Strings (KKK, YC, CYS), pp. 327–330.
ICPR-v3-2002-MizunoOTY: Improvement of the Virtual Printing Scheme for Synthesizing Ukiyo-e (SM, MO, JiT, SY), p. 1043–?.
ICPR-v4-2002-ZhangR #clustering #kernel #scalability: A Large Scale Clustering Scheme for Kernel K-Means (RZ, AIR), pp. 289–292.
SIGIR-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.
PADL-2002-BunusF #debugging #declarative #equation #modelling: A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
SAC-2002-HuangHC #adaptation #streaming: A proxy-based adaptive flow control scheme for media streaming (CMH, THH, CKC), pp. 750–754.
SAC-2002-KangY #layout #multi: Smoothed fetching: bridging the data layout and transmission schemes in multimedia servers (SK, HYY), pp. 755–760.
HPCA-2002-MarcuelloG #multi #thread: Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling: A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
DATE-2001-EspejoEMO #logic #optimisation #reasoning: Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
ICDAR-2001-HaritCGVJ #analysis #documentation #image: A Model Guided Document Image Analysis Scheme (GH, SC, PG, NV, SDJ), pp. 1137–1141.
ICDAR-2001-HasegawaAM #algorithm #online #recognition: A Bayesian Bi-gram Scheme for HMM Online Handwriting Recognition Algorithm (TH, KA, TM), pp. 1012–1016.
ICDAR-2001-HoqueF #classification #learning: An Improved Learning Scheme for the Moving Window Classifier (SH, MCF), pp. 607–611.
ICDAR-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.
ICDAR-2001-WangCFZ #normalisation #recognition #set: Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.
VLDB-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.
TACAS-2001-Khurshid #algorithm #search-based #testing #using: Testing an Intentional Naming Scheme Using Genetic Algorithms (SK), pp. 358–372.
IFL-2001-Kreye #array #compilation: A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
ICEIS-v2-2001-MorilloFD #analysis #named: RSHP: A Scheme to Classify Information in a Domain Analysis Environment (JLM, JMF, ID), pp. 686–690.
SIGIR-2001-JinFH #automation #information retrieval #named: Meta-scoring: Automatically Evaluating Term Weighting Schemes in IR without Precision-Recall (RJ, CF, AGH), pp. 83–89.
TOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml: Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
LOPSTR-2001-Caldwell #recursion #type system: Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.
SAC-2001-AsciaCP #adaptation #fuzzy #performance: An adaptive fuzzy threshold scheme for high performance shared-memory switches (GA, VC, DP), pp. 456–461.
SAC-2001-HuangC #evolution: Diversity-based selection pooling scheme in evolution strategies (TYH, YYC), pp. 351–355.
SAC-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.
SAC-2001-LiPJ #analysis: Analysis of dynamic movement-based location update scheme (JL, YP, XJ), pp. 368–372.
ICLP-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.
ASE-2000-KhurshidJ #automation #constraints #design: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
DATE-2000-HuangOC #testing: A BIST Scheme for On-Chip ADC and DAC Testing (JLH, CKO, KTC), pp. 216–220.
DATE-2000-TsiatouhasHAN #fault #self #testing: A Versatile Built-In Self-Test Scheme for Delay Fault Testing (YT, TH, AA, DN), p. 756.
STOC-2000-KenyonSY #approximate #polynomial: Polynomial-time approximation scheme for data broadcast (CK, NS, NEY), pp. 659–666.
STOC-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.
ICALP-2000-CzumajL #approximate #multi #performance #problem: Fast Approximation Schemes for Euclidean Multi-connectivity Problems (AC, AL), pp. 856–868.
ICALP-2000-JansenP #approximate #multi #scheduling: Polynominal Time Approximation Schemes for General Multiprocessor Job Shop Scheduling (KJ, LP), pp. 878–889.
ICFP-2000-SerranoB #comprehension #memory management #source code: Understanding memory allocation of scheme programs (MS, HJB), pp. 245–256.
ICEIS-2000-FredF #modelling #multi: Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling (ALNF, JF), pp. 132–138.
CIKM-2000-SakuraiYUK: The Subspace Coding Method: A New Indexing Scheme for High-Dimensional Data (YS, MY, SU, HK), pp. 210–218.
ICML-2000-MunosM #convergence: Rates of Convergence for Variable Resolution Schemes in Optimal Control (RM, AWM), pp. 647–654.
ICPR-v2-2000-Kangas #classification #comparison #nearest neighbour #prototype #representation: Comparison between Two Prototype Representation Schemes for a Nearest Neighbor Classifier (JK), pp. 2773–2776.
ICPR-v2-2000-OliveiraVC #image #normalisation: Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.
ICPR-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.
ICPR-v3-2000-FayolleDRC #detection #multi: A Wavelet Based Multiscale Detection Scheme of Feature Points (JF, CD, LR, SC), pp. 3425–3428.
ICPR-v3-2000-ThiemH #design: Biology-Inspired Design of Digital Gabor Filters upon a Hexagonal Sampling Scheme (JT, GH), pp. 3449–3452.
TOOLS-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.
SAC-2000-MortonT #3d #adaptation #finite: A New 3D Adaptive Finite Element Scheme with l-Irregular Hexahedral Element Meshes (DM, JMT), pp. 99–104.
SAC-2000-MustoPP #automation #design #generative #object-oriented: Automatic Generation of RDBMS Based Applications from Object Oriented Design Schemes (AM, GP, AP), pp. 398–402.
SAC-2000-ParkY #distributed #lightweight #memory management: A Lightweight Casual Logging Scheme for Recoverable Distributed Shared Memory (TP, HYY), pp. 661–666.
OSDI-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.
CADE-2000-KapurS #induction: Extending Decision Procedures with Induction Schemes (DK, MS), pp. 324–345.
CL-2000-BoultonS #automation #induction #recursion: Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
CSL-2000-DanosK: Disjunctive Tautologies as Synchronisation Schemes (VD, JLK), pp. 292–301.
ISSTA-2000-KolanoK #analysis #classification #realtime: Classification schemes to aid in the analysis of real-time systems (PZK, RAK), pp. 86–95.
DAC-1999-TsaiCB #quality #using: Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme (HCT, KTC, SB), pp. 748–753.
DATE-1999-MaamarR #adaptation #named #testing: ADOLT — An ADaptable On — Line Testing Scheme for VLSI Circuits (AM, GR), pp. 770–771.
DATE-1999-MansouriV #design #verification: Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs (NM, RV), p. 223–?.
HT-1999-Vardi #interactive #linear #navigation: Navigation Scheme for Interactive Movies with Linear Narrative (GV), pp. 131–132.
SIGMOD-1999-ChanI #encoding #performance #query: An Efficient Bitmap Encoding Scheme for Selection Queries (CYC, YEI), pp. 215–226.
STOC-1999-AroraK #approximate #latency #problem: Approximation Schemes for Minimum Latency Problems (SA, GK), pp. 688–693.
STOC-1999-ChenM #approximate #multi #polynomial #scheduling: A Polynomial Time Approximation Scheme for General Multiprocessor Job Scheduling (Extended Abstract) (JC, AM), pp. 418–427.
STOC-1999-JansenP #approximate #parallel #scheduling: Improved Approximation Schemes for Scheduling Unrelated Parallel Machines (KJ, LP), pp. 408–417.
STOC-1999-JansenSS #approximate #polynomial: Makespan Minimization in Job Shops: A Polynomial Time Approximation Scheme (KJ, RSO, MS), pp. 394–399.
CIKM-1999-KimSC #database #image #ranking #representation: Spatial Match Representation Scheme Supporting Ranking in Iconic Images Databases (YJK, CBS, JWC), pp. 450–457.
TOOLS-USA-1999-Steckler #interactive #named #tool support: MysterX: A Scheme Toolkit for Building Interactive Applications with COM (PAS), p. 364–?.
GCSE-1999-Goebl #automation #bibliography #categorisation #programming: A Survey and a Categorization Scheme of Automatic Programming Systems (WG), pp. 1–15.
LOPSTR-1999-MetayerNR #recursion #testing #verification: Verification by Testing for Recursive Program Schemes (DLM, VAN, OR), pp. 255–272.
SAC-1999-Al-OmariM #fault tolerance #using: Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme (MAO, MM), pp. 481–485.
CC-1999-DebrayMW #source code: Link-Time Improvement of Scheme Programs (SKD, RM, SAW), pp. 76–90.
HPCA-1999-RheeL #network #scalability: A Scalable Cache Coherent Scheme Exploiting Wormhole Routing Networks (YR, JL), pp. 223–226.
CSL-1999-Stewart #array #quantifier: Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.
DAC-1998-GhoshJB #analysis #testing: A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis (IG, NKJ, SB), pp. 554–559.
DATE-1998-NouraniP #fault #testing: A Bypass Scheme for Core-Based System Fault Testing (MN, CAP), pp. 979–980.
DATE-1998-PastorC #analysis #encoding #performance #petri net: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
PODS-1998-KoutsoupiasT #2d #bound: Tight Bounds for 2-Dimensional Indexing Schemes (EK, DST), pp. 52–58.
PODS-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.
FoSSaCS-1998-AlbayrakN #infinity: The WHILE Hierarchy of Program Schemes Is Infinite (CAA, TN), pp. 35–47.
STOC-1998-AroraRR #approximate #problem: Approximation Schemes for Euclidean k-Medians and Related Problems (SA, PR, SR), pp. 106–113.
STOC-1998-GertnerIKM #information retrieval #privacy: Protecting Data Privacy in Private Information Retrieval Schemes (YG, YI, EK, TM), pp. 151–160.
ICALP-1998-CiceroneSF: Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.
ICALP-1998-CzumajL #approximate #polynomial: A Polynomial Time Approximation Scheme for Euclidean Minimum Cost k-Connectivity (AC, AL), pp. 682–694.
ICFP-1998-Kiselyov98b: A Delegation Language to Request Weather Products and a Scheme of Its Interpretation (OK), p. 343.
ICFP-1998-Kiselyov98c #lazy evaluation: A Lazy CGI Namespace in Scheme (OK), p. 349.
CIKM-1998-PalopoliSU #automation #database #detection: An Automatic Techniques for Detecting Type Conflicts in Database Schemes (LP, DS, DU), pp. 306–313.
CIKM-1998-PitouraF #mobile #performance: An Efficient Hierarchical Scheme for Locating Highly Mobile Users (EP, IF), pp. 218–225.
ICPR-1998-AricaY #recognition: A new scheme for off-line handwritten connected digit recognition (NA, FTYV), pp. 1127–1129.
ICPR-1998-ZhangFY #classification #composition #modelling #recognition: A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.
ALP-PLILP-1998-FeeleyL #compilation #erlang: Compiling Erlang to Scheme (MF, ML), pp. 300–317.
LOPSTR-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.
LICS-1998-FriasM #calculus #relational: Completeness of a Relational Calculus for Program Schemes (MFF, RDM), pp. 127–134.
DAC-1997-NouraniCP #fault #testing: A Scheme for Integrated Controller-Datapath Fault Testing (MN, JC, CAP), pp. 546–551.
EDTC-1997-AbdullaRK #embedded #multi: A scheme for multiple on-chip signature checking for embedded SRAMs (MFA, CPR, AK), p. 625.
EDTC-1997-FavalliM #testing: Testing scheme for IC’s clocks (MF, CM), pp. 445–449.
PODS-1997-HellersteinKP #analysis #on the: On the Analysis of Indexing Schemes (JMH, EK, CHP), pp. 249–256.
SIGMOD-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.
STOC-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.
ICALP-1997-FrankelY #encryption #on the: On Characterization of Escrow Encryption Schemes (YF, MY), pp. 705–715.
CIKM-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.
CIKM-1997-ChungLH #consistency #maintenance: A Contention Based Dynamic Consistency Maintenance Scheme for Client Cache (IC, JL, CSH), pp. 363–370.
CIKM-1997-LeeM #scheduling #transaction #validation: Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
PLILP-1997-FindlerFFKF #named #programming: DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.
SAC-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.
SAC-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.
DAC-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.
SIGMOD-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.
ICALP-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.
ICFP-1996-Moreau #semantics: The Semantics of Scheme with Future (LM), pp. 146–156.
CIKM-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.
ICPR-1996-DuttaM #comparison #performance: Performance comparison of two evolutionary schemes (PD, DDM), pp. 659–663.
ICPR-1996-HeydenR #evaluation #using: Evaluation of corner extraction schemes using invariance methods (AH, KR), pp. 895–899.
ICPR-1996-KashinoH #analysis #integration #music: A music scene analysis system with the MRF-based information integration scheme (KK, NH), pp. 725–729.
ICPR-1996-Muraki #fault #learning #statistics: Error correction scheme augmented with statistical and lexical learning capability, for Japanese OCR (KM), pp. 560–564.
ICPR-1996-OkadaS #analysis: A morphological subtraction scheme for form analysis (MO, MS), pp. 190–194.
ICPR-1996-RebuffelS #estimation #framework #predict: Estimation of depth-from-motion combining iterative prediction scheme and regularization framework (VR, JLS), pp. 466–470.
ICPR-1996-WangFW #recursion: A recursive hierarchical scheme for radical extraction of handwritten Chinese characters (ABW, KCF, WHW), pp. 240–244.
ICPR-1996-ZibulskiZ #component #multi: Signal- and image-component separation by a multi-window Gabor-type scheme (MZ, YYZ), pp. 835–839.
CSL-1996-Malmstrom #approximate #optimisation #problem: Optimization Problems with Approximation Schemes (AM), pp. 316–333.
ICDAR-v1-1995-GyohtenSBKK #multi: Extracting characters and character lines in multi-agent scheme (KG, TS, NB, KK, TK), pp. 305–308.
ICDAR-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.
FPLE-1995-HilsdaleADF #compilation #using: Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
STOC-1995-AroraKK #approximate #np-hard #polynomial #problem: Polynomial time approximation schemes for dense instances of NP-hard problems (SA, DRK, MK), pp. 284–293.
STOC-1995-DolevKKP #adaptation #named #network #performance: Bubbles: adaptive routing scheme for high-speed dynamic networks (Extended Abstract) (SD, EK, DK, DP), pp. 528–537.
STOC-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.
FPCA-1995-HengleinR #ml #polymorphism #type inference: Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.
CIKM-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.
SIGIR-1995-Lee #multi: Combining Multiple Evidence from Different Properties of Weighting Schemes (JHL), pp. 180–188.
SAC-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.
IWMM-1995-SuzukiKT #named #performance #scalability: MOA — A Fast Sliding Compaction Scheme for a Large Storage Space (MS, HK, MT), pp. 197–210.
PPoPP-1995-HwangLJ #array #fortran #source code #synthesis: An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs (GHH, JKL, RDCJ), pp. 112–122.
ICLP-1995-FagesFS #constraints #logic programming: A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.
TLCA-1995-Dowek #combinator #comprehension #λ-calculus: λ-calculus, Combinators and the Comprehension Scheme (GD), pp. 154–170.
EDAC-1994-IkedaA: A Reduced-swing Data Transmission Scheme for Resistive Bus Lines in VSLIs (MI, KA), pp. 546–550.
EDAC-1994-RouzeyreDS #component #scheduling #synthesis: Component Selection, Scheduling and Control Schemes for High Level Synthesis (BR, DD, GS), pp. 482–489.
VLDB-1994-ChawatheCY #on the: On Index Selection Schemes for Nested Object Hierarchies (SSC, MSC, PSY), pp. 331–341.
VLDB-1994-FuC #database #replication #transaction: A Transaction Replication Scheme for a Replicated Database with Node Autonomy (AWCF, DWLC), pp. 214–225.
STOC-1994-Cohen #approximate: Polylog-time and near-linear work approximation scheme for undirected shortest paths (EC), pp. 16–26.
STOC-1994-MaratheHSR #approximate #problem #specification: Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (MVM, HBHI, RES, VR), pp. 468–477.
LFP-1994-AshleyD #implementation #multi #performance: An Efficient Implementation of Multiple Return Values in Scheme (JMA, RKD), pp. 140–149.
LFP-1994-ClingerH #compilation #optimisation: λ, the Ultimate Label or a Simple Optimizing Compiler for Scheme (WDC, LTH), pp. 128–139.
LFP-1994-WrightC #type system: A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
CIKM-1994-JiangLB: Re-Evaluating Indexing Schemes for Nested Objects (YhJ, XL, BKB), pp. 439–446.
PLILP-1994-TarauN #data transformation #novel #representation: A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.
SAC-1994-LiB #object-oriented #parsing #unification: An integrated parsing scheme for unification categorial grammar with object-oriented lexicon (LL, BRB), pp. 524–528.
SAC-1994-WongD #hybrid #stack #thread #using: Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
HPDC-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.
CADE-1994-SturgillS #first-order #logic #novel #parallel: A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.
ICLP-1994-Zhou #on the #prolog #stack: On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.
ICDAR-1993-GuillevicS #performance #recognition: Cursive script recognition: A fast reader scheme (DG, CYS), pp. 311–314.
ICDAR-1993-NakajimaM #classification #modelling #recognition: A model-based classifier in a scheme of recognition filter (YN, SM), pp. 68–71.
VLDB-1993-Hong #database #distributed #performance: Performance of Catalog Management Schemes for Running Access Modules in a Locally Distributed Database System (EKH), pp. 194–205.
PLDI-1993-AdamsCS #data type: First-Class Data-Type Representations in SchemeXerox (NA, PC, MS), pp. 139–146.
DLT-1993-BreveglieriCCC #parallel: Fair First Languages and Parallel Programme Schemes (LB, AC, CC, SCR), pp. 389–418.
HCI-SHI-1993-Wang #adaptation: An Adaptive User-Oriented Message Prioritization Scheme (WPW), pp. 784–789.
AdaEurope-1993-Wild #inheritance: Avoiding Anomalies in Inheritance Schemes (FHWI), pp. 108–113.
CAiSE-1993-Andonoff #concept #normalisation #object-oriented: Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.
CIKM-1993-ScheuermannT #multi: A Recovery Scheme for Multidatabase Systems (PS, HLT), pp. 665–673.
TOOLS-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.
TOOLS-USA-1993-BarbierB #design #object-oriented: Object-Oriented Design: the OSM Scheme (FB, JB), pp. 57–68.
SAC-1993-GuuS #performance #search-based #sequence: An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
HPDC-1993-LeeRN #distributed #parallel: A Fully Distributed Parallel Ray Tracing Scheme on the Delta Touchstone Machine (TYL, CSR, JBN), pp. 129–134.
PPoPP-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.
SIGMOD-1992-BhideGHJ #performance: An Efficient Scheme for Providing High Availability (AB, AG, HIH, AJ), pp. 236–245.
STOC-1992-KleinS #approximate #parallel #random: A Parallel Randomized Approximation Scheme for Shortest Paths (PNK, SS), pp. 750–758.
LFP-1992-JagannathanP #concurrent #multi #performance #thread: A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
LFP-1992-RoseM #c: Integrating the Scheme and C Languages (JRR, HM), pp. 247–259.
LFP-1992-Tung #composition #interactive #programming: Interactive Modular Programming in Scheme (SHST), pp. 86–95.
ALP-1992-Lopez-Fraguas #constraints #functional #logic programming: A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
PLILP-1992-Hans #automaton: A Complete Indexing Scheme for WAM-based Abstract Machines (WH), pp. 232–244.
IWMM-1992-AbdullahiMR #distributed: Collection Schemes for Distributed Garbage (SEA, EEM, GAR), pp. 43–81.
IWMM-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.
JICSLP-1992-Dumant: Checking the Soundness of Resolution Schemes (BD), pp. 37–51.
JICSLP-1992-MamedeM #logic programming #reasoning #taxonomy: A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.
JICSLP-1992-Shen #prolog: Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS) (KS), pp. 717–731.
DAC-1991-ChiuP #design #synthesis #testing: A Design for Testability Scheme with Applications to Data Path Synthesis (SC, CAP), pp. 271–277.
DAC-1991-Wang #layout #novel: Novel Routing Schemes for IC Layout, Part I: Two-Layer Channel Routing (DCW), pp. 49–53.
VLDB-1991-HuangSRT #concurrent #evaluation #realtime: Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes (JH, JAS, KR, DFT), pp. 35–46.
PEPM-1991-Shivers #analysis #control flow #semantics: The Semantics of Scheme Control-Flow Analysis (OS), pp. 190–198.
ML-1991-BhuyanR #adaptation #clustering #information retrieval #probability: A Probabilistic Retrieval Scheme for Cluster-based Adaptive Information Retrieval (JNB, VVR), pp. 240–244.
ML-1991-YangRB #case study #comparative: Fringe-Like Feature Construction: A Comparative Study and a Unifying Scheme (DSY, LAR, GB), pp. 223–227.
LOPSTR-1991-SolnonR #design #object-oriented #prolog #prototype #using: Using a Prolog Prototype for Designing an Object Oriented Scheme (CS, MR), pp. 300–317.
ASPLOS-1991-ChaikenKA #scalability: LimitLESS Directories: A Scalable Cache Coherence Scheme (DC, JK, AA), pp. 224–234.
ASPLOS-1991-MinC #detection #performance: An Efficient Cache-Based Access Anomaly Detection Scheme (SLM, JDC), pp. 235–244.
ISLP-1991-MarienD #unification: A New Scheme for Unification in WAM (AM, BD), pp. 257–271.
PODS-1990-PilarskiK #database #distributed #novel: A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.
SIGMOD-1990-AtzeniT #independence #performance: Efficient Updates to Independent Schemes in the Weak Instance Model (PA, RT), pp. 84–93.
VLDB-1990-HuaL #adaptation #database #parallel: An Adaptive Data Placement Scheme for Parallel Database Computer Systems (KAH, CL), pp. 493–506.
LFP-1990-CurtisR: A Module System for Scheme (PC, JR), pp. 13–19.
LFP-1990-FeeleyM #compilation #parallel #performance #virtual machine: A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
GG-1990-Caucal #graph grammar: An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes (DC), pp. 190–206.
PLILP-1990-LimM #implementation #logic: Implementing a Meta-Logical Scheme (PL, DNM), pp. 106–120.
PPoPP-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.
DAC-1989-JonePP #concurrent #testing: A Scheme for Overlaying Concurrent Testing of VLSI Circuits (WBJ, CAP, MP), pp. 531–536.
SIGMOD-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.
SIGMOD-1989-TangN #database: A Static Pessimistic Scheme for Handling Replicated Databases (JT, NN), pp. 389–398.
PLDI-1989-Goldberg #distributed: Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme (BG), pp. 313–321.
STOC-1989-Upfal: An O(log N) Deterministic Packet Routing Scheme (Preliminary Version) (EU), pp. 241–250.
ICALP-1989-ChazelleEGS #algebra: A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
FPCA-1989-RufW #functional #logic #nondeterminism #programming #unification: Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
SEKE-1989-MohanK #abstraction #modelling #object-oriented #representation: Abstractions in Object-oriented Data Models: A Formalized Representation Scheme (LM, RLK), pp. 79–84.
OOPSLA-1989-Pedersen #inheritance: Extending Ordinary Inheritance Schemes to Include Generalization (CHP), pp. 407–417.
ICSE-1989-Finkelstein #development #modelling #quote #representation: “Not Waving but Drowning”: Representation Schemes for Modelling Software Development (AF), pp. 402–404.
ASPLOS-1989-VegdahlP #implementation #runtime: The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
DAC-1988-PillageR #metric #polynomial: A Quadratic Metric with a Simple Solution Scheme for Initial Placement (LTP, RAR), pp. 324–329.
PODS-1988-ChanH #database: Independence-reducible Database Schemes (EPFC, HJH), pp. 163–173.
SIGMOD-1988-HernandezC #database: A Characterization of Constant-time-mainteinability for BCNF Database Schemes (HJH, EPFC), pp. 209–217.
SIGMOD-1988-HutfleszSW #grid #optimisation: Twin Grid Files: Space Optimizing Access Schemes (AH, HWS, PW), pp. 183–190.
VLDB-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.
VLDB-1988-LecluseS #implementation #interface #query: Implementing Queries and Updates on Universal Scheme Interfaces (CL, NS), pp. 62–75.
PLDI-1988-Shivers #analysis #control flow: Control-Flow Analysis in Scheme (OS), pp. 164–174.
LFP-1988-AdamsR #object-oriented #programming: Object-Oriented Programming in Scheme (NA, JR), pp. 277–288.
LFP-1988-BerlinW #named: Scheme86: A System for Interpreting Scheme (AB, HMW), pp. 116–123.
LFP-1988-Felleisen #named #λ-calculus: λ-V-CS: An Extended λ-Calculus for Scheme (MF), pp. 72–85.
LFP-1988-TinkerK #execution #parallel: Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
SIGIR-1988-YuM #information retrieval #learning: Two Learning Schemes in Information Retrieval (CTY, HM), pp. 201–218.
OOPSLA-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.
DAC-1987-ShahM: A New Compaction Scheme Based on Compression Ridges (PCS, HNM), pp. 645–648.
PODS-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.
VLDB-1987-AtzeniC #database #dependence #functional #independence: Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.
SLP-1987-Kale87 #logic programming #parallel: “Completeness” and “Full Parallelism” of Parallel Logic Programming Schemes (LVK), pp. 125–133.
SLP-1987-KumarL87 #backtracking #prolog: An Intelligent Backtracking Scheme for Prolog (VK, YJL), pp. 406–414.
PODS-1986-ChanA #on the: On the Properties and Characterization of Connection-tap-free Schemes (EPFC, PA), pp. 140–147.
PODS-1986-RulandS #database #relational: Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.
Best-of-PLDI-1986-KranzKRHPA #compilation #named #optimisation: Orbit: an optimizing compiler for scheme (with retrospective) (DAK, RK, JR, PH, JP, NA), pp. 175–191.
LFP-1986-BartleyJ #implementation: The Implementation of PC Scheme (DHB, JCJ), pp. 88–93.
SIGIR-1986-Kwok #component #documentation: An Interpretation of Index Term Weighting Schemes Based on Document Components (KLK), pp. 275–283.
OOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented #operating system: A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
OOPSLA-1986-LangP #named #object-oriented: Oaklisp: an Object-Oriented Scheme with First Class Types (KJL, BAP), pp. 30–37.
ICLP-1986-RamamohanaraoS86 #database #prolog #scalability: A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases (KR, JS), pp. 569–576.
DAC-1985-ParkP #synthesis: Synthesis of optimal clocking schemes (NP, ACP), pp. 489–495.
PODS-1985-SteinM: Relaxing the Universal Relation Scheme Assumption (JS, DM), pp. 76–84.
SIGMOD-1985-Otoo #multi: A Multidimensional Digital Hashing Scheme for Files With Composite Keys (EJO), pp. 214–229.
SIGMOD-1985-SinhaNM #certification #database #distributed #transaction: Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDB-1985-Omiecinski #incremental: Incremental File Reorganization Schemes (EO), pp. 346–357.
ICSE-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.
SLP-1985-MiyazakiTC85 #concurrent #implementation #prolog: A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme (TM, AT, TC), pp. 110–118.
DAC-1984-Dupenloup #array: A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.
PODS-1984-GrahneR #database #dependence: Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.
PODS-1984-ImielinskiS #database #on the: On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption (TI, NS), pp. 258–265.
PODS-1984-OzsoyogluC #on the #query: On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries (ZMÖ, EC), pp. 133–142.
SIGMOD-1984-ValduriezV #multi #using: A Multikey Hashing Scheme Using Predicate Trees (PV, YV), pp. 107–114.
VLDB-1984-BeeriK #approach #database #design #relational: Comprehensive Approach to the Design of Relational Database Schemes (CB, MK), pp. 196–207.
VLDB-1984-DAtriS #database #equivalence: Equivalence and Mapping of Database Schemes (AD, DS), pp. 187–195.
STOC-1984-OngSS #equation #performance #polynomial: An Efficient Signature Scheme Based on Quadratic Equations (HO, CPS, AS), pp. 208–216.
LFP-1984-Clinger #compilation #semantics: The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.
POPL-1984-Murtagh #algol #memory management: A Less Dynamic Memory Allocation Scheme for Algol-like Languages (TPM), pp. 283–289.
PODS-1983-BeeriK #database: Elimination of Intersection Anomalies from Database Schemes (CB, MK), pp. 340–351.
PODS-1983-ChanM #database #independence: Independent and Separable Database Schemes (EPFC, AOM), pp. 288–296.
PODS-1983-Sciore83a #database: Improving Database Schemes by Adding Attributes (ES), pp. 379–383.
SIGMOD-1983-LaverMG #database #dependence #functional: Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.
VLDB-1983-PeinlR #comparison #concurrent #database #empirical: Empirical Comparison of Database Concurrency Schemes (PP, AR), pp. 97–108.
STOC-1983-GoldwasserMY: Strong Signature Schemes (SG, SM, ACCY), pp. 431–439.
SIGIR-1983-CanO #clustering: A Clustering Scheme (FC, EAO), pp. 115–121.
PODS-1982-Rissanen #database #on the: On Equivalences of Database Schemes (JR), pp. 23–26.
SIGMOD-1982-ChanFLNR #concurrent #implementation: The Implementation of an Integrated Concurrency Control and Recovery Scheme (AC, SF, WTKL, AN, DRR), pp. 184–191.
SIGMOD-1982-MaierW #database #specification: Specifying Connections for a Universal Relation Scheme Database (DM, DSW), pp. 1–7.
VLDB-1982-KedemMS #concurrent #performance #protocol: An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
STOC-1982-Greenberg #communication #complexity #on the: On the Time Complexity of Broadcast Communication Schemes (Preliminary Version) (AGG), pp. 354–364.
ICALP-1982-Schmeck #algebra #recursion #semantics: Algebraic Semantics of Recursive Flowchart Schemes (HS), pp. 489–501.
LFP-1982-Georgeff #functional #implementation #stack: A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.
POPL-1982-DamasM #functional #source code: Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.
VLDB-1981-Chase #database #graph: Join Graphs and Acyclic Database Schemes (KC), pp. 95–100.
VLDB-1981-Yannakakis #algorithm #database: Algorithms for Acyclic Database Schemes (MY), pp. 82–94.
STOC-1981-BeeriFMMUY #database: Properties of Acyclic Database Schemes (CB, RF, DM, AOM, JDU, MY), pp. 355–362.
STOC-1981-ValiantB #communication #parallel: Universal Schemes for Parallel Communication (LGV, GJB), pp. 263–277.
SIGMOD-1980-KwongW #concurrent #on the: On B-Trees: Routing Schemes and Concurrency (YSK, DW), pp. 207–211.
SIGMOD-1980-MatsushitaYHY #database #distributed #evaluation: Cost Evaluation of Directory Management Schemes for Distributed Database Systems (YM, HY, SH, IY), pp. 117–124.
STOC-1980-Mirkowska #algorithm #axiom #bound #nondeterminism: Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.
LISP-1980-McDermott #interpreter #lisp #performance: An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.
LISP-1980-MuchnickP #comparison #lisp #semantics: A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.
SIGIR-1980-Bookstein #comparison #retrieval: A Comparison of Two Weighting Schemes for Boolean Retrieval (AB), pp. 23–34.
SIGIR-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.
POPL-1980-MannaP #problem: Synchronous Schemes and Their Decision Problems (ZM, AP), pp. 62–67.
DAC-1979-MuraiTKST: A hierarchical placement procedure with a simple blocking scheme (SM, HT, MK, KS, CT), pp. 18–23.
STOC-1979-BeeriMSU #database #equivalence #relational: Equivalence of Relational Database Schemes (CB, AOM, YS, JDU), pp. 319–329.
ICALP-1979-DembinskiM #equation #two-level grammar: Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
ICALP-1979-Gallier #recursion: Recursion Schemes and Generalized Interpretations (Extended Abstract) (JHG), pp. 256–270.
SIGMOD-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.
VLDB-1978-EhrigKW #algebra #database #specification: Algebraic Specification Schemes for Data Base Systems (HE, HJK, HW), pp. 427–440.
VLDB-1978-NakamuraM #analysis: An Analysis of Storage Utilization Factor in Block Split Data Structuring Scheme (TN, TM), pp. 489–495.
ICALP-1978-FortuneHS #complexity #equivalence #for free: The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (SF, JEH, EMS), pp. 227–240.
POPL-1978-Culik #parallel: Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes (KC), pp. 176–184.
POPL-1978-KaplanU #automation: A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.
VLDB-1977-Ikeda #combinator #evaluation: Evaluation of Combinatorial File Orgenization Schemes (HI), pp. 231–235.
ICALP-1977-Damm: Languages Defined by Higher Type Program Schemes (WD), pp. 164–179.
ICALP-1976-Guessarian #equivalence #semantics: Semantic Equivalence of Program Schemes and its Syntactic Characterization (IG), pp. 189–200.
STOC-1975-RosenbergS #array: Hashing Schemes for Extendible Arrays (Extended Arrays) (ALR, LJS), pp. 159–166.
ICALP-1974-DilgerR #monad #strict: Monadic Program Schemes Under Restricted Classes of Free Interpretations (WD, PR), pp. 547–561.
ICALP-1974-Fischer #algorithm #matrix: Further Schemes for Combining Matrix Algorithms (PCF), pp. 428–436.
STOC-1972-GarlandL #equivalence #on the: On the Equivalence of Schemes (SJG, DCL), pp. 65–72.
STOC-1972-Morris #recursion: Recursion Schemes with Lists (JHMJ), pp. 35–43.
ICALP-1972-BakkerR #calculus #recursion: A Calculus for Recursive Program Schemes (JWdB, WPdR), pp. 167–196.
ICALP-1972-Engelfriet: Translation of Simple Program Schemes (JE), pp. 215–223.
STOC-1970-Rosenberg #graph: Data Graphs and Addressing Schemes: Extended Abstract (ALR), pp. 48–61.