BibSLEIGH — rule-based tag

rule-based

rule-based

Tag #rule-based

185 papers:

CIKM-2019-PaganelliS0V #named: TuneR: Fine Tuning of Rule-based Entity Matchers (MP, PS, FG0, YV), pp. 2945–2948.
IFM-2018-ChengRT: Efficiently Characterizing the Undefined Requests of a Rule-Based System (ZC, JCR, MT), pp. 69–88.
ECIR-2018-MansouriZ0FR #named #normalisation: ParsTime: Rule-Based Extraction and Normalization of Persian Temporal Expressions (BM, MSZ, RC0, MF, MR), pp. 715–721.
KDD-2018-GohSVH #learning #predict #using: Using Rule-Based Labels for Weak Supervised Learning: A ChemNet for Transferable Chemical Property Prediction (GBG, CS, AV, NOH), pp. 302–310.
KDD-2018-SadrediniGBRSW #hardware #novel #scalability: A Scalable Solution for Rule-Based Part-of-Speech Tagging on Novel Hardware Accelerators (ES, DG, CB, RR, KS, HW), pp. 665–674.
CIKM-2017-MehdiKSXKBHRR #named #semantics: SemDia: Semantic Rule-Based Equipment Diagnostics Tool (GM, EK, OS, GX0, EGK, SB0, IH, MR, TAR), pp. 2507–2510.
ICMT-2017-KehrerAH #automation #model transformation #specification: Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
ICMT-2017-NassarRA #approach #automation #emf #interactive #modelling: Rule-Based Repair of EMF Models: An Automated Interactive Approach (NN, HR, TA), pp. 171–181.
LOPSTR-2017-EngelsBB #approach #database #datalog: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog (CE, AB, SB), pp. 20–36.
FM-2016-LutebergetJFS #design #incremental #tool support #verification: Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations (BL, CJ, CF, MS), pp. 772–778.
IFM-2016-LutebergetJS #consistency #design #framework: Rule-Based Consistency Checking of Railway Infrastructure Designs (BL, CJ, MS), pp. 491–507.
SLE-2016-PerezGC #evaluation #runtime: Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.
SANER-2015-BrandtnerMLG #integration #named #process: SQA-Profiles: Rule-based activity profiles for Continuous Integration environments (MB, SCM, PL, HCG), pp. 301–310.
SANER-2015-LeL #metric #mining #specification: Beyond support and confidence: Exploring interestingness measures for rule-based specification mining (TDBL, DL), pp. 331–340.
SEKE-2015-AlencarARRB: A Rule-based Method for Discovering Trajectory Profiles (LAdA, LOA, CR, AR, VB), pp. 244–249.
PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
ESEC-FSE-2015-NguyenGA #case study #modelling: Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
SAC-2015-GayathriK #rdf: Horn-rule based compression technique for RDF data (VG, PSK), pp. 396–401.
FASE-2015-BornAHT #dependence: Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
ICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #information management #mobile #performance #reasoning: Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
KEOD-2014-Marc-ZweckerAW #ontology #recognition: A Fuzzy-Rule Based Ontology for Urban Object Recognition (SMZ, KA, CW), pp. 153–160.
PADL-2014-ElsmanS #evaluation #named #static typing #user interface: Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
ASE-2014-AbdeenVSNDHH #design #multi #optimisation: Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
ASE-2014-CavalcantiMNAM #information retrieval: Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.
DRR-2013-SchusterHME #documentation #how: Rule-based versus training-based extraction of index terms from business documents: how to combine the results (DS, MH, KM, DE).
SIGMOD-2013-AbiteboulAMST #development #using: Rule-based application development using Webdamlog (SA, ÉA, GM, JS, JT), pp. 965–968.
CSMR-2013-LehnertFR #impact analysis: Rule-Based Impact Analysis for Heterogeneous Software Artifacts (SL, QuaF, MR), pp. 209–218.
LATA-2013-AotoI #calculus #termination: Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.
GT-VMT-2013-WinetzhammerW #behaviour #emf #modelling: ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).
ASE-2013-DhunganaTWW #automation #interactive #verification: Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
SAC-2013-CameronSNMM #analysis #component #performance #realtime: Performance analysis of a rule-based SOA component for real-time applications (AC, MS, NN, WM, TM), pp. 1877–1884.
FoSSaCS-2013-HaymanH #graph #modelling #semantics: Pattern Graphs and Rule-Based Models: The Semantics of Kappa (JH, TH), pp. 1–16.
DRR-2012-SadawiSS #approach #recognition: Chemical structure recognition: a rule-based approach (NMS, APS, VS).
WCRE-2012-IchiiMNCO #approach #automation #modelling #source code: A Rule-based Automated Approach for Extracting Models from Source Code (MI, TM, YN, MC, HO), pp. 308–317.
SEFM-2012-NikolicPZ #imperative #modelling #simulation: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
CIG-2012-GagneC #flexibility #named: FRIGHT: A flexible rule-based intelligent ghost team for Ms. Pac-Man (DJG, CBC), pp. 273–280.
ICGT-2012-Ong #graph transformation #multi #programming language #using: Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
EDOC-2012-CostaMPA #approach #detection #modelling: A Model-Driven Approach to Situations: Situation Modeling and Rule-Based Situation Detection (PDC, ITM, IP, JPAA), pp. 154–163.
EDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #runtime #weaving #workflow: Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
AMT-2012-TaentzerAEH #model transformation #refactoring #towards: Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
ICMT-2012-WimmerKKRSS #model transformation #reuse #transformation language: Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
RE-2012-VrbaskiPA #reasoning #tool support: Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
CASE-2012-ChenF #analysis: Treatment of missing values for association rule-based tool commonality analysis in semiconductor manufacturing (RHC, CMF), pp. 886–891.
WRLA-2012-TushkanovaGRK #framework: A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
PODS-2011-AbiteboulBGA #data transformation #web: A rule-based language for web data management (SA, MB, AG, ÉA), pp. 293–304.
ICEIS-v3-2011-LiuL: The Preliminary Investigation of Salary Management System Rule-based Rules Engine (YL, BL), pp. 472–475.
CIKM-2011-PeukertER #process: Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
ICMT-2011-BeckerLDBG #development #refactoring: Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
MoDELS-2011-WagelaarTCJ #composition #model transformation #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
ASE-2011-KehrerKT #approach #difference #semantics #version control: A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.
DATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #synthesis: A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
PDP-2011-KleineweberKNB #virtual machine: Rule-Based Mapping of Virtual Machines in Clouds (CK, AK, ON, AB), pp. 527–534.
CIG-2010-BojarskiC #game studies #named: REALM: A rule-based evolutionary computation agent that learns to play Mario (SB, CBC), pp. 83–90.
SEKE-2010-AdderleyDT #framework #implementation: An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI Framework (TA, SD, FT), pp. 599–603.
PADL-2010-GrumbachW #distributed #programming: Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
SAC-2010-BernalFMD #approach #identification #process: Dynamic context-aware business process: a rule-based approach supported by pattern identification (JFMB, PF, MM, JD), pp. 470–474.
OSDI-2010-PopaERS #network: Building Extensible Networks with Rule-Based Forwarding (LP, NE, SR, IS), pp. 379–392.
ICLP-J-2010-HouCD #fixpoint #logic: FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.
LICS-2010-DanosFFHK #automation #difference #modelling #reduction #semantics: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
SIGMOD-2009-MichelakisKHV #information management #nondeterminism: Uncertainty management in rule-based information extraction systems (EM, RK, PJH, SV), pp. 101–114.
EDOC-2009-BoukhebouzeABM #modelling #process #using #verification: Rule-Based Modeling and Verification of Business Processes Using ECAPE Net (MB, YA, ANB, ZM), p. 74–?.
EDOC-2009-DeitersDHR #architecture #enterprise: Rule-Based Architectural Compliance Checks for Enterprise Architecture Management (CD, PD, SH, AR), pp. 183–192.
ICEIS-ISAS-2009-MansourH #approach #database #framework #using #xml: A Rule-based Approach and Framework for Managing Best Practices — An XML-based Management using Pure Database System Utilities (EM, HH), pp. 109–115.
GT-VMT-2006-Braatz08 #approach #modelling #object-oriented: A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems (BB), pp. 251–260.
GT-VMT-2008-BiermannM #analysis #configuration management #independence: Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
EDOC-2008-IacobJ #modelling #specification: A Model-Driven Perspective on the Rule-Based Specification of Services (MEI, HJ), pp. 75–84.
ICEIS-J-2008-Zacharias08a #challenge #debugging: Tackling the Debugging Challenge of Rule Based Systems (VZ), pp. 144–154.
ICMT-2008-Wagelaar #composition #model transformation #transformation language: Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
PADL-2008-BrandDPS #constraints #flexibility: Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.
RE-2008-MaderGP #maintenance #traceability: Rule-Based Maintenance of Post-Requirements Traceability Relations (PM, OG, IP), pp. 23–32.
SAC-2008-YuV #programming #visualisation: Visualization of rule-based programming (WY, RMV), pp. 1258–1259.
SLE-2008-RiveraGLV #behaviour #maude #modelling #semantics #visual notation: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
SLE-2008-Schatz #emf #formal method #modelling: Formalization and Rule-Based Transformation of EMF Ecore-Based Models (BS), pp. 227–244.
CASE-2008-ZhangMT #verification: Verification of ECA rule based management and control systems (JZ, JRM, DMT), pp. 1–7.
LATA-2007-YoonSK #corpus #word: Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus (JY, GYS, SK), pp. 589–599.
ICEIS-AIDSS-2007-ChanL #nondeterminism: Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
RecSys-2007-NguyenDB #induction #recommendation: Improving new user recommendations with rule-based induction on cold user data (ATN, ND, CB), pp. 121–128.
SEKE-2007-ZachariasA #debugging #on the: On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.
TOOLS-EUROPE-2007-ReichhartGD #assessment #quality: Rule-based Assessment of Test Quality (SR, TG, SD), pp. 231–251.
LOPSTR-2007-AbdennadherS #approach #constraints #generative #theorem proving: Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
SAC-MT-J-2006-KurtevBJ07 #atl #composition #model transformation #transformation language: Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SEKE-2006-BittencourtTC: Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System (IIB, MT, EdBC), pp. 35–40.
SEKE-2006-BouchachiaW #reverse engineering: Reverse Engineering of Rule-based Systems (AB, DW), pp. 45–50.
SEKE-2006-BoukercheL #re-engineering #towards: Reengineering a Rule-Based System towards a Planning System (KB, HL), pp. 619–624.
SEKE-2006-HuangC #probability #similarity #using: Using Conditional Probability to Measure Rule-based Knowledge Similarity (CJH, MYC), pp. 41–44.
SEKE-2006-HuangC06a #nondeterminism: A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
SEKE-2006-LehmanW #convergence #problem #simulation: A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation (CWL, MJW), pp. 57–60.
SAC-2006-BadicaBG #implementation: Implementing rule-based mechanisms for agent-based price negotiations (CB, AB, MG), pp. 96–100.
SAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #transformation language: Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SAC-2006-StraetenD #consistency #nondeterminism #refactoring: Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
DATE-DF-2006-OetjensGR #design #flexibility #specification: Flexible specification and application of rule-based transformations in an automotive design flow (JHO, JG, WR), pp. 82–87.
ICDAR-2005-YingsaereeK #analysis #detection #documentation #layout: Rule-based Middle-level Character Detection for Simplifying Thai Document Layout Analysis (CY, AK), pp. 888–892.
SEKE-2005-ChanS #data mining #mining: From Data to Knowledge: an Integrated Rule-Based Data Mining System (CCC, ZS), pp. 508–513.
RE-2005-ToyamaO #verification: Rule-based Verification of Scenarios with Pre-conditions and Post-conditions (TT, AO), pp. 319–328.
SAC-2005-FaederBH #network #representation #visual notation: Graphical rule-based representation of signal-transduction networks (JRF, MLB, WSH), pp. 133–140.
SAC-2005-HanMZTGZ #clustering #documentation #metadata #word: Rule-based word clustering for document metadata extraction (HH, EM, HZ, KT, CLG, XZ), pp. 1049–1053.
WRLA-2004-CirsteaMR05 #java #programming #protocol #verification: Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.
ICEIS-v1-2004-UrbanKDJS #component #integration: An Event Processing System for Rule-Based Component Integration (SDU, SK, SWD, YJ, AS), pp. 312–319.
ICPR-v4-2004-Moreno-SecoMO #classification #nearest neighbour: A New Classification Rule based on Nearest Neighbour Search (FMS, LM, JO), pp. 408–411.
SAC-2004-DHondtGJ #integration #object-oriented: Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis (MD, KG, VJ), pp. 1328–1335.
SAC-2004-HatalaKWN #ontology #retrieval: Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors (MH, LK, RW, KN), pp. 1045–1050.
VMCAI-2004-BarringerGHS #runtime #verification: Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
DRR-2003-TaghvaC #categorisation #question: Do Thesauri enhance rule-based categorization for OCR text? (KT, JSC), pp. 111–119.
RTA-2003-BournezCCKI #approach #automation #generative: A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms (OB, GMC, VC, HK, LI), pp. 30–45.
RTA-2003-ChenRV #analysis #safety: Rule-Based Analysis of Dimensional Safety (FC, GR, RPV), pp. 197–207.
MLDM-2003-DehmeshkiKC #set: A Rule-Based Scheme for Filtering Examples from Majority Class in an Imbalanced Training Set (JD, MK, MVC), pp. 215–223.
SIGIR-2003-HanMGZ #classification #clustering #word: Rule-based word clustering for text classification (HH, EM, CLG, HZ), pp. 445–446.
UML-2003-Porres #refactoring: Model Refactorings as Rule-Based Update Transformations (IP), pp. 159–174.
LOPSTR-2003-AbdennadherF #constraints #integration #optimisation #theorem proving: Integration and Optimization of Rule-Based Constraint Solvers (SA, TWF), pp. 198–213.
PPDP-2003-FissoreGK #termination: Simplification and termination of strategies in rule-based languages (OF, IG, HK), pp. 124–135.
SAC-2003-AptB #constraints #programming: Schedulers for Rule-Based Constraint Programming (KRA, SB), pp. 14–21.
ICEIS-2002-AlcalaCHZ #fuzzy #modelling: Insurance Market Risk Modeling with Hierarchical Fuzzy Rule Based Systems (RA, OC, FH, IZ), pp. 325–333.
ICEIS-2002-LinyingSC #comprehension #image #knowledge-based #segmentation: Knowledge-Based Image Understanding: A Rule-Based Production System for X-Ray Segmentation (SL, BS, CCC), pp. 530–533.
CIKM-2002-Loshin #quality: Rule-based data quality (DL), pp. 614–616.
KDD-2001-IndurkhyaW #classification #problem: Solving regression problems with rule-based ensemble classifiers (NI, SMW), pp. 287–292.
MLDM-2001-IndurkhyaW: Rule-Based Ensemble Solutions for Regression (NI, SMW), pp. 62–72.
SEKE-2001-SouuzaF #design #design pattern #reuse: Designing Reusable Rule-Based Architectures with Design Patterns (MAFdS, MAGVF), pp. 163–170.
UML-2001-EngelsHK #behaviour #consistency #metamodelling #specification #uml: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
PPDP-2001-AbdennadherR #confluence #constraints #theorem proving #using: Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.
FASE-J-1998-PadbergGE01 #refinement #safety: Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
WRLA-2000-Ringeissen #finite: Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
AGTIVE-1999-Hoffmann #diagrams #graph transformation #programming: From Graph Transformation to Rule-Based Programming with Diagrams (BH), pp. 165–180.
CIKM-1999-WarshawM #optimisation #query #revisited: Rule-Based Query Optimization, Revisited (LW, DPM), pp. 267–275.
ASE-1999-CazzolaSST #architecture #behaviour: Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.
ICLP-1999-Zhang: Monotonicity in Rule Based Update (YZ), pp. 471–485.
SIGMOD-1998-CherniackZ: Changing the Rules: Transformations for Rule-Based Optimizers (MC, SBZ), pp. 61–72.
TAGT-1998-EhrigHLOPR #framework #graph: Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
FASE-1998-PadbergGE #refinement #safety: Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
RTA-1997-Ringeissen #algorithm #programming language #prototype #unification: Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
SAC-1997-Zukunft #adaptation #database #mobile: Rule based adaptation in mobile database systems (OZ), pp. 310–317.
SIGMOD-1996-CherniackZ #algebra: Rule Languages and Internal Algebras for Rule-Based Optimizers (MC, SBZ), pp. 401–412.
WCRE-1996-Moore #detection #reverse engineering #user interface: Rule-Based Detection for Reverse Engineering User Interfaces (MMM), p. 42–?.
RTA-1996-VandevoordeK #distributed #empirical #proving: Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover (MTV, DK), pp. 420–423.
ICPR-1996-ChenL96b #approach #online #recognition: On-line handwriting recognition of Chinese characters via a rule-based approach (JWC, SYL), pp. 220–224.
ICPR-1996-WilluhnA #image #re-engineering: A rule-based system for house reconstruction from aerial images (WW, FA), pp. 885–889.
SAC-1996-Asgharzadeh #analysis #fuzzy #image #using: Image analysis and enhancement using fuzzy rule based expert system (AA), pp. 529–531.
PDP-1996-BrockmannKM #parallel: Rule-Based Routing in Massively Parallel Systems (WB, TK, EM), pp. 154–161.
CIKM-1995-SuLAYY #knowledge base: An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems (SYWS, HL, JAAF, TFY, ZY), pp. 1–10.
SEKE-1995-BarzdinsBK #approach #modelling: Rule-Based Approach to Business Modeling (JB, GB, AK), pp. 161–165.
SAC-1995-HalgamugeBG #algorithm #classification #comparison #generative #heuristic #search-based: Comparison of a heuristic method with a genetic algorithm for generation of compact rule based classifiers (SKH, AB, MG), pp. 580–585.
SAC-1995-StearnsC #concept #machine learning: Rule-based machine learning of spatial data concepts (SS, DCSC), pp. 242–247.
CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #semantics: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
ICSM-1994-ChenS #complexity #metric: Complexity Metrics for Rule-Based Expert Systems (ZC, CYS), pp. 382–391.
TOOLS-EUROPE-1994-RuperezJA #behaviour #object-oriented #simulation #using: Embedding of Rule-based Expert System Capabilities in Object-Oriented Applications by Using or Simulating Active Behaviour (RFR, CJ, JRZA), pp. 315–327.
KBSE-1994-Hall #incremental #validation: Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
HCI-SHI-1993-SharitC #reasoning #using: The Use of Expert Systems for Training Humans in Rule-Based Reasoning (JS, SC), pp. 819–824.
SEKE-1993-Cheng #complexity #metric: A New Complexity Metric for OPS5 Rule-Based Systems (AMKC), pp. 244–247.
SEKE-1993-CoyleTF #development #knowledge-based #programming #realtime: Rule-Based Programming for Real-Time Knowledge-Based Systems Development (FPC, MMT, DJF), pp. 142–149.
SEKE-1993-KushnerE #experience #verification: Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS (TRK, DSE), pp. 445–452.
ICSE-1993-Lakhotia #approach: Rule-Based Approach to Computing Module Cohesion (AL), pp. 35–44.
KBSE-1993-Hall #validation: Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
SIGMOD-1992-PiraheshHH #optimisation #query: Extensible/Rule Based Query Rewrite Optimization in Starburst (HP, JMH, WH), pp. 39–48.
VLDB-1992-KramerLS: Updates in a Rule-Based Language for Objects (MK, GL, GS), pp. 251–262.
SEKE-1992-DoyleV #metric: Applying Metrics to Rule-Based Systems (PD, RV), pp. 123–130.
SEKE-1992-HuangSM #modelling #reverse engineering #source code #visual notation: A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models (HH, KS, IM), pp. 178–185.
SEKE-1992-ToddS #specification: Formal Specification of a Rule-Based Expert System (BST, RS), pp. 333–340.
TOOLS-EUROPE-1992-Perrot #object-oriented #programming: Rule-Based Object-Oriented Programming (JFP), p. 423.
ICSE-1992-PeuschelS #concept #implementation #process: Concepts and Implementation of a Rule-Based Process Engine (BP, WS), pp. 262–279.
ICSE-1992-RomanGB #concurrent #programming: Seeking Concurrency in Rule-Based Programming (GCR, RFG, WEB), pp. 225–234.
PODS-1991-Vadaparty #on the #power of #set: On the Power of Rule-Based Languages with Sets (KVV), pp. 26–36.
CAiSE-1991-KrogstieMOS #development #information management #process #using: Information Systems Development Using a Combination of Process and Rule Based Approaches (JK, PM, RO, AHS), pp. 319–335.
ESEC-1991-BarghoutiK #development #scalability: Scaling Up Rule-Based Software Development Environments (NSB, GEK), pp. 380–395.
SIGMOD-1990-CacaceCCTZ #modelling #object-oriented #paradigm #programming: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm (FC, SC, SCR, LT, RZ), pp. 225–236.
GG-1990-Korff #graph grammar: Application of Graph Grammars to Rule-Based Systems (MK), pp. 505–519.
CAiSE-1990-TsalgatidouKL #requirements #specification #validation: Rule-Based Requirements Specification and Validation (AT, VK, PL), pp. 251–263.
ICSE-1990-Parisi-Presicce #approach #composition #design: A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.
SEKE-1989-MurataY #petri net #realtime: Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
OOPSLA-1989-Almarode #prototype: Rule-Based Delegation for Prototypes (JA), pp. 363–370.
ESEC-1989-Hausen #modelling #quality: Rule-Based Handling of Software Quality and Productivity Models (HLH), pp. 376–394.
DAC-1989-WeninVCLG #layout #verification: Rule-based VLSI Verification System Constrained by Layout Parasitics (JW, JV, MVC, JL, PG), pp. 662–667.
ML-1988-Tallis: Tuning Rule-Based Systems to Their Environments (HT), pp. 8–14.
DAC-1988-TakashimaIKTSS #comparison #functional #morphism: A Circuit Comparison System with Rule-Based Functional Isomorphism Checking (MT, AI, SK, TT, TS, JiS), pp. 512–516.
CADE-1988-Bezem #consistency: Consistency of Rule-based Expert System (MB), pp. 151–161.
SIGMOD-1987-Freytag #optimisation #query: A Rule-Based View of Query Optimization (JCF), pp. 173–180.
DAC-1987-OdawaraHIYD: A Rule-Based Placement System for Printed Wiring Boards (GO, TH, KI, TY, YD), pp. 777–785.
DAC-1987-WuWN #automation #design #representation #verification: A Rule-Based Circuit Representation for Automated CMOS Design and Verification (CFEW, ASW, LMN), pp. 786–792.
SIGMOD-1986-Chen #approach #modelling: A Rule-Based Object/Task Modelling Approach (QC), pp. 281–292.
SIGMOD-1986-FreytagG #query #relational #source code: Rule-Based Translation of Relational Queries into Iterative Programs (JCF, NG), pp. 206–214.
GG-1986-MoldovanP #analysis #graph grammar #parallel #using: Parallelism analysis in rule-based systems using graph grammars (DIM, FPP), pp. 427–439.
DAC-1986-Ghosh #approach #fault #functional #simulation #verification: A rule-based approach to unifying functional and fault simulation and timing verification (SG), pp. 677–682.
DAC-1986-SaitoSYK #array #logic #synthesis: A rule-based logic circuit synthesis system for CMOS gate arrays (TS, HS, MY, NK), pp. 594–600.
ICSE-1985-Lee #execution #modelling #on the #prototype: On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
CAAP-1985-KapurS #approach #data type: A Rewrite Rule Based Approach for Synthesizing Abstract Data Types (DK, MKS), pp. 188–207.
SIGIR-1984-FuhrK #automation #evaluation #retrieval: Retrieval Test Evaluation of a Rule Based Automatic Index (AIR/PHYS) (NF, GK), pp. 391–408.
SIGIR-1983-Pollitt #approach: End User Touch Searching for Cancer Therapy Literature: A Rule-Based Approach (ASP), pp. 136–145.