Stem pseudo$ (all stems)

137 papers:

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.

DATE-2015-ChenZWWWZ #multi #named #pseudo #simulation

MRP: mix real cores and pseudo cores for FPGA-based chip-multiprocessor simulation (XC, GZ, HW, RW, PW, LZ), pp. 211–216.

ICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.

ICML-2015-PachecoS #approach #pseudo

Proteins, Particles, and Pseudo-Max-Marginals: A Submodular Approach (JP, EBS), pp. 2200–2208.

SAC-2015-HuangSZSXD #privacy #pseudo

A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs (JH, MS, SZ, YS, CCX, QD), pp. 688–694.

SAT-2015-PhilippS #constraints #encoding #library #named #pseudo

PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.

HIMI-DE-2014-SakuraiKNTH #pseudo #using

Evoking Emotions in a Story Using Tactile Sensations as Pseudo-body Responses with Contextual Cues (SS, TK, TN, TT, MH), pp. 241–250.

CIKM-2014-LiuYGS #feedback #graph #pseudo #ranking #recommendation

Meta-Path-Based Ranking with Pseudo Relevance Feedback on Heterogeneous Graph for Citation Recommendation (XL, YY, CG, YS), pp. 121–130.

ECIR-2014-GrausTBR #concept #generative #predict #pseudo #social

Generating Pseudo-ground Truth for Predicting New Concepts in Social Streams (DG, MT, LB, MdR), pp. 286–298.

ECIR-2014-LeeC #feedback #pseudo

Cross-Language Pseudo-Relevance Feedback Techniques for Informal Text (CJL, WBC), pp. 260–272.

ICPR-2014-Filippone #classification #process #pseudo

Bayesian Inference for Gaussian Process Classifiers with Annealing and Pseudo-Marginal MCMC (MF), pp. 614–619.

ICPR-2014-OHarneyMRCSCBF #kernel #learning #multi #pseudo

Pseudo-Marginal Bayesian Multiple-Class Multiple-Kernel Learning for Neuroimaging Data (ADO, AM, KR, KC, ABS, AC, CB, MF), pp. 3185–3190.

SIGIR-2014-YeH #effectiveness #feedback #pseudo

A simple term frequency transformation model for effective pseudo relevance feedback (ZY, JXH), pp. 323–332.

SAT-2014-FeketeC #constraints #pseudo

Simplifying Pseudo-Boolean Constraints in Residual Number Systems (YF, MC), pp. 351–366.

ICDAR-2013-HuC #classification #pseudo #using #verification

Offline Signature Verification Using Real Adaboost Classifier Combination of Pseudo-dynamic Features (JH, YC), pp. 1345–1349.

STOC-2013-LiS #approximate #pseudo

Approximating k-median via pseudo-approximation (SL, OS), pp. 901–910.

ICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random

A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.

ICALP-v2-2013-BachrachP #big data #performance #pseudo #recommendation #sketching #using

Sketching for Big Data Recommender Systems Using Fast Pseudo-random Fingerprints (YB, EP), pp. 459–471.

CIKM-2013-MiyanishiSU #feedback #pseudo #twitter

Improving pseudo-relevance feedback via tweet selection (TM, KS, KU), pp. 439–448.

SIGIR-2013-BerendsenTWR #microblog #pseudo

Pseudo test collections for training and tuning microblog rankers (RB, MT, WW, MdR), pp. 53–62.

SIGIR-2013-WuF #approach #feedback #incremental #performance #pseudo

An incremental approach to efficient pseudo-relevance feedback (HW, HF), pp. 553–562.

SAT-2013-LonsingEG #learning #performance #pseudo #quantifier

Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.

DATE-2012-HsuCCLC #effectiveness #on the #pseudo

On effective flip-chip routing via pseudo single redistribution layer (HWH, MLC, HMC, HCL, SHC), pp. 1597–1602.

DRR-2012-RashwanRAAK #2d #pseudo #robust #using

A robust omnifont open-vocabulary arabic OCR system using pseudo-2D-HMM (AMR, MR, AAH, SA, AHK).

ITiCSE-2012-GinatA #composition #pseudo

Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.

ECIR-2012-WhitingKJ #feedback #microblog #pseudo #retrieval

Temporal Pseudo-relevance Feedback in Microblog Retrieval (SW, IAK, JMJ), pp. 522–526.

ICML-2012-LiuI #distributed #estimation #parametricity #pseudo

Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.

ICPR-2012-GaoES #pseudo #ranking

A ranking model for face alignment with Pseudo Census Transform (HG, HKE, RS), pp. 1116–1119.

ICPR-2012-KananA #order #pseudo #recognition #using

Recognition of facial expressions using locally weighted and adjusted order Pseudo Zernike Moments (HRK, MA), pp. 3419–3422.

SIGIR-2012-MiaoHY #pseudo

Proximity-based rocchio’s model for pseudo relevance (JM, JXH, ZY), pp. 535–544.

SAC-2012-IkemotoDO #pseudo #reliability

Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.

DATE-2011-EggersglusD #fault #generative #optimisation #pseudo #testing #using

As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.

DATE-2011-NigamTZBM #nondeterminism #pseudo #representation

Pseudo circuit model for representing uncertainty in waveforms (AN, QT, AZ, MB, NvdM), pp. 1521–1524.

TACAS-2011-CodishFFS #constraints #encoding #pseudo

Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.

DLT-J-2009-KariMS11 #pseudo #word

Properties of Pseudo-Primitive Words and their Applications (LK, BM, SS), pp. 447–471.

HIMI-v2-2011-IshiiOMM #3d #communication #named #pseudo #video

MoPaCo: Pseudo 3D Video Communication System (RI, SO, TM, NM), pp. 131–140.

CIKM-2011-GangulyLMJ #feedback #pseudo #query #reduction #using

Patent query reduction using pseudo relevance feedback (DG, JL, WM, GJFJ), pp. 1953–1956.

CIKM-2011-KeikhaSCC #documentation #effectiveness #feedback #predict #pseudo

Predicting document effectiveness in pseudo relevance feedback (MK, JS, WBC, FC), pp. 2061–2064.

SIGIR-2011-AsadiMEL #learning #pseudo #ranking #web

Pseudo test collections for learning web search ranking functions (NA, DM, TE, JJL), pp. 1073–1082.

SIGIR-2011-LvZC #approach #feedback #pseudo

A boosting approach to improving pseudo-relevance feedback (YL, CZ, WC), pp. 165–174.

SIGIR-2011-WhitingMJ #feedback #pseudo

Exploring term temporality for pseudo-relevance feedback (SW, YM, JMJ), pp. 1245–1246.

SAT-2011-Aavani #constraints #pseudo

Translating Pseudo-Boolean Constraints into CNF (AA), pp. 357–359.

SAT-2011-AbioNOR #constraints #pseudo #revisited

BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.

ASE-2010-TrezentosLO #dependence #named #optimisation #problem #pseudo #using

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.

DATE-2010-HuangFLYSSC #design #flexibility #named #novel #pseudo

Pseudo-CMOS: A novel design style for flexible electronics (TCH, KF, CML, YHY, TS, TS, KTC), pp. 154–159.

DATE-2010-LiuZYX #power management #pseudo #testing

Layout-aware pseudo-functional testing for critical paths considering power supply noise effects (XL, YZ, FY, QX), pp. 1432–1437.

DRR-2010-ChenL #on the #pseudo #security #usability

On the usability and security of pseudo-signatures (JC, DPL), pp. 1–10.

DLT-2010-ChiniforooshanKX #pseudo

Pseudo-power Avoidance (EC, LK, ZX), pp. 432–433.

CIKM-2010-BenderskyCS #feedback #pseudo #query #using

Structural annotation of search queries using pseudo-relevance feedback (MB, WBC, DAS), pp. 1537–1540.

CIKM-2010-DillonC #algorithm #feedback #framework #optimisation #pseudo #robust

A unified optimization framework for robust pseudo-relevance feedback algorithms (JVD, KCT), pp. 1069–1078.

ECIR-2010-RamanUBB #documentation #feedback #on the #pseudo #using

On Improving Pseudo-Relevance Feedback Using Pseudo-Irrelevant Documents (KR, RU, PB, AB), pp. 573–576.

KDD-2010-TaiYC #mining #outsourcing #pseudo #taxonomy

k-Support anonymity based on pseudo taxonomy for outsourcing of frequent itemset mining (CHT, PSY, MSC), pp. 473–482.

SIGIR-2010-LvZ #feedback #pseudo

Positional relevance model for pseudo-relevance feedback (YL, CZ), pp. 579–586.

SIGIR-2010-UdupaB #feedback #pseudo

Investigating the suboptimality and instability of pseudo-relevance feedback (RU, AB), pp. 813–814.

DAC-2009-YuanX #identification #on the #pseudo #testing

On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.

DRR-2009-BergmannK #pseudo

Pseudo-color enhanced X-ray fluorescence imaging of the Archimedes Palimpsest (UB, KTK), pp. 1–10.

ICDAR-2009-BonillaFGH #pseudo #verification

Offline Signature Verification Based on Pseudo-Cepstral Coefficients (JFVB, MAFB, CMTG, JBAH), pp. 126–130.

ICDAR-2009-ChenLM #pseudo #towards

Toward Resisting Forgery Attacks via Pseudo-Signatures (JC, DPL, FM), pp. 51–55.

CIKM-2009-BashirR #clustering #documentation #feedback #pseudo

Improving retrievability of patents with cluster-based pseudo-relevance feedback documents selection (SB, AR), pp. 1863–1866.

CIKM-2009-KimC #pseudo #retrieval #using

Retrieval experiments using pseudo-desktop collections (JK, WBC), pp. 1297–1306.

CIKM-2009-LvZ09a #case study #comparative #feedback #modelling #pseudo #query

A comparative study of methods for estimating query language models with pseudo feedback (YL, CZ), pp. 1895–1898.

CIKM-2009-PuH #clustering #feedback #pseudo #semantics #using

Pseudo relevance feedback using semantic clustering in relevance language model (QP, DH), pp. 1931–1934.

KDD-2009-FrenoTG #estimation #hybrid #pseudo #random #scalability

Scalable pseudo-likelihood estimation in hybrid random fields (AF, ET, MG), pp. 319–328.

MLDM-2009-OkuboH #concept #pseudo

Finding Top-N Pseudo Formal Concepts with Core Intents (YO, MH), pp. 479–493.

SIGIR-2009-XuJW #feedback #pseudo #query #wiki

Query dependent pseudo-relevance feedback based on wikipedia (YX, GJFJ, BW), pp. 59–66.

SAT-2009-BailleuxBR #constraints #encoding #pseudo

New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.

SAT-2009-BertholdHP #optimisation #pseudo #question

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation? (TB, SH, MEP), pp. 441–446.

ECIR-2008-HuangSR #documentation #feedback #pseudo #query #robust

Robust Query-Specific Pseudo Feedback Document Selection for Query Expansion (QH, DS, SMR), pp. 547–554.

ICPR-2008-Trujillo-RomeroD #pseudo #using

Registration by using a pseudo color attribute (FTR, MD), pp. 1–4.

SIGIR-2008-CaoNGR #feedback #pseudo

Selecting good expansion terms for pseudo-relevance feedback (GC, JYN, JG, SR), pp. 243–250.

SIGIR-2008-LeeCA #clustering #feedback #pseudo

A cluster-based resampling method for pseudo-relevance feedback (KSL, WBC, JA), pp. 235–242.

SAC-2008-LevadaMTS #estimation #higher-order #parametricity #pseudo

Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood (ALML, NDAM, AT, DHPS), pp. 1733–1737.

DATE-2007-MangassarianVSNA #estimation #process #pseudo #satisfiability #using

Maximum circuit activity estimation using pseudo-boolean satisfiability (HM, AGV, SS, FNN, MSA), pp. 1538–1543.

ICDAR-2007-ChenLJ #learning #pseudo #recognition

Learning Handwritten Digit Recognition by the Max-Min Posterior Pseudo-Probabilities Method (XC, XL, YJ), pp. 342–346.

ICDAR-2007-TerasawaT #documentation #image #locality #pseudo

Locality Sensitive Pseudo-Code for Document Images (KT, YT), pp. 73–77.

SIGMOD-2007-TangCLMYZ #effectiveness #pseudo

Effective variation management for pseudo periodical streams (LaT, BC, HL, GM, DY, XZ), pp. 257–268.

SIGIR-2007-Collins-ThompsonC #estimation #feedback #nondeterminism #pseudo

Estimation and use of uncertainty in pseudo-relevance feedback (KCT, JC), pp. 303–310.

SIGIR-2007-KoAS #effectiveness #feedback #generative #pseudo #using

An effective snippet generation method using the pseudo relevance feedback technique (YK, HA, JS), pp. 711–712.

SIGIR-2007-WhiteCC #pseudo #query #refinement

Comparing query logs and pseudo-relevance feedbackfor web-search query refinement (RWW, CLAC, SC), pp. 831–832.

SAT-2007-LukasiewyczGHT #multi #problem #pseudo

Solving Multi-objective Pseudo-Boolean Problems (ML, MG, CH, JT), pp. 56–69.

CIKM-2006-ShiXZNW #pseudo

Pseudo-anchor text extraction for searching vertical objects (SS, FX, MZ, ZN, JRW), pp. 858–859.

ICPR-v2-2006-NedzvedAU #pseudo #using

Gray-scale thinning by using a pseudo-distance map (AN, SA, SU), pp. 239–242.

ICPR-v4-2006-WangXC #2d #automation #classification #pseudo #using #video

Automatic Sports Video Genre Classification using Pseudo-2D-HMM (JW, CX, EC), pp. 778–781.

SIGIR-2006-BoydellS #personalisation #pseudo #web

Community-based snippet-indexes for pseudo-anonymous personalization in web search (OB, BS), pp. 617–618.

SIGIR-2006-KumaranA #feedback #pseudo

Simple questions to improve pseudo-relevance feedback results (GK, JA), pp. 661–662.

SIGIR-2006-TaoZ #estimation #feedback #modelling #pseudo #robust

Regularized estimation of mixture models for robust pseudo-relevance feedback (TT, CZ), pp. 162–169.

DATE-2005-ManquinhoM #bound #effectiveness #optimisation #pseudo

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (VMM, JPMS), pp. 660–665.

DATE-2005-SheiniS #named #pseudo #satisfiability

Pueblo: A Modern Pseudo-Boolean SAT Solver (HMS, KAS), pp. 684–685.

DATE-2005-ZhangCHC #analysis #pseudo #statistics

Statistical Timing Analysis with Extended Pseudo-Canonical Timing Model (LZ, WC, YH, CCPC), pp. 952–957.

CIAA-2005-DaciukMS #automaton #incremental #pseudo

Incremental and Semi-incremental Construction of Pseudo-Minimal Automata (JD, DM, AS), pp. 341–342.

ICALP-2005-Zimand #encryption #generative #pseudo

Simple Extractors via Constructions of Cryptographic Pseudo-random Generators (MZ), pp. 115–127.

SIGIR-2005-KurlandLD #clustering #modelling #pseudo #using

Better than the real thing?: iterative pseudo-query processing using cluster-based language models (OK, LL, CD), pp. 19–26.

SAT-2005-ManquinhoM #algorithm #on the #optimisation #pseudo

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (VMM, JPMS), pp. 451–458.

DAC-2004-ChopraV #algorithm #pseudo

Implicit pseudo boolean enumeration algorithms for input vector control (KC, SBKV), pp. 767–772.

DATE-v1-2004-CorsiMMBD #pseudo #sequence

Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters (FC, CM, GM, AB, SD), pp. 94–101.

CHI-2004-LecuyerBE #interface #pseudo

Feeling bumps and holes without a haptic interface: the perception of pseudo-haptic textures (AL, JMB, LE), pp. 239–246.

ICML-2004-Shalev-ShwartzSN #learning #online #pseudo

Online and batch learning of pseudo-metrics (SSS, YS, AYN).

SIGIR-2004-CloughS #feedback #pseudo

Measuring pseudo relevance feedback & CLIR (PDC, MS), pp. 484–485.

SIGIR-2004-TaoZ #feedback #pseudo

A two-stage mixture model for pseudo feedback (TT, CZ), pp. 486–487.

SAT-2004-ManquinhoM #bound #optimisation #pseudo #satisfiability #using

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization (VMM, JPMS), pp. 120–126.

DAC-2003-ChaiK #constraints #performance #pseudo #theorem proving

A fast pseudo-boolean constraint solver (DC, AK), pp. 830–835.

DATE-2003-PolianBR #markov #optimisation #pseudo #random

Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST (IP, BB, SMR), pp. 11184–11185.

ICDAR-2003-KiseYM #2d #documentation #feedback #image #pseudo #retrieval

Document Image Retrieval Based on 2D Density Distributions of Terms with Pseudo Relevance Feedback (KK, WY, KM), pp. 488–492.

DAC-2002-BartleyGB #comparison #pseudo #random testing #testing #verification

A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.

STOC-2002-Umans #generative #pseudo

Pseudo-random generators for all hardnesses (CU), pp. 627–634.

ICPR-v2-2002-MullerWHR #3d #markov #modelling #pseudo #recognition #using

Facial Expression Recognition Using Pseudo 3-D Hidden Markov Models (SM, FW, FH, GR), pp. 32–35.

DATE-2001-GarnicaLH #power management #pseudo

A pseudo delay-insensitive timing model to synthesizing low-power asynchronous circuits (OG, JL, RH), p. 810.

ICDAR-2001-ShiOWK #clustering #distance #pseudo #recognition

Clustering with Projection Distance and Pseudo Bayes Discriminant Function for Handwritten Numeral Recognition (MS, WO, TW, FK), pp. 1007–1011.

SIGIR-2001-SakaiR #feedback #flexibility #optimisation #pseudo #using

Flexible Pseudo-Relevance Feedback Using Optimization Tables (TS, SER), pp. 396–397.

IJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.

STOC-2000-ImpagliazzoSW #generative #pseudo

Extractors and pseudo-random generators with optimal seed length (RI, RS, AW), pp. 1–10.

STOC-2000-NaorRR #pseudo

Pseudo-random functions and factoring (extended abstract) (MN, OR, AR), pp. 11–20.

ICML-2000-KephartT #pseudo

Pseudo-convergent Q-Learning by Competitive Pricebots (JOK, GT), pp. 463–470.

ICPR-v3-2000-HuangCH00a #2d #analysis #pseudo

Local Spectra Features Extraction Based-On 2D Pseudo-Wigner Distribution for Texture Analysis (ZH, KLC, YH), pp. 3925–3928.

SIGIR-2000-Ogawa #documentation #n-gram #performance #pseudo #ranking #retrieval

Pseudo-frequency method: an efficient document ranking retrieval method for n-gram indexing (YO), pp. 321–323.

STOC-1999-Trevisan #generative #pseudo #using

Construction of Extractors Using Pseudo-Random Generators (Extended Abstract) (LT), pp. 141–148.

ICALP-1999-AndreevBCR #bound #branch #pseudo #set #source code

Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs (AEA, JLB, AEFC, JDPR), pp. 179–189.

SAC-1998-HallamY #fuzzy #product line #pseudo #strict

Families of fuzzy implication operators within measure M1 and their pseudo-strict (NH, KMY), pp. 262–266.

EDTC-1997-DufazaZ #generative #on the #pseudo #sequence #testing

On the generation of pseudo-deterministic two-patterns test sequence with LFSRs (CD, YZ), pp. 69–76.

ICDAR-1997-Bippus #2d #pseudo #recognition

1-Dimensional and Pseudo 2-Dimensional HMMs for the Recognition of German Literal Amounts (RDB), pp. 487–490.

TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability

Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.

STOC-1997-AuerLS #approximate #learning #pseudo #set

Approximating Hyper-Rectangles: Learning and Pseudo-Random Sets (PA, PML, AS), pp. 314–323.

STOC-1997-NaorR #on the #permutation #pseudo

On the Construction of Pseudo-Random Permutations: Luby-Rackoff Revisited (Extended Abstract) (MN, OR), pp. 189–199.

WIA-1997-MaurelC #pseudo #transducer

Pseudo-minimal Transducers: A Transducer with Proper Elements (DM, LC), pp. 122–132.

DAC-1996-LiouLC #performance #pipes and filters #pseudo #testing

Area Efficient Pipelined Pseudo-Exhaustive Testing with Retiming (HYL, TTYL, CKC), pp. 274–279.

CADE-1996-Weidenbach #decidability #pseudo #unification

Unification in Pseudo-Linear Sort Theories is Decidable (CW), pp. 343–357.

EDAC-1994-WatanabeB #automaton #nondeterminism #pseudo

State Minimization of Pseudo Non-Deterministic FSM’s (YW, RKB), pp. 184–191.

DAC-1993-GanapathyA #pseudo

Selective Pseudo Scan: Combinational ATPG with Reduced Scan in a Full Custom RISC Microprocessor (GG, JAA), pp. 550–555.

DAC-1993-SrinivasanGB #clustering #performance #pseudo #testing

An Efficient Partitioning Strategy for Pseudo-Exhaustive Testing (RS, SKG, MAB), pp. 242–248.

ICDAR-1993-AgazziK #2d #documentation #image #markov #modelling #normalisation #pseudo #recognition #using

Joint normalization and recognition of degraded document images using pseudo-2D hidden Markov models (OEA, SsK), pp. 155–158.

ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo

Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.

VLDB-1992-Antoshenkov #pseudo #random

Random Sampling from Pseudo-Ranked B+ Trees (GA), pp. 375–382.

STOC-1990-Hastad #generative #pseudo

Pseudo-Random Generators under Uniform Assumptions (JH), pp. 395–404.

STOC-1989-ImpagliazzoLL #generative #pseudo

Pseudo-random Generation from one-way functions (Extended Abstracts) (RI, LAL, ML), pp. 12–24.

STOC-1986-LubyR #composition #encryption #generative #permutation #pseudo

Pseudo-random Permutation Generators and Cryptographic Composition (ML, CR), pp. 356–363.

ICALP-1981-Shamir #encryption #generative #on the #pseudo #sequence

On the Generation of Cryptographically Strong Pseudo-Random Sequences (AS), pp. 544–550.

DAC-1978-LekkosP #how #logic #pseudo #refinement #using

How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.