Stem discret$ (all stems)

297 papers:

CASE-2015-AcarS #design #fault

Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.

CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification

Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.

CASE-2015-BjorkenstamCL

Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.

CASE-2015-HillmannS #dependence #distributed #linear

Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.

CASE-2015-LuoZHZ #modelling #synthesis

Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.

CASE-2015-Malik #composition #verification

Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.

CASE-2015-NonakaSLNKK #analysis #simulation #statistics

The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.

CASE-2015-SemeniutaF #approach #data flow #formal method #industrial #specification

Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.

CASE-2015-TomolaMBC #robust

Robust codiagnosability of discrete-event systems against permanent loss of observations (JHAT, MVM, JCB, LKC), pp. 813–818.

CASE-2015-VuW #design #fuzzy #nondeterminism

Observer design for a discrete-time T-S fuzzy system with uncertainties (VPV, WJW), pp. 1262–1267.

CASE-2015-ZhangTYL #assessment #markov #reliability #using

CAN node reliability assessment using segmented discrete time Markov chains (LZ, LT, FY, YL), pp. 231–236.

DATE-2015-AndradeMVAPL #analysis #data flow #modelling

Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.

STOC-2015-AggarwalDRS #problem #using

Solving the Shortest Vector Problem in 2n Time Using Discrete Gaussian Sampling: Extended Abstract (DA, DD, OR, NSD), pp. 733–742.

STOC-2015-LiRSS #learning #statistics

Learning Arbitrary Statistical Mixtures of Discrete Distributions (JL, YR, LJS, CS), pp. 743–752.

CIAA-2015-AdigaKMRRS #complexity

Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.

ICALP-v1-2015-CzyzowiczGKKSU #convergence #on the #protocol

On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols (JC, LG, AK, EK, PGS, PU), pp. 393–405.

DUXU-UI-2015-GuimaraesS #simulation

Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.

ICEIS-v1-2015-Xylogiannopoulos #detection #roadmap

Discretization Method for the Detection of Local Extrema and Trends in Non-discrete Time Series (KFX, PK, RA), pp. 346–352.

MoDELS-2015-Moawad0FNKT #modelling #performance

Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.

ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing

Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.

CASE-2014-NgoS

A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.

LATA-2014-MasseTT #on the

On the Arithmetics of Discrete Figures (ABM, AMT, HT), pp. 198–209.

IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.

SEFM-2014-ReicherdtG #matlab #modelling #using #verification

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.

SFM-2014-AbrahamBDJKW #bibliography #generative #markov #modelling

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.

CHI-2014-JiangATBZ

Pupil responses during discrete goal-directed movements (XJ, MSA, GT, RB, BZ), pp. 2075–2084.

ICML-c1-2014-ErmonGSS #constraints #integration

Low-density Parity Constraints for Hashing-Based Discrete Integration (SE, CPG, AS, BS), pp. 271–279.

ICML-c2-2014-EbanMG #classification

Discrete Chebyshev Classifiers (EE, EM, AG), pp. 1233–1241.

ICPR-2014-DarvishLS #image

Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.

ICPR-2014-GadelhaC #invariant #named #robust

DRINK: Discrete Robust Invariant Keypoints (MAG, BMC), pp. 821–826.

ICPR-2014-LiuZH #energy #graph #optimisation

Improved Optimization Based on Graph Cuts for Discrete Energy Minimization (KL, JZ, KH), pp. 2424–2429.

ICPR-2014-LuZXGW #approximate #morphism #quantum

Approximate Maximum Common Sub-graph Isomorphism Based on Discrete-Time Quantum Walk (KL, YZ, KX, YG, RCW), pp. 1413–1418.

ICPR-2014-ParagiosK #visual notation

Discrete Visual Perception (NP, NK), pp. 18–25.

ICPR-2014-WerghiBB

Computing Local Binary Patterns on Discrete Manifolds (NW, SB, ADB), pp. 2430–2435.

KR-2014-Lin #first-order #formal method #linear #logic #source code

A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).

CASE-2013-ChenK #distributed #probability

Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.

CASE-2013-DanancherLLF #multi

A Discrete event model for multiple inhabitants location tracking (MD, JJL, LL, GF), pp. 910–915.

CASE-2013-Markovski #analysis #synthesis

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.

CASE-2013-PerinF #automation #modelling

Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.

DATE-2013-ChenD #parallel #predict #simulation #using

Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.

DATE-2013-LivramentoGGJ #performance

Fast and efficient lagrangian relaxation-based discrete gate sizing (VSL, CG, JLG, MOJ), pp. 1855–1860.

ICDAR-2013-HangargeSP #identification

Directional Discrete Cosine Transform for Handwritten Script Identification (MH, KCS, RP), pp. 344–348.

ICDAR-2013-HebertNP #documentation #framework #image

Discrete CRF Based Combination Framework for Document Image Binarization (DH, SN, TP), pp. 1165–1169.

STOC-2013-BringmannL

Succinct sampling from discrete distributions (KB, KGL), pp. 775–782.

STOC-2013-DeMN

Majority is stablest: discrete and SoS (AD, EM, JN), pp. 477–486.

LATA-2013-Ouaknine #linear

Discrete Linear Dynamical Systems (JO), p. 42.

ICML-c1-2013-ChevaleyreKZ #classification #linear

Rounding Methods for Discrete Linear Classification (YC, FK, JDZ), pp. 651–659.

ICML-c2-2013-ErmonGSS #integration #optimisation

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization (SE, CPG, AS, BS), pp. 334–342.

SOSP-2013-ZahariaDLHSS #fault tolerance #scalability #streaming

Discretized streams: fault-tolerant streaming computation at scale (MZ, TD, HL, TH, SS, IS), pp. 423–438.

CASE-2012-CabasinoGMS #comparison #tool support

A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.

CASE-2012-ChenK #polynomial #probability

Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.

CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.

CASE-2012-DotoliFIR #agile #modelling #simulation #using

A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.

CASE-2012-FeiMAL #approach #automaton #finite #scalability

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, KÅ, BL), pp. 502–507.

CASE-2012-HoerningSWS #analysis #robust #simulation #tool support

Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.

CASE-2012-KobayashiH #automaton #on the

On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.

CASE-2012-NgoS #composition #design

Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition (QHN, KTS), pp. 674–679.

DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named

DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.

DAC-2012-JungCK #optimisation #variability

Variability-aware, discrete optimization for analog circuits (SJ, YC, JK), pp. 536–541.

TACAS-2012-WimmerJABK #markov #modelling

Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, BB, JPK), pp. 299–314.

ICALP-v1-2012-BringmannP #performance

Efficient Sampling Methods for Discrete Distributions (KB, KP), pp. 133–144.

ICALP-v2-2012-Fiore #polynomial

Discrete Generalised Polynomial Functors — (Extended Abstract) (MPF), pp. 214–226.

FM-2012-NguyenSLDL #analysis

Improved BDD-Based Discrete Analysis of Timed Systems (TKN, JS, YL, JSD, YL), pp. 326–340.

CSCW-2012-BenfordTACR #design

Supporting traditional music-making: designing for situated discretion (SB, PT, AYA, AC, TR), pp. 127–136.

ICPR-2012-GimelfarbGND #concurrent #optimisation #problem

Concurrent propagation for solving ill-posed problems of global discrete optimisation (GLG, RG, RN, PD), pp. 1864–1867.

KEOD-2012-WicaksonoRO #approach #energy #ontology

Ontology Driven Approach for Intelligent Energy Management in Discrete Manufacturing (HW, SR, JO), pp. 108–114.

KR-2012-GrastienHT #theory and practice

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).

SAC-2012-SwainCNB #analysis #markov #performance #using

Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model (PS, SC, SN, PB), pp. 631–633.

CASE-2011-BasileCC #analysis #automation

A discrete event model for the control and analysis of complex automated warehouse systems (FB, PC, JC), pp. 201–207.

CASE-2011-CabasinoCGSS #framework #integration #tool support

A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.

CASE-2011-MalkiM #approach #modelling

Boolean temporal model-based approach for the diagnosis of Discrete Event Systems (NM, MSM), pp. 175–180.

CASE-2011-MohajeraniMF #composition #nondeterminism #synthesis

Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.

DAC-2011-AadithyaVDR #impact analysis #named #predict #probability #random

MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs (KVA, SV, AD, JSR), pp. 292–297.

DAC-2011-HochmanBW #empirical #reduction

A stabilized discrete empirical interpolation method for model reduction of electrical, thermal, and microelectromechanical systems (AH, BNB, JKW), pp. 540–545.

SIGMOD-2011-SadoghiJ #named

BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.

DUXU-v2-2011-Hofman #modelling #statistics

Range Statistics and the Exact Modeling of Discrete Non-Gaussian Distributions on Learnability Data (RH), pp. 421–430.

CIKM-2011-ChenWDZ #correlation #monitoring

Continuously monitoring the correlations of massive discrete streams (YC, WW, XD, XZ), pp. 1571–1576.

ICML-2011-YangR #learning #on the #visual notation

On the Use of Variational Inference for Learning Discrete Graphical Model (EY, PDR), pp. 1009–1016.

KDIR-2011-FerreiraF #array

Feature Discretization and Selection in Microarray Data (AJF, MATF), pp. 465–469.

CASE-2010-LinYG

Sensor configuration selection for discrete-event systems under unreliable observations (WCL, TSY, HEG), pp. 477–484.

CIAA-2010-Rudie #problem #summary

A Summary of Some Discrete-Event System Control Problems (KR), pp. 4–16.

ICALP-v2-2010-ClementiMS #modelling

Modelling Mobility: A Discrete Revolution (AEFC, AM, RS), pp. 490–501.

IFL-2010-TorontoM #probability

From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.

ICGT-2010-LaraGBHT #graph transformation #simulation

Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.

ICPR-2010-Chicheva #2d #algorithm #data transformation #parallel #representation

Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.

ICPR-2010-Debled-RennessonW

Combining Force Histogram and Discrete Lines to Extract Dashed Lines (IDR, LW), pp. 1574–1577.

ICPR-2010-DursunG #2d #fourier

Reversible Interger 2-D Discrete Fourier Transform by Control Bits (SD, AMG), pp. 4436–4439.

ICPR-2010-FlorianiMV #modelling

Modeling and Generalization of Discrete Morse Terrain Decompositions (LDF, PM, MV), pp. 999–1002.

ICPR-2010-KopenkovM #algorithm #performance #recursion #research

Research the Performance of a Recursive Algorithm of the Local Discrete Wavelet Transform (VNK, VVM), pp. 4452–4455.

ICPR-2010-SanromaAS #approach #graph #using

A Discrete Labelling Approach to Attributed Graph Matching Using SIFT Features (GS, RA, FS), pp. 954–957.

ICPR-2010-WeissFM #3d #analysis #image #multi

Multiresolution Analysis of 3D Images Based on Discrete Distortion (KW, LDF, MMM), pp. 4093–4096.

ICPR-2010-WolfJ

Integrating a Discrete Motion Model into GMM Based Background Subtraction (CW, JMJ), pp. 9–12.

ICPR-2010-Yildiz #feature model

Feature Extraction from Discrete Attributes (OTY), pp. 3915–3918.

LCTES-2010-DelavalMR #composition #contract #synthesis

Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.

CAV-2010-MariMST #feedback #hybrid #linear #synthesis

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.

CASE-2009-XuK #nondeterminism

Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.

DATE-2009-DabiriVPS #energy #realtime

Energy minimization for real-time systems with non-convex and discrete operation modes (FD, AV, MP, MS), pp. 1416–1421.

STOC-2009-CleveGMSY #algorithm #performance #quantum #query #simulation

Efficient discrete-time simulations of continuous-time quantum query algorithms (RC, DG, MM, RDS, DLYM), pp. 409–416.

ICEIS-J-2009-LampertiZ #monitoring #nondeterminism

Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.

KDD-2009-ShenJY #matrix #mining

Mining discrete patterns via binary matrix factorization (BHS, SJ, JY), pp. 757–766.

MLDM-2009-MorelandT

Discretization of Target Attributes for Subgroup Discovery (KM, KT), pp. 44–52.

MLDM-2009-QureshiZ #quality #using

Using Resampling Techniques for Better Quality Discretization (TQ, DAZ), pp. 68–81.

MLDM-2009-Truemper #reliability #strict

Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization (KT), pp. 1–15.

MLDM-2009-ZhuFF #classification #privacy

Preserving Privacy in Time Series Data Classification by Discretization (YZ, YF, HF), pp. 53–67.

POPL-2009-WangLKKM #concurrent #formal method

The theory of deadlock avoidance via discrete control (YW, SL, TK, MK, SAM), pp. 252–263.

VMCAI-2009-WimmerBB #bound #generative #markov #model checking #using

Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (RW, BB, BB), pp. 366–380.

CASE-2008-0001LYS #optimisation

An improved lagrangian relaxation method for discrete optimization applications (WW, PBL, JHY, GAS), pp. 359–364.

CASE-2008-AdamekSS #hybrid #nondeterminism #probability

Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.

CASE-2008-ChakibK #architecture #distributed #multi

Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems (HC, AK), pp. 187–193.

CASE-2008-KannanGSN #approach #nash #optimisation

A Nash bargaining approach to retention enhancing bid optimization in sponsored search auctions with discrete bids (RK, DG, KS, YN), pp. 1007–1012.

DAC-2008-MoffittPLA #optimisation

Path smoothing via discrete optimization (MDM, DAP, ZL, CJA), pp. 724–727.

DATE-2008-GheorgheBNB #modelling #semantics #validation

Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.

FM-2008-FuriaPR #approximate #automation #specification #verification

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.

CHI-2008-ShiIGS #named

PressureFish: a method to improve control of discrete pressure-based input (KS, PI, SG, SS), pp. 1295–1298.

ICEIS-AIDSS-2008-BoucheGC #sequence

A Global Model of Sequences of Discrete Event Class Occurrences (PB, MLG, JC), pp. 173–180.

ICEIS-AIDSS-2008-GocB #sequence

Discovering Expert’s Knowledge from Sequences of Discrete Event Class Occurrences (MLG, NB), pp. 253–260.

ICPR-2008-AlpcanB #algorithm #distributed #learning #parallel

A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.

ICPR-2008-ChandraS #using

A method for removing cyclic artefacts in discrete tomography using latin squares (SC, IDS), pp. 1–4.

ICPR-2008-Coeurjolly #distance

Distance transformation, reverse distance transformation and discrete medial axis on toric spaces (DC), pp. 1–4.

ICPR-2008-GhoniemCE #graph #video

Video denoising via discrete regularization on graphs (MG, YC, AE), pp. 1–4.

ICPR-2008-MissaouiF

Optimal feature weighting for the discrete HMM (OM, HF), pp. 1–4.

ICPR-2008-SchenkR #online #recognition

Neural net vector quantizers for discrete HMM-based on-line handwritten whiteboard-note recognition (JS, GR), pp. 1–4.

SAC-2008-Chen #energy

Expected energy consumption minimization in DVS systems with discrete frequencies (JJC), pp. 1720–1725.

SAC-2008-PlasMW #multi

Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry (RVdP, BDM, EW), pp. 1307–1308.

SAC-2008-RibeiroTT #algorithm #feature model

A new algorithm for data discretization and feature selection (MXR, AJMT, CTJ), pp. 953–954.

FSE-2008-DragertDR #concurrent #generative #using

Generation of concurrency control code using discrete-event systems theory (CD, JD, KR), pp. 146–157.

ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.

CASE-2007-AlenljungSLA #detection #fault #implementation #process

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.

CASE-2007-BasileCT #fault #online #using

Improving on-line fault diagnosis for discrete event systems using time (FB, PC, GDT), pp. 26–32.

CASE-2007-DotoliFM #identification #monitoring #on the #petri net #specification

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.

CASE-2007-NaZW #identification #process

Discrete-Model Identification for Nonlinear Laser Welding Process (XN, YZ, BW), pp. 1002–1007.

CASE-2007-PanH #analysis

Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures (JP, SHZ), pp. 869–874.

CASE-2007-YeMY #2d #identification #metric

Information Measures for Biometric Identification via 2D Discrete Wavelet Transform (ZY, HM, YY), pp. 835–840.

CASE-2007-ZhaoLZ #on the #petri net

On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.

FoSSaCS-2007-ParmaS #bisimulation #logic #probability

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.

SIGAda-2007-PukiteL #design #logic #simulation #using

Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.

KDD-2007-AgarwalM #modelling #predict #scalability

Predictive discrete latent factor models for large scale dyadic data (DA, SM), pp. 26–35.

MLDM-2007-EkdahlK #classification #learning #on the

On Concentration of Discrete Distributions with Applications to Supervised Learning of Classifiers (ME, TK), pp. 2–16.

SAC-2007-PintoG #concept #incremental

Incremental discretization, application to data with concept drift (CP, JG), pp. 467–468.

CAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling

Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.

LICS-2007-NguyenC #complexity #proving #theorem

The Complexity of Proving the Discrete Jordan Curve Theorem (PN, SAC), pp. 245–256.

CASE-2006-DotoliFM #case study #identification #online

On-Line Identification of Discrete Event Systems: a Case Study (MD, MPF, AMM), pp. 405–410.

DATE-2006-LuZSLS #scheduling #set

Procrastinating voltage scheduling with discrete frequency sets (ZL, YZ, MRS, JL, KS), pp. 456–461.

DATE-2006-ViaudPG #modelling #parallel #performance #simulation

An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.

STOC-2006-DinurFKO #bound #fourier #on the

On the fourier tails of bounded functions over the discrete cube (ID, EF, GK, RO), pp. 437–446.

DLT-J-2005-BrlekLL06 #set

Properties of the Contour Path of Discrete Sets (SB, GL, AL), pp. 543–556.

ICALP-v1-2006-ChenD #2d #complexity #fixpoint #on the #problem

On the Complexity of 2D Discrete Fixed Point Problem (XC, XD), pp. 489–500.

SIGAda-2006-LudwigP #named

DEGAS: discrete event Gnu advanced scheduler (LL, PP), pp. 35–42.

ICEIS-AIDSS-2006-LampertiZ #incremental

Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.

ICEIS-DISI-2006-LoureiroB #algorithm

A Discrete Particle Swarm Algorithm for OLAP Data Cube Selection (JL, OB), pp. 46–62.

ICEIS-J-2006-LampertiZ06a #monitoring #on the

On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.

ICML-2006-PoupartVHR #learning

An analytic solution to discrete Bayesian reinforcement learning (PP, NAV, JH, KR), pp. 697–704.

ICML-2006-ToussaintS #markov #probability #process

Probabilistic inference for solving discrete and continuous state Markov Decision Processes (MT, AJS), pp. 945–952.

ICPR-v1-2006-TakizawaY #3d #modelling #re-engineering #using

Surface Reconstruction from Stereovision Data Using a 3-D MRF of Discrete Object Models (HT, SY), pp. 27–30.

ICPR-v1-2006-TongSS #estimation

Continuous-Discrete Filtering for Cardiac Kinematics Estimation under Spatio-Temporal Biomechanical Constrains (ST, AJS, PS), pp. 167–170.

ICPR-v2-2006-ChiangK #classification #using

Classification of Line and Character Pixels on Raster Maps Using Discrete Cosine Transformation Coefficients and Support Vector Machine (YYC, CAK), pp. 1034–1037.

ICPR-v2-2006-Ekbal #classification #predict #using

Improvement of Prediction Accuracy Using Discretization and Voting Classifier (AE), pp. 695–698.

ICPR-v3-2006-AlleneP #image #optimisation #using

Image Renaissance Using Discrete Optimization (CA, NP), pp. 631–634.

ICPR-v3-2006-LiPKZ #multimodal #using

Multimodal Registration using the Discrete Wavelet Frame Transform (SL, JP, JTK, JZ), pp. 877–880.

SAC-2006-DelavalR #domain-specific language #generative #synthesis

A domain-specific language for task handlers generation, applying discrete controller synthesis (GD, ÉR), pp. 901–905.

SAC-2006-GamaP #data mining #data type #mining

Discretization from data streams: applications to histograms and data mining (JG, CP), pp. 662–667.

CASE-2005-0001G #embedded

Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.

CASE-2005-JainR #analysis #modelling #using

Analysis of base-stock controlled production-inventory system using discrete-time queueing models (SJ, NRSR), pp. 37–42.

CASE-2005-ZhuD #design #layout #synthesis

Grasp synthesis and fixture layout design in discrete domain (XZ, HD), pp. 73–78.

DAC-2005-NordinMHP #automation #fourier #generative

Automatic generation of customized discrete fourier transform IPs (GN, PAM, JCH, MP), pp. 471–474.

DAC-2005-RaoV #energy #set

Energy optimal speed control of devices with discrete speed sets (RR, SBKV), pp. 901–904.

DATE-2005-SilvaB #architecture #design #pipes and filters #throughput #trade-off

Area and Throughput Trade-Offs in the Design of Pipelined Discrete Wavelet Transform Architectures (SVS, SB), pp. 32–37.

ICDAR-2005-ZaidiRM #design #hardware #online #recognition #using

Hardware Design of On-Line Jawi Character Recognition Chip using Discrete Wavelet Transform (RZ, SR, MY), pp. 91–95.

PODS-2005-AbiteboulAHM #datalog #exclamation

Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.

TACAS-2005-PnueliPR #analysis

Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems (AP, AP, AR), pp. 124–139.

STOC-2005-ChenD #algorithm #approximate #fixpoint #on the

On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.

DLT-2005-GruberHKK #automaton #on the

On Timed Automata with Discrete Time — Structural and Language Theoretical Characterization (HG, MH, AK, BK), pp. 272–283.

ICALP-2005-Mislove #random

Discrete Random Variables over Domains (MWM), pp. 1006–1017.

CHI-2005-GnanayuthamBC #interface #paradigm #personalisation

Discrete acceleration and personalised tiling as brain?body interface paradigms for neurorehabilitation (PG, CB, GC), pp. 261–270.

ICEIS-v3-2005-Gonzalez #distributed #simulation

Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.

CIKM-2005-RoussinovFN05a #approach #information retrieval #learning

Discretization based learning approach to information retrieval (DR, WF, FADN), pp. 321–322.

KDD-2005-MorchenU #information management #optimisation

Optimizing time series discretization for knowledge discovery (FM, AU), pp. 660–665.

MLDM-2005-FerrandizB #graph #multi #recursion

Multivariate Discretization by Recursive Supervised Bipartition of Graph (SF, MB), pp. 253–264.

SEKE-2005-ChiangTK #classification #multi #performance #using

Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain (TWC, TT, LJK), pp. 689–694.

ESEC-FSE-2005-LetierKMU #logic #modelling

Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.

DATE-DF-2004-Ruiz-AmayaRMFRPR #matlab #synthesis

MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators (JRA, JLdlR, FM, FVF, RdR, MBPV, ÁRV), pp. 150–155.

DATE-v2-2004-ReedLBMC #algorithm #parallel #simulation

An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation (DKR, SPL, JB, JAM, DMC), pp. 1356–1357.

DATE-v2-2004-ZhouZLLZC #analysis #using

Steady-State Analysis of Nonlinear Circuits Using Discrete Singular Convolution Method (XZ, DZ, JL, RL, XZ, CC), pp. 1322–1326.

STOC-2004-BeierV #optimisation

Typical properties of winners and losers in discrete optimization (RB, BV), pp. 343–352.

ICALP-2004-GairingLMMR #game studies #latency #nash

Nash Equilibria in Discrete Routing Games with Convex Latency Functions (MG, TL, MM, BM, MR), pp. 645–657.

ICEIS-v2-2004-WuW04a #algorithm #comparison #set

Result Comparison of Two Rough Set Based Discretization Algorithms (SW, WW), pp. 511–514.

ICPR-v2-2004-BajaN #2d #3d #approach

2D Grey-level Skeleton Computation: A Discrete 3D Approach (GSdB, IN), pp. 455–458.

ICPR-v3-2004-SladojeLN #optimisation #similarity

Defuzzification of Discrete Objects by Optimizing Area and Perimeter Similarity (NS, JL, IN), pp. 526–529.

ICPR-v3-2004-XiaoSW #distance #segmentation

Topological Segmentation of Discrete Human Body Shapes in Various Postures Based on Geodesic Distance (YX, PS, NW), pp. 131–135.

SIGIR-2004-Canny #named

GaP: a factor model for discrete data (JFC), pp. 122–129.

SAC-2004-AntoniouVPHJ #generative #network #simulation

A discrete event based simulation environment for enhanced UMTS 3^rd generation networks (JA, VV, AP, GH, NJ), pp. 369–370.

DAC-2003-Heydari

Characterizing the effects of clock jitter due to substrate noise in discrete-time D/S modulators (PH), pp. 532–537.

DAC-2003-HuWKM #library

Gain-based technology mapping for discrete-size cell libraries (BH, YW, AK, MMS), pp. 574–579.

VLDB-2003-QianZXP #multi

The ND-Tree: A Dynamic Indexing Technique for Multidimensional Non-ordered Discrete Data Spaces (GQ, QZ, QX, SP), pp. 620–631.

ICALP-2003-BorosEGKM #difference #generative #problem

An Intersection Inequality for Discrete Distributions and Related Generation Problems (EB, KME, VG, LK, KM), pp. 543–555.

ICFP-2003-Page

Software is discrete mathematics (RLP), pp. 79–86.

CAiSE-2003-NikolaidouA #design #information management

Exploring Web-Based Information System Design: A Discrete-Stage Methodology and the Corresponding Model (MN, DA), pp. 159–174.

ECIR-2003-NardielloSS #categorisation

Discretizing Continuous Attributes in AdaBoost for Text Categorization (PN, FS, AS), pp. 320–334.

ICML-2003-Strens #optimisation

Evolutionary MCMC Sampling and Optimization in Discrete Spaces (MJAS), pp. 736–743.

KDD-2003-KoyuturkG #dataset #framework #named

PROXIMUS: a framework for analyzing very high dimensional discrete-attributed datasets (MK, AG), pp. 147–156.

MLDM-2003-Boulle #named

Khiops: A Discretization Method of Continuous Attributes with Guaranteed Resistance to Noise (MB), pp. 50–64.

SEKE-2003-Agren #concept #database #named #performance

CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode Databases (OÅ), pp. 250–258.

SAC-2003-SanduB

Discretizing Aerosol Dynamics with B-Splines (AS, CTB), pp. 189–193.

ICALP-2002-LungoFNV #constraints #re-engineering

Discrete Tomography: Reconstruction under Periodicity Constraints (ADL, AF, MN, LV), pp. 38–56.

ICML-2002-ElomaaR #fault #performance

Fast Minimum Training Error Discretization (TE, JR), pp. 131–138.

ICML-2002-KondorL #graph #kernel

Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.

ICML-2002-YangW #classification

Non-Disjoint Discretization for Naive-Bayes Classifiers (YY, GIW), pp. 666–673.

ICPR-v1-2002-FlorianiMD #composition

A Smale-Like Decomposition for Discrete Scalar Fields (LDF, MMM, ED), pp. 184–187.

ICPR-v1-2002-GoncalvesA #3d #difference #estimation

Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.

ICPR-v2-2002-GuimaraesACL #detection #identification #video

Video Fade Detection by Discrete Line Identification (SJFG, AdAA, MC, NJL), pp. 1013–1016.

ICPR-v2-2002-RyazanovV #approach #automation #classification #scalability

Discrete Approach for Automatic Knowledge Extraction from Precedent Large-Scale Data, and Classification (VVR, VAV), pp. 188–191.

ICPR-v3-2002-BeaudoinB #fourier #image

An Accurate Discrete Fourier Transform for Image Processing (NB, SSB), p. 935–?.

PPDP-2002-BlancE

A generic operator over discrete time intervals (JB, RE), pp. 145–155.

SAC-2002-KornissNKG #parallel #simulation #statistics

Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.

CAV-2002-HartongHB #model checking #modelling #on the

On Discrete Modeling and Model Checking for Nonlinear Analog Systems (WH, LH, EB), pp. 401–413.

CAV-2002-YounesS #probability #using #verification

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.

SAT-2002-DavydovaD #optimisation

CNF application in discrete optimization (ID, GD), p. 44.

ICDAR-2001-GrandidierSGS #markov #modelling #power of

An a priori Indicator of the Discrimination Power of Discrete Hidden Markov Models (FG, RS, MG, CYS), pp. 350–355.

CSMR-2001-PodnarM #analysis #maintenance #process #simulation #using

Software Maintenance Process Analysis Using Discrete-Event Simulation (IP, BM), pp. 192–195.

SAC-2001-SabharwalS #database #fourier #image #using

Indexing image databases using wavelet and discrete fourier transform (CLS, SRS), pp. 434–439.

DATE-2000-Balarin #abstraction #analysis #automation #worst-case

Automatic Abstraction for Worst-Case Analysis of Discrete Systems (FB), pp. 494–501.

DATE-2000-BeniniCMMPS #estimation

A Discrete-Time Battery Model for High-Level Power Estimation (LB, GC, AM, EM, MP, RS), pp. 35–39.

ITiCSE-2000-Kosa #algorithm #distributed

Distributed algorithms in the discrete mathematics course (poster session) (MJK), pp. 189–190.

CIAA-2000-IbarraS #automaton

Generalizing the Discrete Timed Automaton (OHI, JS), pp. 157–169.

CHI-2000-MacLeanSL

Tagged handles: merging discrete and continuous manual control (KEM, SSS, GL), pp. 225–232.

ICML-2000-Hall #feature model #machine learning

Correlation-based Feature Selection for Discrete and Numeric Class Machine Learning (MAH), pp. 359–366.

ICML-2000-HsuHW #classification #naive bayes #why

Why Discretization Works for Naive Bayesian Classifiers (CNH, HJH, TTW), pp. 399–406.

ICPR-v3-2000-CorrSHMS

Discrete Chebyshev Transform — A Natural Modification of the DCT (PC, DS, PH, JM, FJS), pp. 7154–3255.

ICPR-v4-2000-HasegawaYM #algorithm #online #performance #recognition

Fast Discrete HMM Algorithm for On-line Handwriting Recognition (TH, HY, TM), pp. 4535–4538.

ICPR-v4-2000-SvalbeST #encoding

Discrete Angle Watermark Encoding and Recovery (IDS, RGvS, AZT), pp. 4246–4249.

KDD-2000-Bay #mining #multi #set

Multivariate discretization of continuous variables for set mining (SDB), pp. 315–319.

KR-2000-Galton

Continuous Motion in Discrete Space (AG), pp. 26–37.

KR-2000-LampertiZ #compilation #generative

Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.

KR-2000-Stell #multi #representation

The Representation of Discrete Multi-resolution Spatial Knowledge (JGS), pp. 38–49.

CAV-2000-DangIBKS #analysis #automaton #reachability

Binary Reachability Analysis of Discrete Pushdown Timed Automata (ZD, OHI, TB, RAK, JS), pp. 69–84.

CAV-2000-VogeJ #algorithm #game studies

A Discrete Strategy Improvement Algorithm for Solving Parity Games (JV, MJ), pp. 202–215.

VLDB-1999-DarmontS #named #random #simulation

VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.

FM-v1-1999-TripakisA #on the fly #synthesis

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.

IFM-1999-Fidge #behaviour #modelling

Modelling Discrete Behaviour in a Continuous-Time Formalism (CJF), pp. 170–188.

ICML-1999-FrankW

Making Better Use of Global Discretization (EF, IHW), pp. 115–123.

CAV-1999-BuchholzK #analysis

A Toolbox for the Analysis of Discrete Event Dynamic Systems (PB, PK), pp. 483–486.

DATE-1998-UrrizaAGBN #architecture #image #using

VLSI Architecture for Lossless Compression of Medical Images Using the Discrete Wavelet Transform (IU, JIA, JIGN, LAB, DN), pp. 196–201.

ICML-1998-FriedmanGL #classification #network #parametricity

Bayesian Network Classification with Continuous Attributes: Getting the Best of Both Discretization and Parametric Fitting (NF, MG, TJL), pp. 179–187.

EDTC-1997-KropfR #model checking #using

Using MTBDDs for discrete timed symbolic model checking (TK, JR), pp. 182–187.

ICDAR-1997-NgC #image #network

Artificial Neural Network for Discrete Cosine Transform and Image Compression (KSN, LMC), pp. 675–678.

ITiCSE-1997-Berry #algorithm #education

Improving discrete mathematics and algorithms curricula with LINK (JWB), pp. 14–20.

ITiCSE-WGR-1997-Berry97a #algorithm #named

LINK: a software package for discrete mathematics and algorithms (demonstration) (JWB), p. 145.

STOC-1997-BuhlerSS #fourier #integer #performance #precise #using

Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.

ICALP-1997-HenzingerK97a #automaton #hybrid

Discrete-Time Control for Rectangular Hybrid Automata (TAH, PWK), pp. 582–593.

KDD-1997-CerquidesM #comparison #empirical

Proposal and Empirical Comparison of a Parallelizable Distance-Based Discretization Method (JC, RLdM), pp. 139–142.

KDD-1997-HoS #named

Zeta: A Global Method for Discretization of Continuous Variables (KMH, PDS), pp. 191–194.

KDD-1997-SubramonianVC #framework #interactive #visual notation

A Visual Interactive Framework for Attribute Discretization (RS, RV, JC), pp. 82–88.

KDD-1997-ZighedRF #learning #multi

Optimal Multiple Intervals Discretization of Continuous Attributes for Supervised Learning (DAZ, RR, FF), pp. 295–298.

SAC-1997-CoppaNT #formal method #representation

A formal model for the discrete representation of spatial objects (FC, EN, MT), pp. 144–151.

ICSE-1997-FriesenJW #specification

Specification of Software Controlling a Discrete-Continuous Environment (VF, SJ, MW), pp. 315–325.

RWLW-1996-Landauer #logic

Discrete event systems in rewriting logic (CL), pp. 310–321.

TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification

Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.

TRI-Ada-1996-HagenauerP #ada #parallel #prototype #simulation

Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.

ICML-1996-FriedmanG #learning #network

Discretizing Continuous Attributes While Learning Bayesian Networks (NF, MG), pp. 157–165.

ICPR-1996-BasuS #re-engineering

Optimal non-uniform discretization for stereo reconstruction (AB, HS), pp. 755–759.

ICPR-1996-OgiharaNY #image #using

Data embedding into pictorial images with less distortion using discrete cosine transform (TO, DN, NY), pp. 675–679.

ICPR-1996-RigollKRN #comparison #markov #modelling #recognition

A comparison between continuous and discrete density hidden Markov models for cursive handwriting recognition (GR, AK, JR, CN), pp. 205–209.

ICPR-1996-Zhang96a #on the #parametricity

On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.

KDD-1996-KohaviS

Error-Based and Entropy-Based Discretization of Continuous Features (RK, MS), pp. 114–119.

ALP-1996-KhasidashviliG #normalisation #standard

Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.

ICDAR-v1-1995-ChenWB #comparison #image #markov #modelling

A comparison of discrete and continuous hidden Markov models for phrase spotting in text images (FC, LW, DSB), pp. 398–402.

ICALP-1995-KhullerRR #named

Graphbots: Mobility in Discrete Spaces (SK, ER, AR), pp. 593–604.

ICML-1995-DoughertyKS

Supervised and Unsupervised Discretization of Continuous Features (JD, RK, MS), pp. 194–202.

ICML-1995-Pfahringer

Compression-Based Discretization of Continuous Attributes (BP), pp. 456–463.

KDD-1995-Pazzani #approach #classification

An Iterative Improvement Approach for the Discretization of Numeric Attributes in Bayesian Classifiers (MJP), pp. 228–233.

KDD-1995-SpirtesM #learning #network

Learning Bayesian Networks with Discrete Variables from Data (PS, CM), pp. 294–299.

STOC-1994-KearnsMRRSS #on the

On the learnability of discrete distributions (MJK, YM, DR, RR, RES, LS), pp. 273–282.

TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse

An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.

CAV-1994-McMillan #model checking

Hierarchical Representations of Discrete Functions, with Application to Model Checking (KLM), pp. 41–54.

DAC-1993-NagiCA #fault #named

DRAFTS: Discretized Analog Circuit Fault Simulator (NN, AC, JAA), pp. 509–514.

ICALP-1993-HagerupMM #maintenance #probability

Maintaining Discrete Probability Distributions Optimally (TH, KM, JIM), pp. 253–264.

ICALP-1993-Orponen #on the #power of

On the Computational Power of Discrete Hopfield Nets (PO), pp. 215–226.

SAC-1993-Sabharwal #approach #parametricity

An Intelligent Approach to Discrete Sampling of Parametric Curves (CLS), pp. 397–401.

DAC-1992-GennartL #simulation #using #validation

Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.

ML-1992-RadiyaZ #framework #modelling

A Framework for Discovering Discrete Event Models (AR, JMZ), pp. 373–378.

STOC-1991-CoffmanCGJMSWY #analysis #case study

Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study (EGCJ, CC, MRG, DSJ, LAM, PWS, RRW, MY), pp. 230–240.

KDD-1991-ChiuWC #synthesis

Information Discovery through Hierarchical Maximum Entropy Discretization and Synthesis (DKYC, AKCW, BC), pp. 125–140.

STOC-1990-SchriftS

The Discrete Log is Very Discreet (AWS, AS), pp. 405–415.

ICALP-1990-PanR #multi #on the

On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid (VYP, JHR), pp. 612–625.

LFP-1990-Leivant #morphism #polymorphism

Discrete Polymorphism (DL), pp. 288–297.

ML-1990-ObradovicP #learning #multi

Learning with Discrete Multi-Valued Neurons (ZO, IP), pp. 392–399.

PPoPP-1990-Nicol #analysis #parallel

Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations (DMN), pp. 89–98.

CAV-1990-GolaszewskiK

Task-Driven Supervisory Control of Discrete Event Systems (CHG, RPK), pp. 282–291.

PODS-1989-KedemT #behaviour #database #modelling #relational

Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models (ZMK, AT), pp. 336–346.

PPEALS-1988-Nicol #network #parallel #probability #simulation

Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.

DAC-1987-MinaiWB #approach #evaluation #heuristic #predict

A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts (AAM, RDW, FWB), pp. 770–776.

STOC-1987-LichtensteinLS #process #random

Imperfect Random Sources and Discrete Controlled Processes (DL, NL, MES), pp. 169–177.

ICSE-1985-PottsBCM #design #simulation #specification #validation

Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.

STOC-1983-LongW #how #question

How Discreet is the Discrete Log? (DLL, AW), pp. 413–420.

ICALP-1981-PreparataV #fourier #integer #multi #network

Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform (FPP, JV), pp. 29–40.

DAC-1976-GoldsteinL #optimisation

Common feature techniques for discrete optimization (AJG, ABL), pp. 232–244.

ICALP-1976-BerryC #canonical #equivalence

Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.