BibSLEIGH — rule stem

Used together with:

base (303)
associ (178)
system (145)
use (143)
mine (132)

Stem rule$ (all stems)

1254 papers:

DAC-2015-HanKL #design #evaluation #using: Evaluation of BEOL design rule impacts using an optimal ILP-based detailed router (KH, ABK, HL), p. 6.
DocEng-2015-WuS #detection #evolution: Detecting XSLT Rules Affected by Schema Evolution (YW, NS), pp. 143–146.
PODS-2015-AlvianoP: Default Negation for Non-Guarded Existential Rules (MA, AP), pp. 79–90.
PODS-2015-CalauttiGP #termination: Chase Termination for Guarded Existential Rules (MC, GG, AP), pp. 91–103.
SIGMOD-2015-CSKZYRPAKDRD #big data #industrial #what #why: Why Big Data Industrial Systems Need Rules and What We Can Do About It (PSGC, CS, KGK, HZ, FY, NR, SP, EA, GK, RD, VR, AD), pp. 265–276.
VLDB-2015-FanWWX #graph: Association Rules with Graph Patterns (WF, XW, YW, JX), pp. 1502–1513.
FASE-2015-BornAHT #dependence #rule-based: Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
FoSSaCS-2015-BagnolDS #dependence #logic #on the: On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.
SANER-2015-BrandtnerMLG #integration #named #process #rule-based: SQA-Profiles: Rule-based activity profiles for Continuous Integration environments (MB, SCM, PL, HCG), pp. 301–310.
SANER-2015-LeL #metric #mining #rule-based #specification: Beyond support and confidence: Exploring interestingness measures for rule-based specification mining (TDBL, DL), pp. 331–340.
SANER-2015-OumarouAEDK #identification: Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.
STOC-2015-HansenZ #algorithm: An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm (TDH, UZ), pp. 209–218.
LATA-2015-BilottaPPR #problem: Recurrence Relations, Succession Rules, and the Positivity Problem (SB, EP, RP, SR), pp. 499–510.
FM-2015-DiekmannHC #semantics #set: Semantics-Preserving Simplification of Real-World Firewall Rule Sets (CD, LH, GC), pp. 195–212.
ICFP-2015-SteuwerFLD #functional #generative #performance #using: Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
ICGT-2015-MachadoRH #evolution #graph transformation: Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
CHI-2015-SamsonovTSKH #towards: You Can’t Smoke Here: Towards Support for Space Usage Rules in Location-aware Technologies (PAS, XT, JS, WK, BH), pp. 971–974.
ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing: Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
ICML-2015-FercoqGS: Mind the duality gap: safer rules for the Lasso (OF, AG, JS), pp. 333–342.
ICML-2015-NutiniSLFK #coordination #performance #random: Coordinate Descent Converges Faster with the Gauss-Southwell Rule Than Random Selection (JN, MWS, IHL, MPF, HAK), pp. 1632–1641.
KDD-2015-Shokoohi-Yekta0: Discovery of Meaningful Rules in Time Series (MSY, YC, BJLC, BH, JZ, EJK), pp. 1085–1094.
MLDM-2015-Prado #classification #named: MOGACAR: A Method for Filtering Interesting Classification Association Rules (DBP), pp. 172–183.
MLDM-2015-ZidaFWLT #mining #performance: Efficient Mining of High-Utility Sequential Rules (SZ, PFV, CWW, JCWL, VST), pp. 157–171.
SEKE-2015-AlencarARRB #rule-based: A Rule-based Method for Discovering Trajectory Profiles (LAdA, LOA, CR, AR, VB), pp. 244–249.
ECOOP-2015-ShinnarSH #calculus #compilation: A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
Onward-2015-AfroozehI #parsing: One parser to rule them all (AA, AI), pp. 151–170.
OOPSLA-2015-ErdwegBKKM #incremental #type checking: A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
OOPSLA-2015-HagueLO #approach #css #detection #html: Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.
PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code: Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.
PADL-2015-CruzR #compilation #linear #logic programming #on the #source code: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
PADL-2015-Hanus #compilation #constraints: CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
SAC-2015-BolockA #automation #constraints #generative #towards #using: Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SAC-2015-GayathriK #rdf #rule-based: Horn-rule based compression technique for RDF data (VG, PSK), pp. 396–401.
SAC-2015-RodriguesMSS #3d #education #game studies #interactive: Beyond fun: an interactive and educational 3D traffic rules game controlled by non-traditional devices (MAFR, DVdM, YRS, YRS), pp. 239–246.
ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based: Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
ICSE-v2-2015-HerzigN #detection #empirical #using: Empirically Detecting False Test Alarms Using Association Rules (KH, NN), pp. 39–48.
ICSE-v2-2015-IzquierdoC #open source: Enabling the Definition and Enforcement of Governance Rules in Open Source Systems (JLCI, JC), pp. 505–514.
SLE-2015-OchoaRT #feature model #modelling #using: Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
CSL-2015-AminiE #linear #logic #on the: On Classical PCF, Linear Logic and the MIX Rule (SA, TE), pp. 582–596.
ICLP-2015-LeeMW #logic #markov #semantics: Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).
ICST-2015-JensenTSC #generative #testing: Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
RTA-2015-Kirchner #data analysis #graph: Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.
RTA-2015-NageleFM #analysis #automation #confluence #term rewriting: Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
RTA-2015-NageleZ: Certified Rule Labeling (JN, HZ), pp. 269–284.
TLCA-2015-JouannaudL #termination: Termination of Dependently Typed Rewrite Rules (JPJ, JL), pp. 257–272.
VMCAI-2015-GhorbalSP #algebra #difference #proving #set: A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
QoSA-2014-DajsurenGSWVB #architecture #formal method: Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.
ASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based: Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
ASE-2014-CavalcantiMNAM #information retrieval #rule-based: Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.
ASE-2014-PruijtKWB #architecture #named #set: HUSACCT: architecture compliance checking with rich sets of module and rule types (LJP, CK, JMvdW, SB), pp. 851–854.
DocEng-2014-DiemKS #analysis #classification #documentation: Ruling analysis and classification of torn documents (MD, FK, RS), pp. 63–72.
DRR-2014-NagyL #distance #similarity: Form similarity via Levenshtein distance between ortho-filtered logarithmic ruling-gap ratios (GN, DPL), pp. 902106–8.
PODS-2014-GottlobRS: Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
SIGMOD-2014-WangT #program repair #towards: Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.
VLDB-2014-LinMRW #interactive #mining #named: SPIRE: Supporting Parameter-Driven Interactive Rule Mining and Exploration (XL, AM, EAR, MOW), pp. 1653–1656.
VLDB-2014-SunRYD #classification #crowdsourcing #machine learning #named #scalability #using: Chimera: Large-Scale Classification using Machine Learning, Rules, and Crowdsourcing (CS, NR, FY, AD), pp. 1529–1540.
FASE-2014-AnjorinSLS #graph grammar #refinement #using: Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.
FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability: Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.
CSMR-WCRE-2014-KashiwabaraOIHYI #mining #recommendation #using: Recommending verbs for rename method using association rule mining (YK, YO, TI, YH, TY, KI), pp. 323–327.
CSMR-WCRE-2014-MondalRS #automation #mining #ranking #refactoring: Automatic ranking of clones for refactoring through mining association rules (MM, CKR, KAS), pp. 114–123.
ICPC-2014-GuptaS #program analysis #quality: A semiautomated method for classifying program analysis rules into a quality model (SG, HKS), pp. 266–270.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware: Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
ICALP-v1-2014-DemaineDFPSWW #assembly #simulation: One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile (EDD, MLD, SPF, MJP, RTS, AW, DW), pp. 368–379.
HIMI-DE-2014-AlghamdiT #image #mining #multimodal #retrieval #semantics #towards #using: Towards Semantic Image Retrieval Using Multimodal Fusion with Association Rules Mining (RAA, MT), pp. 407–418.
ICEIS-v1-2014-BiniSL #evaluation #in the cloud: Cloud Computing — An Evaluation of Rules of Thumb for Tuning RDBMSs (TAB, MSS, AL), pp. 187–192.
ICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #information management #mobile #performance #reasoning #rule-based: Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
ICEIS-v3-2014-PrakashSS: Business Rules for Business Governance (NP, DKS, DS), pp. 360–367.
CIKM-2014-KangKL #automation #owl #performance: A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
ICPR-2014-Yildiz #set: VC-Dimension of Rule Sets (OTY), pp. 3576–3581.
KDD-2014-KohaviDLX #web: Seven rules of thumb for web site experimenters (RK, AD, RL, YX), pp. 1857–1866.
KDIR-2014-FahedBB #algorithm #mining #predict: Episode Rules Mining Algorithm for Distant Event Prediction (LF, AB, AB), pp. 5–13.
KDIR-2014-SourourL #information retrieval #query: Association Rules Between Terms Appreciated by EII for Query Expansion in IR (BRS, CL), pp. 381–387.
KEOD-2014-KrisciunieneNBP #ontology #owl: Rules for Transforming OWL 2 Ontology into SBVR (GK, LN, RB, BP), pp. 256–263.
KEOD-2014-Marc-ZweckerAW #ontology #recognition #rule-based: A Fuzzy-Rule Based Ontology for Urban Object Recognition (SMZ, KA, CW), pp. 153–160.
KMIS-2014-HisakaneOSK #multi: A Tutoring Rule Selection Method for Case-based e-Learning by Multi-class Support Vector Machine (DH, MO, MS, NK), pp. 119–125.
KR-2014-GottlobHKL #logic #semantics: Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KR-2014-GottlobMP #polynomial: Polynomial Combined Rewritings for Existential Rules (GG, MM, AP).
SEKE-2014-ChenHQJ #performance #static analysis #using: Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.
SEKE-2014-ChourabiA #automation #process #specification: Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-Garcia-NunesSZB #analysis #collaboration #fuzzy #modelling: Mental models analysis based on fuzzy rules for collaborative decision-making (PIGN, AES, ACZ, GB), pp. 695–700.
SEKE-2014-GuimaraesSALC #alloy #consistency #using #verification: A Method for Verifying the Consistency of Business Rules Using Alloy (DG, EAS, AJA, PL, ALC), pp. 381–386.
MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using: Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using: Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
LOPSTR-2014-ChristiansenK #confluence #constraints #equivalence: Confluence Modulo Equivalence in Constraint Handling Rules (HC, MHK), pp. 41–58.
LOPSTR-2014-SharafAF #animation #constraints #named: CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface: Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
RE-2014-MaalejG #lessons learnt: Capturing and sharing domain knowledge with business rules lessons learned from a global software vendor (WM, SG), pp. 364–373.
SAC-2014-ShinJLY #automaton #design: Design of a cellular automata cell with rule 30 on quantum-dot cellular automata (SHS, JCJ, GJL, KYY), pp. 1749–1750.
ICSE-2014-XiaoCK #architecture #design: Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
LCTES-2014-ChaudharyFT #compilation #named #specification: em-SPADE: a compiler extension for checking rules extracted from processor specifications (SC, SF, LT), pp. 105–114.
CAV-2014-Nadel #automation #generative: Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
IJCAR-2014-Lellmann #axiom #strict #theory and practice: Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (BL), pp. 307–321.
RTA-TLCA-2014-FuhsK #first-order: First-Order Formative Rules (CF, CK), pp. 240–256.
QoSA-2013-CaiWWW #architecture #design: Leveraging design rules to improve software architecture recovery (YC, HW, SW, LW), pp. 133–142.
ASE-2013-DhunganaTWW #automation #interactive #rule-based #verification: Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
CASE-2013-BagchiBNVSS #using: Incentive compatible green procurement using scoring rules (DB, SB, YN, NV, PS, SVS), pp. 504–509.
CASE-2013-LiX #adaptation #learning: Off-line learning based adaptive dispatching rule for semiconductor wafer fabrication facility (LL, HX), pp. 1028–1033.
DAC-2013-SalodkarRBB #automation #design #multi: Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.
DRR-2013-SchusterHME #documentation #how #rule-based: Rule-based versus training-based extraction of index terms from business documents: how to combine the results (DS, MH, KM, DE).
ICDAR-2013-KimLT #classification #heuristic #identification #using: Identification of Investigator Name Zones Using SVM Classifiers and Heuristic Rules (JK, DXL, GRT), pp. 140–144.
ICDAR-2013-ReznakovaTC #fuzzy #generative #gesture #named #online #recognition: ARTIST: ART-2A Driven Generation of Fuzzy Rules for Online Handwritten Gesture Recognition (MR, LT, MC), pp. 354–358.
SIGMOD-2013-AbiteboulAMST #development #rule-based #using: Rule-based application development using Webdamlog (SA, ÉA, GM, JS, JT), pp. 965–968.
SIGMOD-2013-MukherjiLBWRWR #interactive #mining #named #parametricity: PARAS: interactive parameter space exploration for association rule mining (AM, XL, CRB, JW, EAR, MOW, CR), pp. 1017–1020.
VLDB-2013-AmsterdamerGMS #mining #named: CrowdMiner: Mining association rules from the crowd (YA, YG, TM, PS), pp. 1250–1253.
VLDB-2013-BrunatoB #learning #optimisation: Learning and Intelligent Optimization (LION): One Ring to Rule Them All (MB, RB), pp. 1176–1177.
ITiCSE-2013-TrabelsiA #education #generative #network #using: Using network packet generators and snort rules for teaching denial of service attacks (ZT, LA), pp. 285–290.
FoSSaCS-2013-HaymanH #graph #modelling #rule-based #semantics: Pattern Graphs and Rule-Based Models: The Semantics of Kappa (JH, TH), pp. 1–16.
CSMR-2013-LehnertFR #impact analysis #rule-based: Rule-Based Impact Analysis for Heterogeneous Software Artifacts (SL, QuaF, MR), pp. 209–218.
ICSM-2013-QianPXJZ #logic #mining #programming: Mining Logical Clones in Software: Revealing High-Level Business and Programming Rules (WQ, XP, ZX, SJ, WZ), pp. 40–49.
WCRE-2013-CosentinoCABP #cobol #framework #modelling: Extracting business rules from COBOL: A model-based framework (VC, JC, PA, PB, JP), pp. 409–416.
WCRE-2013-CosentinoCABP13a #cobol #modelling: Extracting business rules from COBOL: A model-based tool (VC, JC, PA, PB, JP), pp. 483–484.
WCRE-2013-HoraADV #mining: Mining system specific rules from change patterns (AH, NA, SD, MTV), pp. 331–340.
LATA-2013-AotoI #calculus #rule-based #termination: Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.
IFM-2013-SongT #api #library #model checking: Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification: Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance: Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
GT-VMT-2013-AlshanqitiHK #graph transformation #learning: Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
GT-VMT-2013-WinetzhammerW #behaviour #emf #modelling #rule-based: ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).
CHI-2013-WarrenLVG #classification #flexibility #gesture: Bending the rules: bend gesture classification for flexible displays (KW, JL, VV, AG), pp. 607–610.
CSCW-2013-JoycePB #collaboration: Keeping eyes on the prize: officially sanctioned rule breaking in mass collaboration systems (EJ, JP, BSB), pp. 1081–1092.
HCI-AS-2013-HarunBON #learning #using: Refining Rules Learning Using Evolutionary PD (AFH, SB, CO, NLMN), pp. 376–385.
HIMI-HSM-2013-KarashimaN #behaviour #safety: Influence of the Safety Margin on Behavior that Violates Rules (MK, HN), pp. 497–506.
OCSC-2013-YuanOXS #bibliography #classification #sentiment #using #web: Sentiment Classification of Web Review Using Association Rules (MY, YO, ZX, HS), pp. 442–450.
EDOC-2013-SuleimanV #modelling #performance: Modeling Performance of Elasticity Rules for Cloud-Based Applications (BS, SV), pp. 201–206.
ICEIS-v1-2013-HuangLCW #induction: A Rule Induction with Hierarchical Decision Attributes (CCH, SHL, ZXC, YPW), pp. 95–102.
CIKM-2013-AyadiTDJH #correlation #image #modelling #query #retrieval #using: Correlating medical-dependent query features with image retrieval models using association rules (HA, MT, MD, MBJ, JXH), pp. 299–308.
ICML-c3-2013-DembczynskiJKWH #approach #classification #multi #optimisation #plugin: Optimizing the F-Measure in Multi-Label Classification: Plug-in Rule Approach versus Structured Loss Minimization (KD, AJ, WK, WW, EH), pp. 1130–1138.
ICML-c3-2013-MalioutovV #learning: Exact Rule Learning via Boolean Compressed Sensing (DMM, KRV), pp. 765–773.
KDIR-KMIS-2013-RauchS #case study #mining #using: Using Domain Knowledge in Association Rules Mining — Case Study (JR, MS), pp. 104–111.
MLDM-2013-AllahSG #algorithm #array #dataset #mining #performance #scalability: An Efficient and Scalable Algorithm for Mining Maximal — High Confidence Rules from Microarray Dataset (WZAA, YKES, FFMG), pp. 352–366.
MLDM-2013-ElGibreenA #learning #multi #product line: Multi Model Transfer Learning with RULES Family (HE, MSA), pp. 42–56.
MLDM-2013-OthmanB #induction #reduction: Preceding Rule Induction with Instance Reduction Methods (OO, CHB), pp. 209–218.
SEKE-2013-Al-JamimiA #design pattern #detection #prolog #using: Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S) (HAAJ, MAA), pp. 727–730.
SEKE-2013-MaffortVBHAM #design pattern #mining #using: Mining Architectural Patterns Using Association Rules (CAM, MTV, RdSB, AH, NA, JM), pp. 375–380.
AMT-2013-CalegariD #qvt #testing: Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
ICMT-2013-FaunesSB #approach #model transformation: Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
MoDELS-2013-FaunesCBSC #automation #metamodelling: Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MoDELS-2013-TisiPC #atl #execution #parallel: Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
MoDELS-2013-FaunesCBSC #automation #metamodelling: Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MoDELS-2013-TisiPC #atl #execution #parallel: Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
Onward-2013-WurthingerWWSDHRSW #virtual machine: One VM to rule them all (TW, CW, AW, LS, GD, CH, GR, DS, MW), pp. 187–204.
PPDP-2013-LamC #constraints #distributed #execution: Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
POPL-2013-Adams #parsing: Principled parsing for indentation-sensitive languages: revisiting landin’s offside rule (MDA), pp. 511–522.
SAC-2013-AlmeidaKG #data type #random: Random rules from data streams (EA, PK, JG), pp. 813–814.
SAC-2013-CameronSNMM #analysis #component #performance #realtime #rule-based: Performance analysis of a rule-based SOA component for real-time applications (AC, MS, NN, WM, TM), pp. 1877–1884.
SAC-2013-Fournier-VigerT #mining #named: TNS: mining top-k non-redundant sequential rules (PFV, VST), pp. 164–166.
SLE-2013-AfroozehBJSV #precedence #specification: Safe Specification of Operator Precedence Rules (AA, MvdB, AJ, ES, JJV), pp. 137–156.
ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification: Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
SOSP-2013-ClementsKZMK #commutative #design #manycore #scalability: The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
ICLP-J-2013-GottlobMP #decidability #paradigm: Combining decidability paradigms for existential rules (GG, MM, AP), pp. 877–892.
ICLP-J-2013-JansenJJ #compilation #induction #prolog: Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
ICLP-J-2013-YouZZ #logic programming #quantifier #source code: Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.
ICST-2013-ErikssonLO #empirical #framework #independence #testing: Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
LICS-2013-Lahav #logic: From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.
ASE-2012-FaunesSB #algorithm #generative #model transformation #using: Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
CASE-2012-ChenF #analysis #rule-based: Treatment of missing values for association rule-based tool commonality analysis in semiconductor manufacturing (RHC, CMF), pp. 886–891.
CASE-2012-LiJJ #policy: A pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication (YL, ZJ, WJ), pp. 396–400.
CASE-2012-LiLS #constraints #process: Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
DAC-2012-Suto #design #using: Rule agnostic routing by using design fabrics (GS), pp. 471–475.
DAC-2012-YuCSJC #design #detection #using: Accurate process-hotspot detection using critical design rule extraction (YTY, YCC, SS, IHRJ, CC), pp. 1167–1172.
DRR-2012-SadawiSS #approach #recognition #rule-based: Chemical structure recognition: a rule-based approach (NMS, APS, VS).
VLDB-2012-IseleB #learning #programming #search-based #using: Learning Expressive Linkage Rules using Genetic Programming (RI, CB), pp. 1638–1649.
WRLA-J-2010-KatelmanKM12 #semantics #set: Rewriting semantics of production rule sets (MK, SK, JM), pp. 929–956.
WRLA-2012-TushkanovaGRK #framework #rule-based: A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier: Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
CSMR-2012-DohringH #adaptation #taxonomy #workflow: Anomalies in Rule-Adapted Workflows — A Taxonomy and Solutions for vBPMN (MD, SH), pp. 117–126.
MSR-2012-NguyenK #api #mutation testing #testing: Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
WCRE-2012-ChaparroAOM #automation #database #legacy #towards: Towards the Automatic Extraction of Structural Business Rules from Legacy Databases (OC, JA, FO, AM), pp. 479–488.
WCRE-2012-IchiiMNCO #approach #automation #modelling #rule-based #source code: A Rule-based Automated Approach for Extracting Models from Source Code (MI, TM, YN, MC, HO), pp. 308–317.
PLDI-2012-GrebenshchikovLPR #proving #verification: Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.
ICALP-v2-2012-DawarH #algebra #game studies: Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.
LATA-2012-DennunzioFP #automaton #complexity: Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
ICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using: Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
CSCW-2012-CheungH #game studies #lessons learnt: Remix and play: lessons from rule variants in texas hold’em and halo 2 (GC, JH), pp. 559–568.
EDOC-2012-CostaMPA #approach #detection #modelling #rule-based: 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 #rule-based #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.
ICEIS-J-2012-AyresS12a #mining #similarity: Exploring Similarity Relations According to Different Contexts in Mining Generalized Association Rules (RMJA, MTPS), pp. 137–152.
ICEIS-v1-2012-AyresS #fuzzy #mining #ontology #similarity #using: Mining Generalized Association Rules using Fuzzy Ontologies with Context-based Similarity (RMJA, MTPS), pp. 74–83.
ICEIS-v1-2012-CarvalhoBSR #clustering: Labeling Methods for Association Rule Clustering (VOdC, DSB, FFdS, SOR), pp. 105–111.
ICEIS-v2-2012-OrlandoRHODM #editing #web: SWRL Rule Editor — A Web Application as Rich as Desktop Business Rule Editors (JPO, AR, SH, MJO, AKD, DAM), pp. 258–263.
CIKM-2012-BordinoDP: Extracting interesting association rules from toolbar data (IB, DD, BP), pp. 2543–2546.
CIKM-2012-NiuRWY #effectiveness #mining #web: An effective rule miner for instance matching in a web of data (XN, SR, HW, YY), pp. 1085–1094.
CIKM-2012-RiondatoDFU #algorithm #approximate #mining #named #parallel #pipes and filters #random: PARMA: a parallel randomized algorithm for approximate association rules mining in MapReduce (MR, JAD, RF, EU), pp. 85–94.
ICPR-2012-AtaY #induction: Searching for the optimal ordering of classes in rule induction (SA, OTY), pp. 1277–1280.
ICPR-2012-ChenL #identification: Exploiting ruling line artifacts in writer identification (JC, DPL), pp. 3737–3740.
ICPR-2012-DAmbrosioIS #learning #re-engineering: A One-per-Class reconstruction rule for class imbalance learning (RD, GI, PS), pp. 1310–1313.
KDD-2012-LiuSZFNW #data analysis #named #visualisation: AssocExplorer: an association rule visualization system for exploratory data analysis (GL, AS, HZ, MF, SKN, LW), pp. 1536–1539.
KDIR-2012-KharbatBO #algorithm #case study #dataset: A New Compaction Algorithm for LCS Rules — Breast Cancer Dataset Case Study (FK, LB, MO), pp. 382–385.
KEOD-2012-GhezaielLA #concept #documentation #ontology: Ontology Enrichment based on Generic Basis of Association Rules for Conceptual Document Indexing (LBG, CCL, MBA), pp. 53–65.
KEOD-2012-HmidaCBN #3d #logic #using: From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for Bodies (HBH, CC, FB, CN), pp. 208–213.
KR-2012-ThomazoBMR #algorithm #query #set: A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).
MLDM-2012-MondalPMMB #approach #clustering #concept analysis #mining #using: A New Approach for Association Rule Mining and Bi-clustering Using Formal Concept Analysis (KCM, NP, AM, UM, SB), pp. 86–101.
SEKE-2012-ChandaMB #architecture #framework #interactive #knowledge base: Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture (DC, DDM, SB), pp. 315–318.
SIGIR-2012-BaoKL #automation #enterprise: Automatic suggestion of query-rewrite rules for enterprise search (ZB, BK, YL), pp. 591–600.
ICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #model transformation: Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
AMT-2012-BurguenoWV #perspective #requirements #towards: Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.
AMT-2012-TaentzerAEH #model transformation #refactoring #rule-based #towards: Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
ICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based: Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
MoDELS-2012-RederE #consistency #design #incremental: Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
MoDELS-2012-SaadaDHNS #generative #model transformation: Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
MoDELS-2012-RederE #consistency #design #incremental: Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
MoDELS-2012-SaadaDHNS #generative #model transformation: Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
RE-2012-VrbaskiPA #reasoning #rule-based #tool support: Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
SAC-2012-BenreguiaK #consistency #graph #morphism #problem: A consistency rule for graph isomorphism problem (BB, HK), pp. 906–911.
SAC-2012-KaneiwaN #knowledge base #ontology: Sorted hyper-predicate knowledge bases for ontologies and rules (KK, PHPN), pp. 312–319.
SAC-2012-KosinaG #multi #performance #problem: Very Fast Decision Rules for multi-class problems (PK, JG), pp. 795–800.
ICSE-2012-MesbahM #analysis #automation #css #maintenance: Automated analysis of CSS rules to support style maintenance (AM, SM), pp. 408–418.
ICSE-2012-SunSPR #mining #static analysis: Extending static analysis by mining project-specific rules (BS, GS, AP, BR), pp. 1054–1063.
SLE-2012-KonatKWV #declarative: Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.
ICLP-2012-MorakW #preprocessor #programming #set: Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
ICLP-J-2012-Duck #constraints #named #satisfiability: SMCHR: Satisfiability modulo constraint handling rules (GJD), pp. 601–618.
ICLP-J-2012-Haemmerle #confluence #constraints #diagrams: Diagrammatic confluence for Constraint Handling Rules (RH), pp. 737–753.
ICST-2012-TranP #framework #graph transformation #towards #verification: Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification: Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
IJCAR-2012-JarvisaloHB: Inprocessing Rules (MJ, MH, AB), pp. 355–370.
ASE-2011-KehrerKT #approach #difference #rule-based #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.
CASE-2011-Soressi #industrial #safety: Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.
DATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis: A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DRR-2011-KavallieratouLC #detection: Ruling line detection and removal (EK, DPL, JC), pp. 1–10.
ICDAR-2011-ChenL11a #algorithm #detection #documentation #modelling: A Model-Based Ruling Line Detection Algorithm for Noisy Handwritten Documents (JC, DPL), pp. 404–408.
ICDAR-2011-KumarD #image #performance #using: Fast Rule-Line Removal Using Integral Images and Support Vector Machines (JK, DSD), pp. 584–588.
PODS-2011-AbiteboulBGA #data transformation #rule-based #web: A rule-based language for web data management (SA, MB, AG, ÉA), pp. 293–304.
PODS-2011-FaginKLRV #database: Rewrite rules for search database systems (RF, BK, YL, SR, SV), pp. 271–282.
SIGMOD-2011-ChiticariuCDGHKLLLRRVZ #development #ide #information management: The SystemT IDE: an integrated development environment for information extraction rules (LC, VC, SD, TWG, HH, RK, AL, YL, BL, SR, FR, SV, HZ), pp. 1291–1294.
VLDB-2012-LiuZW11 #mining: Controlling False Positives in Association Rule Mining (GL, HZ, LW), pp. 145–156.
ESOP-2011-JohnLNV #constraints: Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
CSMR-2011-KessentiniSBW #design #detection #fault #generative #music: Design Defect Detection Rules Generation: A Music Metaphor (MK, HAS, MB, MW), pp. 241–248.
STOC-2011-FriedmannHZ #algorithm #bound #random: Subexponential lower bounds for randomized pivoting rules for the simplex algorithm (OF, TDH, UZ), pp. 283–292.
DLT-J-2009-Zetzsche11 #capacity #comprehension #generative #matrix #towards: Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.
CIAA-2011-HanK #automaton: A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule (YSH, SKK), pp. 154–165.
LATA-2011-AcetoCIMR: Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
SEFM-2011-JacquelBDD #automation #proving #theorem proving #using #verification: Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (MJ, KB, DD, CD), pp. 253–268.
SEFM-2011-Metayer #formal method: Formal Methods as a Link between Software Code and Legal Rules (DLM), pp. 3–18.
GCM-2010-BottoniFP11 #constraints #incremental #policy: Incremental update of constraint-compliant policy rules (PB, AF, FPP).
AGTIVE-2011-Proctor #named: Drools: A Rule Engine for Complex Event Processing (MP), p. 2.
AGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine: Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
CAiSE-2011-AwadGTW #approach #process #synthesis: An Iterative Approach for Business Process Template Synthesis from Compliance Rules (AA, RG, JT, MW), pp. 406–421.
EDOC-2011-AgaramL #development #framework #independence: An Engine-Independent Framework for Business Rules Development (MKA, CL), pp. 75–84.
EDOC-2011-MilanovicGR #flexibility #modelling #process: Modeling Flexible Business Processes with Business Rule Patterns (MM, DG, LR), pp. 65–74.
ICEIS-J-2011-CarvalhoSRP #named: PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
ICEIS-J-2011-PereiraBOM #consistency #process #set: A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0 (EBP, RMB, TCO, MCM), pp. 284–299.
ICEIS-v1-2011-CarvalhoSR #clustering #metric: Post-processing Association Association Rules with Clustering and Objective Measures (VOdC, FFdS, SOR), pp. 54–63.
ICEIS-v1-2011-Zenglian #research: Research of Credit Risk of Commercial Bank Personal Loan based on Association Rule (ZZ), pp. 129–134.
ICEIS-v3-2011-JuniorNI #bibliography #execution #identification #legacy #source code: Survey and Proposal of a Method for Business Rules Identification in Legacy Systems Source Code and Execution Logs (WARJ, GSdN, CI), pp. 207–213.
ICEIS-v3-2011-LiuL #rule-based: The Preliminary Investigation of Salary Management System Rule-based Rules Engine (YL, BL), pp. 472–475.
CIKM-2011-LiLWG: Context-based entity description rule for entity resolution (LL, JL, HW, HG), pp. 1725–1730.
CIKM-2011-PeukertER #process #rule-based: Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
ECIR-2011-Gatterbauer #information management #scalability: Rules of Thumb for Information Acquisition from Large and Redundant Data (WG), pp. 479–490.
ICML-2011-JawanpuriaNR #kernel #learning #performance #using: Efficient Rule Ensemble Learning using Hierarchical Kernels (PJ, JSN, GR), pp. 161–168.
ICML-2011-RobbianoC #learning #plugin #ranking: Minimax Learning Rates for Bipartite Ranking and Plug-in Rules (SR, SC), pp. 441–448.
KDD-2011-RashidiC #induction #learning #query: Ask me better questions: active learning queries based on rule induction (PR, DJC), pp. 904–912.
KDD-2011-SimonKL #classification #statistics: A simple statistical model and association rule filtering for classification (GJS, VK, PWL), pp. 823–831.
KDD-2011-SimonLJV #comprehension #image #using: Understanding atrophy trajectories in alzheimer’s disease using association rules on MRI images (GJS, PWL, CRJJ, PV), pp. 369–376.
KDIR-2011-AlouaouiTF #mining #query: Querying and Mining Spatiotemporal Association Rules (HA, SYT, SF), pp. 402–405.
KDIR-2011-RenC #markov #modelling #predict #transaction: Users Interest Prediction Model — Based on 2nd Markov Model and Inter-transaction Association Rules (YR, ALC), pp. 244–249.
SEKE-2011-AhmedNG #metric: Cyclic Association Rules: Coupling Between Dimensions With Measures (EBA, AN, FG), pp. 379–384.
ECMFA-2011-BajwaL #constraints #ocl: Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.
ICMT-2011-BeckerLDBG #development #refactoring #rule-based: Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
ICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #model transformation: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
PPDP-2011-HaemmerleLH #constraints: CLP projection for constraint handling rules (RH, PLG, MVH), pp. 137–148.
SAC-2011-AhluwaliaGCY #mining #privacy: Target-based privacy preserving association rule mining (MA, AG, ZC, YY), pp. 962–967.
SAC-2011-AntonieB #array: Classifying microarray data with association rules (LA, KB), pp. 94–99.
SAC-2011-BackP #invariant #proving #semantics #source code: Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
SAC-2011-Fournier-VigerNT #mining #named #sequence: RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
SAC-2011-MacielH #commit #protocol #rest: Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.
ICLP-2011-Simko #logic programming #order: Accepting the natural order of rules in a logic program with preferences (AS), pp. 284–289.
ICLP-J-2011-Haemmerle11a #constraints #induction #semantics: (Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.
DAC-2010-CallegariDWA #classification #learning #using: Classification rule learning using subgroup discovery of cross-domain attributes responsible for design-silicon mismatch (NC, DGD, LCW, MSA), pp. 374–379.
VLDB-2010-FanLMTY #editing #towards: Towards Certain Fixes with Editing Rules and Master Data (WF, JL, SM, NT, WY), pp. 173–184.
VLDB-2010-LiuCCJR #automation #information management #refinement: Automatic Rule Refinement for Information Extraction (BL, LC, VC, HVJ, FR), pp. 588–597.
VLDB-2010-WhangG #evolution: Entity Resolution with Evolving Rules (SW, HGM), pp. 1326–1337.
ICSM-2010-CanforaCCP #detection #empirical #logic #multi #using: Using multivariate time series and association rules to detect logical change coupling: An empirical study (GC, MC, LC, MDP), pp. 1–10.
IFM-2010-MilhauFGL: Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
ICGT-2010-EhrigHLOG #confluence: Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
CAiSE-2010-LyRD #design #graph #information management #verification: Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems (LTL, SRM, PD), pp. 9–23.
EDOC-2010-AgaramL #architecture #component: A Componentized Architecture for Externalized Business Rules (MKA, BL), pp. 175–183.
EDOC-2010-AsuncionIS #flexibility #integration #towards: Towards a Flexible Service Integration through Separation of Business Rules (CHA, MEI, MvS), pp. 184–193.
EDOC-2010-MilanovicG #modelling #process: Modeling Service Choreographies with Rule-Enhanced Business Processes (MM, DG), pp. 194–203.
ICEIS-AIDSS-2010-CarvalhoSP #data mining #mining: Swarm Intelligence for Rule Discovery in Data Mining (ABdC, TS, AP), pp. 314–319.
ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #semantics: NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEIS-DISI-2010-AzevedoPTBC #data access #flexibility #framework: A Flexible Framework for Applying Data Access Authorization Business Rules (LGA, SP, RT, FAB, CC), pp. 275–280.
ICEIS-ISAS-2010-DohringKGZ #architecture #challenge #convergence #workflow: The Convergence of Workflows, Business Rules and Complex Events — Defining a Reference Architecture and Approaching Realization Challenges (MD, LK, EG, BZ), pp. 338–343.
ICEIS-J-2010-WatanabeRTT10a #classification #image #named #statistics: SACMiner: A New Classification Method Based on Statistical Association Rules to Mine Medical Images (CYVW, MXR, CTJ, AJMT), pp. 249–263.
CIKM-2010-FlorezD #mining #process: Mining rules to explain activities in videos (OUF, CED), pp. 1577–1580.
CIKM-2010-JindalLL #bibliography #using: Finding unusual review patterns using unexpected rules (NJ, BL, EPL), pp. 1549–1552.
CIKM-2010-KaluarachchiVBWPF #evolution #query #retrieval: Incorporating terminology evolution for query translation in text retrieval with association rules (ACK, ASV, SJB, GW, JP, AF), pp. 1789–1792.
CIKM-2010-LeungLLW #mining #network #social: Mining interesting link formation rules in social networks (CWkL, EPL, DL, JW), pp. 209–218.
CIKM-2010-SotoudehA #detection #framework #induction #using: Partial drift detection using a rule induction framework (DS, AA), pp. 769–778.
ECIR-2010-GoharianFYM #peer-to-peer #query #using: Enriching Peer-to-Peer File Descriptors Using Association Rules on Query Logs (NG, OF, WGY, JM), pp. 636–639.
ICPR-2010-CapitaineF #evaluation: An Optimum Class-Rejective Decision Rule and Its Evaluation (HLC, CF), pp. 3312–3315.
ICPR-2010-DehzangiMCL #classification #fuzzy #using: Framewise Phone Classification Using Weighted Fuzzy Classification Rules (OD, BM, EC, HL), pp. 4186–4189.
ICPR-2010-KotsiaP #multi: Multiplicative Update Rules for Multilinear Support Tensor Machines (IK, IP), pp. 33–36.
ICPR-2010-LoprestiK #image: Ruling Line Removal in Handwritten Page Images (DPL, EK), pp. 2704–2707.
ICPR-2010-ShiSG #documentation #image #using: Removing Rule-Lines from Binary Handwritten Arabic Document Images Using Directional Local Profile (ZS, SS, VG), pp. 1916–1919.
ICPR-2010-SimeoneMT: Exploiting System Knowledge to Improve ECOC Reject Rules (PS, CM, FT), pp. 4340–4343.
KDIR-2010-BalcazarTZ: Filtering Association Rules with Negations on the Basis of Their Confidence Boost (JLB, CT, MEZ), pp. 263–268.
KDIR-2010-GudysS #algorithm: An Algorithm for Decision Rules Aggregation (AG, MS), pp. 216–225.
KEOD-2010-LeraJP #algorithm #ambiguity #concept #ontology #semantics: Unsupervised Algorithm for the Concept Disambiguation in Ontologies — Semantic Rules and Voting System to Determine Suitable Senses (IL, CJ, RP), pp. 388–391.
KR-2010-BagetLM #decidability: Walking the Decidability Line for Rules with Existential Variables (JFB, ML, MLM).
KR-2010-LiVK #approach #performance: An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).
SEKE-2010-AdderleyDT #framework #implementation #rule-based: An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI Framework (TA, SD, FT), pp. 599–603.
SIGIR-2010-YanZJLYC #framework #learning: A co-learning framework for learning user search intents from rule-generated training data (JY, ZZ, LJ, YL, SY, ZC), pp. 895–896.
ICMT-2010-CabotCGL #graph transformation #ocl #synthesis: Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
MoDELS-v2-2010-GorpE #execution #java #modelling #process: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
OOPSLA-2010-KatsV #declarative #ide #specification #spoofax: The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
LOPSTR-2010-Seki #induction #on the #proving: On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.
PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics: Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.
PADL-2010-GrumbachW #distributed #programming #rule-based: Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
SAC-2010-AraujoSCA #process #validation: A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
SAC-2010-BernalFMD #approach #identification #process #rule-based: Dynamic context-aware business process: a rule-based approach supported by pattern identification (JFMB, PF, MM, JD), pp. 470–474.
SAC-2010-CostaFGMO #learning #mining #modelling: Mining models of exceptional objects through rule learning (GC, FF, MG, GM, RO), pp. 1078–1082.
SAC-2010-DelisVT #approach #classification: A data perturbation approach to sensitive classification rule hiding (AD, VSV, AAT), pp. 605–609.
SAC-2010-GoethalsPM #database #mining #relational #set: Mining interesting sets and rules in relational databases (BG, WLP, MM), pp. 997–1001.
SAC-2010-ZhouSS #approximate #design #geometry: Blade geometry design with kinematic ruled surface approximation (YZ, JS, SS), pp. 1266–1267.
ICSE-2010-Filho #impact analysis: Change impact analysis from business rules (AOF), pp. 353–354.
ICSE-2010-Mattsson #architecture #automation #design: Automatic enforcement of architectural design rules (AM), pp. 369–372.
HPCA-2010-RomanescuLSB #protocol: UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all (BFR, ARL, DJS, AB), pp. 1–12.
OSDI-2010-PopaERS #network #rule-based: Building Extensible Networks with Rule-Based Forwarding (LP, NE, SR, IS), pp. 379–392.
CSL-2010-GhaniJF #algebra #induction: Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
ICLP-J-2010-BetzRF #constraints #execution: A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
ICLP-J-2010-HouCD #fixpoint #logic #rule-based: FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.
LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
RTA-2010-Aoto #automation #confluence #diagrams #proving: Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling (TA), pp. 7–16.
RTA-2010-SternagelT: Certified Subterm Criterion and Certified Usable Rules (CS, RT), pp. 325–340.
ASE-2009-WongCVSS #design #development #parallel: Design Rule Hierarchies and Parallelism in Software Development Tasks (SW, YC, GV, GS, KS), pp. 197–208.
CASE-2009-KhawP #assembly #multi #optimisation #problem: Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem (CLEK, SGP), pp. 177–182.
CASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using: Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.
DAC-2009-AbercrombiePC #design #equation #simulation: Use of lithography simulation for the calibration of equation-based design rule checks (DA, FP, CC), pp. 67–70.
ICDAR-2009-Abd-AlmageedKD #documentation #linear #using: Page Rule-Line Removal Using Linear Subspaces in Monochromatic Handwritten Arabic Documents (WAA, JK, DSD), pp. 768–772.
ICDAR-2009-FrinkenB #learning #network #recognition #word: Evaluating Retraining Rules for Semi-Supervised Learning in Neural Network Based Cursive Word Recognition (VF, HB), pp. 31–35.
ICDAR-2009-Tanaka #documentation #image: Threshold Correction of Document Image Binarization for Ruled-line Extraction (HT), pp. 541–545.
SIGMOD-2009-ElmonguiNR #framework #query #testing: A framework for testing query transformation rules (HGE, VRN, RR), pp. 257–268.
SIGMOD-2009-MichelakisKHV #information management #nondeterminism #rule-based: Uncertainty management in rule-based information extraction systems (EM, RK, PJH, SV), pp. 101–114.
VLDB-2009-FanJLM #reasoning: Reasoning about Record Matching Rules (WF, XJ, JL, SM), pp. 407–418.
MSR-2009-LubsenZP #co-evolution #using: Using association rules to study the co-evolution of production & test code (ZL, AZ, MP), pp. 151–154.
WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier: Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.
PEPM-2009-PardoFS #higher-order #monad #source code: Shortcut fusion rules for the derivation of circular and higher-order monadic programs (AP, JPF, JS), pp. 81–90.
CIAA-2009-ClarridgeS #automaton: A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule (AC, KS), pp. 44–53.
ICALP-v1-2009-BansalCPK #bound #scalability: Improved Bounds for Speed Scaling in Devices Obeying the Cube-Root Rule (NB, HLC, KP, DK), pp. 144–155.
SEFM-2009-Chalin #verification: Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.
GT-VMT-2009-RensinkK #graph transformation: Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.
HCI-AUII-2009-HamaguchiKDI #framework: User-Definable Rule Description Framework for Autonomous Actor Agents (NH, HK, MD, SI), pp. 257–266.
HCI-VAD-2009-NielloFGFBV #set: A Set of Rules and Strategies for UNSAM Virtual Campus (JFN, FVCF, MG, RFZ, SB, MV), pp. 101–110.
IDGD-2009-McCollough #case study #configuration management #quote: “Whose Rule Is It Anyway?” — A Case Study in the Internationalization of User-Configurable Business Rules (MM), pp. 274–282.
EDOC-2009-BoukhebouzeABM #modelling #process #rule-based #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: Rule-Based Architectural Compliance Checks for Enterprise Architecture Management (CD, PD, SH, AR), pp. 183–192.
EDOC-2009-MilanovicG #modelling #process #towards: Towards a Language for Rule-Enhanced Business Process Modeling (MM, DG), pp. 64–73.
ICEIS-AIDSS-2009-MarinicaOG #algorithm #mining #using: User-driven Association Rule Mining using a Local Algorithm (CM, AO, FG), pp. 200–205.
ICEIS-ISAS-2009-MansourH #approach #database #framework #rule-based #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.
ICEIS-ISAS-2009-TatsiopoulosB #mining #ontology: Ontology Mapping based on Association Rule Mining (CT, BB), pp. 33–40.
ICEIS-J-2009-BoukhebouzeABM #execution #process #self #towards: Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.
ICEIS-J-2009-CastellaniKRWG #maintenance #query: Creation and Maintenance of Query Expansion Rules (SC, ANK, FR, JW, AG), pp. 819–830.
ICEIS-J-2009-MianiYSB #algorithm #fuzzy #mining #ontology: NARFO Algorithm: Mining Non-redundant and Generalized Association Rules Based on Fuzzy Ontologies (RGM, CAY, MTPS, MB), pp. 415–426.
CIKM-2009-BalachandranPK #clustering #configuration management #dataset #documentation: Interpretable and reconfigurable clustering of document datasets by deriving word-based rules (VB, DP, DK), pp. 1773–1776.
CIKM-2009-ChokG #framework #mining #network #realtime: Spatio-temporal association rule mining framework for real-time sensor network applications (HC, LG), pp. 1761–1764.
ECIR-2009-KurashimaFO #case study #experience #scalability: Discovering Association Rules on Experiences from Large-Scale Blog Entries (TK, KF, HO), pp. 546–553.
ICML-2009-KotlowskiS #constraints #learning: Rule learning with monotonicity constraints (WK, RS), pp. 537–544.
KDIR-2009-FatemiPRS #concept #mining #retrieval #semantics #using #video: Using Association Rule Mining to Enrich Semantic Concepts for Video Retrieval (NF, FP, LER, AFS), pp. 119–126.
KDIR-2009-KiranR #approach: An Improved Frequent Pattern-growth Approach to Discover Rare Association Rules (RUK, PKR), pp. 43–52.
MLDM-2009-BarakatB: The Effect of Domain Knowledge on Rule Extraction from Support Vector Machines (NHB, APB), pp. 311–321.
MLDM-2009-LoglisciM #mining #multi: Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.
MLDM-2009-StahlBA #classification #composition #framework #induction #named #parallel: PMCRI: A Parallel Modular Classification Rule Induction Framework (FTS, MAB, MA), pp. 148–162.
SEKE-2009-LucenaSSAC #modelling: Applying Transformation Rules to Improve i* Models (ML, CTLLS, ES, FMRA, JC), pp. 43–48.
ECMDA-FA-2009-ChenM #consistency #guidelines #uml: A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
ICMT-2009-FabroABJ #model transformation #using: Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.
ICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation: Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
MoDELS-2009-MilanovicGWH #modelling #process: Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MoDELS-2009-MilanovicGWH #modelling #process: Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
OOPSLA-2009-NandaMSS #approach #automation #model transformation: Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
RE-2009-MaxwellA #modelling #requirements: Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts (JCM, AIA), pp. 101–110.
ICSE-2009-ThummalapentaX #mining #sequence: Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.
SPLC-2009-GanesanLAMB #architecture #design #product line #verification: Verifying architectural design rules of the flight software product line (DG, ML, CA, DM, MB), pp. 161–170.
CSL-2009-SchwinghammerBRY #higher-order #hoare: Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.
ICLP-2009-ChenJL #logic programming #source code: Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.
ICLP-2009-GebserKKS #constraints #implementation #on the: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICLP-2009-Raiser #constraints #graph transformation #research #summary #using: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (Research Summary) (FR), pp. 540–541.
ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation: Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
WICSA-2008-AnderssonEL #adaptation #architecture #automation: Automatic Rule Derivation for Adaptive Architectures (JA, ME, WL), pp. 323–326.
WICSA-2008-LaMantiaCMR #design #evolution #matrix #scalability #using: Analyzing the Evolution of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory: Two Exploratory Cases (MJL, YC, AM, JR), pp. 83–92.
CASE-2008-MatsumotoUOI #analysis #empirical #process: Business process analysis to obtain empirical lot sizing rule in printing process (SM, NU, KO, HI), pp. 591–596.
CASE-2008-ZhangMT #rule-based #verification: Verification of ECA rule based management and control systems (JZ, JRM, DMT), pp. 1–7.
DATE-2008-MassierGS #design: Sizing Rules for Bipolar Analog Circuit Design (TM, HEG, US), pp. 140–145.
VLDB-2008-ChiangM #quality: Discovering data quality rules (FC, RJM), pp. 1166–1177.
VLDB-2008-LoK #mining #specification: Mining patterns and rules for software specification discovery (DL, SCK), pp. 1609–1616.
FASE-2008-BisztrayHE #architecture #refactoring #verification: Verification of Architectural Refactorings by Rule Extraction (DB, RH, HE), pp. 347–361.
ICPC-2008-DenierG #metric #named: Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies (SD, YGG), pp. 143–152.
ICSM-2008-KellensSDJD #aspect-oriented #case study #experience: Experiences in modularizing business rules into aspects (AK, KDS, TD, VJ, HD), pp. 448–451.
PEPM-2008-Voigtlander #correctness #proving #theorem: Proving correctness via free theorems: the case of the destroy/build-rule (JV), pp. 13–20.
FLOPS-2008-AlvezL #semantics: A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.
FLOPS-2008-KoninckSD #compilation #optimisation: Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
FLOPS-2008-Voigtlander #semantics: Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.
GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling: Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
GT-VMT-2006-Braatz08 #approach #modelling #object-oriented #rule-based: A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems (BB), pp. 251–260.
GT-VMT-2006-MinasH08 #graph transformation #programming: An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.
GT-VC-2007-ErmelE08 #animation #behaviour: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based: Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
GT-VMT-2008-BottoniMWY #control flow: Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).
GT-VMT-2008-LambersET #sequence: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
ICGT-2008-Bisztray #architecture #refactoring #tool support #verification: Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.
ICGT-2008-EhrigE #correctness #graph #model transformation #semantics #using: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICGT-2008-YuH #graph transformation #query #semantics #web: Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
CHI-2008-ButlerJP #policy #wiki: Don’t look now, but we’ve created a bureaucracy: the nature and roles of policies and rules in wikipedia (BSB, EJ, JP), pp. 1101–1110.
EDOC-2008-EijndhovenIP #flexibility #process: Achieving Business Process Flexibility with Business Rules (TvE, MEI, MLP), pp. 95–104.
EDOC-2008-IacobJ #modelling #rule-based #specification: A Model-Driven Perspective on the Rule-Based Specification of Services (MEI, HJ), pp. 75–84.
EDOC-2008-Rinderle-MaR #lifecycle: Managing the Life Cycle of Access Rules in CEOSIS (SRM, MR), pp. 257–266.
ICEIS-AIDSS-2008-NguyenG #approach #evolution #mining #multi: Rule Evolution Approach for Mining Multivariate Time Series Data (VAN, VG), pp. 19–26.
ICEIS-AIDSS-2008-Zacharias: Rules as Simple Way to Model Knowledge — Closing the Gap between Promise and Reality (VZ), pp. 87–94.
ICEIS-DISI-2008-LiuQLZWD #distributed #specification #visual notation: A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
ICEIS-ISAS1-2008-GullaBK #concept #ontology #using: Using Association Rules to Learn Concept Relationships in Ontologies (JAG, TB, GSK), pp. 58–65.
ICEIS-J-2008-GullaBK08a #learning #ontology: Association Rules and Cosine Similarities in Ontology Relationship Learning (JAG, TB, GSK), pp. 201–212.
ICEIS-J-2008-Zacharias08a #challenge #debugging #rule-based: Tackling the Debugging Challenge of Rule Based Systems (VZ), pp. 144–154.
ICEIS-SAIC-2008-PetersDW #e-commerce #trust: Consumer-to-Consumer Trust in E-Commerce — Are there Rules for Writing Helpful Product Reviews (GP, MD, RW), pp. 61–66.
CIKM-2008-ShawXG #approximate #dataset: Deriving non-redundant approximate association rules from hierarchical datasets (GS, YX, SG), pp. 1451–1452.
ECIR-2008-SongHRB #composition #mining #modelling #multi #query #using: Facilitating Query Decomposition in Query Language Modeling by Association Rule Mining Using Multiple Sliding Windows (DS, QH, SMR, PB), pp. 334–345.
ICML-2008-DembczynskiKS: Maximum likelihood rule ensembles (KD, WK, RS), pp. 224–231.
ICML-2008-SriperumbudurLL #classification #kernel #metric: Metric embedding for kernel classification rules (BKS, OAL, GRGL), pp. 1008–1015.
ICPR-2008-DehzangiMCL #classification #fuzzy #learning #speech #using: Fuzzy rule selection using Iterative Rule Learning for speech data classification (OD, BM, CES, HL), pp. 1–4.
ICPR-2008-JradGB #constraints #learning #multi #performance: Supervised learning rule selection for multiclass decision with performance constraints (NJ, EGM, PB), pp. 1–4.
ICPR-2008-ShidaraKN #classification #consistency: Classification by bagged consistent itemset rules (YS, MK, AN), pp. 1–4.
KDD-2008-ChowGS #detection #privacy #using: Detecting privacy leaks using corpus-based association rules (RC, PG, JS), pp. 893–901.
KDD-2008-DasguptaKS: De-duping URLs via rewrite rules (AD, RK, AS), pp. 186–194.
KR-2008-AnalytiAD #composition #framework #semantics #web: A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
KR-2008-Brafman08a #relational: Relational Preference Rules for Control (RIB), pp. 552–559.
KR-2008-BruijnET #logic #ontology: Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic (JdB, TE, HT), pp. 485–495.
KR-2008-ChenJL: Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.
SEKE-2008-Chavarria-BaezL #approach #confluence #petri net #termination: Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.
SEKE-2008-PereiraBO #process: Process tailoring based on well-formedness rules (EBP, RMB, TCdO), pp. 185–190.
SIGIR-2008-VelosoAGM #learning #rank #using: Learning to rank at query-time using association rules (AV, HMdA, MAG, WMJ), pp. 267–274.
ICMT-2008-CabotCGL #graph transformation #ocl: Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
ICMT-2008-Wagelaar #composition #model transformation #rule-based: Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
PPDP-2008-SulzmannL #constraints #execution #parallel: Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
PADL-2008-BrandDPS #constraints #flexibility #rule-based: Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.
PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using: Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.
RE-2008-MaderGP #maintenance #rule-based #traceability: Rule-Based Maintenance of Post-Requirements Traceability Relations (PM, OG, IP), pp. 23–32.
SAC-2008-AbbesBR #detection: An inference system for detecting firewall filtering rules anomalies (TA, AB, MR), pp. 2122–2128.
SAC-2008-ChongKLG #energy #network #using: Using association rules for energy conservation in wireless sensor networks (SKC, SK, SWL, MMG), pp. 971–975.
SAC-2008-LoTP #detection #hardware #implementation #network #regular expression: Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.
SAC-2008-YamamotoOR #information management #interactive: Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction (CHY, MCFO, SOR), pp. 1212–1217.
SAC-2008-YuV #programming #rule-based #visualisation: Visualization of rule-based programming (WY, RMV), pp. 1258–1259.
ATEM-J-2006-AmelunxenS #formal method #model transformation #uml: Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
ATEM-J-2006-DubeyJA #context-free grammar #learning #set: Learning context-free grammar rules from a set of program (AD, PJ, SKA), pp. 223–240.
LDTA-2007-BouwersBV08 #grammarware #precedence: Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking (EB, MB, EV), pp. 85–101.
SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #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 #rule-based: Formalization and Rule-Based Transformation of EMF Ecore-Based Models (BS), pp. 227–244.
ICLP-2008-DemoenN #implementation: Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.
ICLP-2008-Schrijvers #constraints: Constraint Handling Rules (TS), pp. 9–10.
ICLP-2008-SchrijversS #constraints #transaction: Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.
ICLP-2008-Weert #optimisation: Optimization of CHR Propagation Rules (PVW), pp. 485–500.
IJCAR-2008-BeierleKK #automation #implementation #reasoning: A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (CB, GKI, NK), pp. 147–153.
LICS-2008-CiabattoniGT #axiom #logic: From Axioms to Analytic Rules in Nonclassical Logics (AC, NG, KT), pp. 229–240.
LICS-2008-Pottier #anti #higher-order: Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule (FP), pp. 331–340.
RTA-2008-GutierrezLU #term rewriting: Usable Rules for Context-Sensitive Rewrite Systems (RG, SL, XU), pp. 126–141.
CASE-2007-GrauWS #tool support: Improving dispatch rules for cascading tools (GG, JW, KS), pp. 261–264.
CASE-2007-HallbergNDSDFM #named #smarttech: HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.
DAC-2007-AgarwalL #manycore: The KILL Rule for Multicore (AA, ML), pp. 750–753.
ICDAR-2007-Dengel #classification #documentation #learning: Learning of Pattern-Based Rules for Document Classification (AD), pp. 123–127.
VLDB-2007-WongCHKM #mining #outsourcing #security: Security in Outsourcing of Association Rule Mining (WKW, DWC, EH, BK, NM), pp. 111–122.
WRLA-2006-Santos-GarciaP07: Solving Sudoku Puzzles with Rewriting Rules (GSG, MP), pp. 79–93.
MSR-2007-MorisakiMMTM #data analysis #fault #mining: Defect Data Analysis Based on Extended Association Rule Mining (SM, AM, TM, HT, KiM), p. 3.
CIAA-2007-Yli-JyraK #compilation #parallel: A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
LATA-2007-YoonSK #corpus #rule-based #word: Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus (JY, GYS, SK), pp. 589–599.
ICFP-2007-Wazny #case study #experience #functional #programming: Experience report: functional programming in c-rules (JW), pp. 25–28.
GT-VMT-2007-BisztrayH #csp #process #using #verification: Rule-Level Verification of Business Process Transformations using CSP (DB, RH).
GT-VMT-2007-LaraGB #generative #graph grammar #specification: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules (JdL, EG, PB).
HCI-AS-2007-XueL #data mining #distributed #mining #modelling #research #similarity: Research of Distributed Data Mining Association Rules Model Based on Similarity (SX, ZL), pp. 1180–1189.
HCI-MIE-2007-ChevrinC #interactive #mining #multi: Dynamic Association Rules Mining to Improve Intermediation Between User Multi-channel Interactions and Interactive e-Services (VC, OC), pp. 265–274.
HIMI-MTT-2007-CouturierRC #approach #interactive #scalability #set: An Interactive Approach to Display Large Sets of Association Rules (OC, JR, VC), pp. 258–267.
HIMI-MTT-2007-XuLSB: A Method for Rule Extraction by Discernible Vector (EX, LS, ST, BY), pp. 779–784.
EDOC-2007-GramlBS #agile #process: Patterns of Business Rules to Enable Agile Business Processes (TG, RB, MS), pp. 365–378.
EDOC-2007-MilanovicKGGWDH #integration #process #using: Business Process Integration by Using General Rule Markup Language (MM, NK, DG, AG, GW, VD, MH), pp. 353–364.
EDOC-2007-YipPR #ontology: Rules and Ontology in Compliance Management (FY, NP, PR), pp. 435–442.
ICEIS-AIDSS-2007-CarvalhoRC: Obtaining and Evaluating Generalized Association Rules (VOdC, SOR, MdC), pp. 310–315.
ICEIS-AIDSS-2007-ChanL #nondeterminism #rule-based: Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
ICEIS-DISI-2007-GrecoMP #database #query: Preference rules in database querying (SG, CM, FP), pp. 119–124.
ICEIS-DISI-2007-TraversD #graph #optimisation #perspective #xquery: An extensible rule transformation model for XQuery optimization — rules pattern for XQuery tree graph view (NT, TTDN), pp. 351–358.
ICEIS-J-2007-TraversonA #requirements #specification #using: Linking Requirements to EIS Specifications Using Correspondence Rules (BT, CA), pp. 276–285.
CIKM-2007-ShinL #data type #interactive #online: An on-line interactive method for finding association rules data streams (SJS, WSL), pp. 963–966.
CIKM-2007-XuL #generative: Generating concise association rules (YX, YL), pp. 781–790.
ICML-2007-TsampoukaS #algorithm #approximate: Approximate maximum margin algorithms with rules controlled by the number of mistakes (PT, JST), pp. 903–910.
KDD-2007-TandonC #detection #network #validation: Weighting versus pruning in rule validation for detecting network and host anomalies (GT, PKC), pp. 697–706.
MLDM-2007-MarroccoMT #comparison #empirical: An Empirical Comparison of Ideal and Empirical ROC-Based Reject Rules (CM, MM, FT), pp. 47–60.
MLDM-2007-PalancarTCL #algorithm #distributed #memory management #mining #parallel: Distributed and Shared Memory Algorithm for Parallel Mining of Association Rules (JHP, OFT, JFC, RHL), pp. 349–363.
MLDM-2007-WangXC #approach #classification #mining #novel: A Novel Rule Ordering Approach in Classification Association Rule Mining (YJW, QX, FC), pp. 339–348.
RecSys-2007-NguyenDB #induction #recommendation #rule-based: Improving new user recommendations with rule-based induction on cold user data (ATN, ND, CB), pp. 121–128.
RecSys-2007-SandvigMB #collaboration #mining #recommendation #robust: Robustness of collaborative recommendation based on association rule mining (JJS, BM, RDB), pp. 105–112.
SEKE-2007-KrenickyWE #design #query #using: Exploratory Design of Derivation Business Rules Using Query Rewriting (RK, DW, SME), pp. 467–472.
SEKE-2007-ZachariasA #debugging #on the #rule-based: On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.
SIGIR-2007-DingL #mining: The utility of linguistic rules in opinion mining (XD, BL), pp. 811–812.
TOOLS-EUROPE-2007-ReichhartGD #assessment #quality #rule-based: Rule-based Assessment of Test Quality (SR, TG, SD), pp. 231–251.
LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving: Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
PPDP-2007-HristovaTL #analysis #performance #policy #trust: Efficient trust management policy analysis from rules (KH, KTT, YAL), pp. 211–220.
PPDP-2007-KoninckSD: User-definable rule priorities for CHR (LDK, TS, BD), pp. 25–36.
PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance: Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
SAC-MT-J-2006-KurtevBJ07 #atl #composition #model transformation #rule-based: Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SAC-2007-QiaoZWL #database #realtime: Developing event-condition-action rules in real-time active database (YQ, KZ, HW, XL), pp. 511–516.
SAC-2007-RulloCP #categorisation #learning: Learning rules with negation for text categorization (PR, CC, VLP), pp. 409–416.
GTTSE-2007-RibaricGMGLW #modelling #web #web service: Model-Driven Engineering of Rules for Web Services (MR, DG, MM, AG, SL, GW), pp. 377–395.
CADE-2007-UrbanBN: Barendregt’s Variable Convention in Rule Inductions (CU, SB, MN), pp. 35–50.
ICLP-2007-DuckSS #confluence #constraints: Observable Confluence for Constraint Handling Rules (GJD, PJS, MS), pp. 224–239.
ICLP-2007-JarvisaloO #logic programming #source code: Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.
ICLP-2007-SneyersWSD #constraints: Aggregates in Constraint Handling Rules (JS, PVW, TS, BD), pp. 446–448.
RTA-2007-GodoyHT #termination: Termination of Rewriting with Right-Flat Rules (GG, EH, AT), pp. 200–213.
RTA-2007-Strassburger: A Characterization of Medial as Rewriting Rule (LS), pp. 344–358.
TLCA-2007-IntrigilaS #calculus: The ω-Rule is Π¹₁-Complete in the λβ-Calculus (BI, RS), pp. 178–193.
VMCAI-2007-RakamaricBH #data type #source code #verification: An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
DATE-DF-2006-OetjensGR #design #flexibility #rule-based #specification: Flexible specification and application of rule-based transformations in an automotive design flow (JHO, JG, WR), pp. 82–87.
PODS-2006-CaldersDHP #workflow: Analyzing workflows implied by instance-dependent access rules (TC, SD, JH, JP), pp. 100–109.
ESOP-2006-ChinMMP: Inference of User-Defined Type Qualifiers and Qualifier Rules (BC, SM, TDM, JP), pp. 264–278.
FLOPS-2006-DijkstraS #named #programming: Ruler: Programming Type Rules (AD, SDS), pp. 30–46.
ICALP-v1-2006-NearyW #automaton: P-completeness of Cellular Automaton Rule 110 (TN, DW), pp. 132–143.
ICGT-2006-Rensink #graph transformation #quantifier: Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.
CHI-2006-KaratKBF #authoring #interface #policy #privacy: Evaluating interfaces for privacy policy rule authoring (CMK, JK, CB, JF), pp. 83–92.
EDOC-2006-NaglRD #distributed #named: VIDRE — A Distributed Service-Oriented Business Rule Engine based on RuleML (CN, FR, SD), pp. 35–44.
ICEIS-AIDSS-2006-JacquenetLU #approach #performance #scalability: Efficient Management of Non Redundant Rules in Large Pattern Bases: A Bitmap Approach (FJ, CL, CU), pp. 208–215.
ICEIS-ISAS-2006-VasilecasB #development #elicitation #enterprise #information management #process: Business Rules Elicitation in the Process of Enterprise Information System Development (OV, DB), pp. 218–223.
ICML-2006-RuckertK #approach #learning #statistics: A statistical approach to rule learning (UR, SK), pp. 785–792.
ICPR-v1-2006-AnC #dataset: Finding Rule Groups to Classify High Dimensional Gene Expression Datasets (JA, YPPC), pp. 1196–1199.
ICPR-v2-2006-BarakatB #using: Rule Extraction from Support Vector Machines: Measuring the Explanation Capability Using the Area under the ROC Curve (NHB, APB), pp. 812–815.
ICPR-v2-2006-ChouKC #nearest neighbour #reduction: The Generalized Condensed Nearest Neighbor Rule as A Data Reduction Method (CHC, BHK, FC), pp. 556–559.
ICPR-v3-2006-XieQW: Bootstrap Methods for Reject Rules of Fisher LDA (JX, ZQ, JW), pp. 425–428.
ICPR-v3-2006-ZouariHL #comparison #using: Experimental Comparison of Combination Rules using Simulated Data (HZ, LH, YL), pp. 152–155.
KDD-2006-Jaroszewicz #polynomial: Polynomial association rules with applications to logistic regression (SJ), pp. 586–591.
KDD-2006-LiuZBX #analysis #using: Rule interestingness analysis using OLAP operations (BL, KZ, JB, WX), pp. 297–306.
KDD-2006-Webb: Discovering significant rules (GIW), pp. 434–443.
KDD-2006-ZhangCWZ #clustering #concept #identification: Identifying bridging rules between conceptual clusters (SZ, FC, XW, CZ), pp. 815–820.
KDD-2006-ZhangHL #mining: Mining progressive confident rules (MZ, WH, MLL), pp. 803–808.
KR-2006-Saint-CyrP #fuzzy #modelling #nondeterminism #persistent #reasoning: Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning (FDdSC, HP), pp. 440–451.
SEKE-2006-BittencourtTC #rule-based: Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System (IIB, MT, EdBC), pp. 35–40.
SEKE-2006-BogornyEA #framework #mining #named #preprocessor: GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining (VB, PME, LOA), pp. 79–84.
SEKE-2006-BouchachiaW #reverse engineering #rule-based: Reverse Engineering of Rule-based Systems (AB, DW), pp. 45–50.
SEKE-2006-BoukercheL #re-engineering #rule-based #towards: Reengineering a Rule-Based System towards a Planning System (KB, HL), pp. 619–624.
SEKE-2006-HuangC #probability #rule-based #similarity #using: Using Conditional Probability to Measure Rule-based Knowledge Similarity (CJH, MYC), pp. 41–44.
SEKE-2006-HuangC06a #nondeterminism #rule-based: A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
SEKE-2006-LehmanW #convergence #problem #rule-based #simulation: A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation (CWL, MJW), pp. 57–60.
SEKE-2006-SongZDASNVSV #case study #named: SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study (MAJS, LEZ, SMD, AA, BS, BMN, RV, TRAS, NV), pp. 631–638.
MoDELS-2006-CibranD #aspect-oriented #slicing: A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MoDELS-2006-CibranD #aspect-oriented #slicing: A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
LOPSTR-2006-AbdennadherOST #automation #mining #named: ARM: Automatic Rule Miner (SA, AO, NS, AT), pp. 17–25.
PPDP-2006-Fruhwirth #constraints: Constraint handling rules: the story so far (TWF), pp. 13–14.
POPL-2006-Thielecke #pointer: Frame rules from answer types for code pointers (HT), pp. 309–319.
SAC-2006-BadicaBG #implementation #rule-based: Implementing rule-based mechanisms for agent-based price negotiations (CB, AB, MG), pp. 96–100.
SAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation: xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SAC-2006-DubeyJA #keyword #source code: A deterministic technique for extracting keyword based grammar rules from programs (AD, PJ, SKA), pp. 1631–1632.
SAC-2006-Ferrer-TroyanoAS #classification #data type #incremental #learning: Data streams classification by incremental rule learning with parameterized generalization (FJFT, JSAR, JCRS), pp. 657–661.
SAC-2006-HorvathHW #effectiveness #graph #induction: Effective rule induction from labeled graphs (TH, SH, SW), pp. 611–616.
SAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #rule-based: Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SAC-2006-Lindgren #on the: On handling conflicts between rules with numerical features (TL), pp. 37–41.
SAC-2006-StraetenD #consistency #nondeterminism #refactoring #rule-based: Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
ICSE-2006-LiuYR #automation #library #named: LtRules: an automated software library usage rule extraction tool (CL, EY, DJR), pp. 823–826.
ICSE-2006-YangEBBD #api #mining #named: Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.
ATEM-2006-Garcia #formal method #ocl #uml: Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
ICLP-2006-Aguilar-Solis #approach #constraints #learning #parsing #semantics: Learning Semantic Parsers: A Constraint Handling Rule Approach (DAS), pp. 447–448.
ICLP-2006-AntoyH #functional #logic programming #source code: Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
ICLP-2006-CaropreseGSZ #declarative #maintenance #semantics: Declarative Semantics of Production Rules for Integrity Maintenance (LC, SG, CS, EZ), pp. 26–40.
LICS-2006-FioreS #calculus #congruence #process #semantics: A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.
TestCom-2006-DarmaillacqFGMR #generative #network #security #testing: Test Generation for Network Security Rules (VD, JCF, RG, LM, JLR), pp. 341–356.
ASE-2005-HennessyP #analysis #generative #grammarware #testing: An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software (MH, JFP), pp. 104–113.
ASE-2005-LiuLWCC #testing: A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.
DAC-2005-SherwaniMABGLRS #exclamation: DFM rules! (NAS, SLM, AA, PB, CG, HL, PR, AS), pp. 168–169.
DAC-2005-SuWKLK #analysis #effectiveness #embedded #functional #performance: A noise-driven effective capacitance method with fast embedded noise rule calculation for functional noise analysis (HS, DW, CVK, FL, BK), pp. 186–189.
ICDAR-2005-BhattacharyaC #classification #recognition: Fusion of Combination Rules of an Ensemble of MLP Classifiers for Improved Recognition Accuracy of Handprinted Bangla Numerals (UB, BBC), pp. 322–326.
ICDAR-2005-YingsaereeK #analysis #detection #documentation #layout #rule-based: Rule-based Middle-level Character Detection for Simplifying Thai Document Layout Analysis (CY, AK), pp. 888–892.
SIGMOD-2005-CongTTX #mining: Mining Top-k Covering Rule Groups for Gene Expression Data (GC, KLT, AKHT, XX), pp. 670–681.
VLDB-2005-MetwallyAA #detection #network #using #web: Using Association Rules for Fraud Detection in Web Advertising Networks (AM, DA, AEA), pp. 169–180.
WRLA-2004-CirsteaMR05 #java #programming #protocol #rule-based #verification: Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.
ESOP-2005-MakholmW #calculus #mobile #polymorphism #process #reduction #type system: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close (HM, JBW), pp. 389–407.
CSMR-2005-DubeyAJ #keyword #set #source code: A Technique for Extracting Keyword Based Rules from a Set of Programs (AD, SKA, PJ), pp. 217–225.
ICSM-2005-LinEW #evolution #implementation: Facilitating the Implementation and Evolution of Business Rules (LL, SME, BW), pp. 609–612.
MSR-2005-WilliamsH #repository: Recovering system specific rules from software repositories (CCW, JKH), pp. 51–55.
DLT-2005-AlhazovFO: Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells (AA, RF, MO), pp. 100–111.
SEFM-2005-OlssonW #correctness #imperative #induction #proving #source code: Customised Induction Rules for Proving Correctness of Imperative Programs (OO, AW), pp. 180–189.
CAiSE-2005-DongenAV #petri net #reduction #using #verification: Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
CIKM-2005-FreskoRF #approach #hybrid: A hybrid approach to NER by MEMM and manual rules (MF, BR, RF), pp. 361–362.
CIKM-2005-HuangLH #approach #distributed #mining #permutation: A new permutation approach for distributed association rule mining (YH, ZL, HH), pp. 351–352.
CIKM-2005-LiuZ #mining #relational #xml: Relational computation for mining association rules from XML data (HCL, JZ), pp. 253–254.
ICML-2005-Angiulli #nearest neighbour #performance: Fast condensed nearest neighbor rule (FA), pp. 25–32.
ICML-2005-NatarajanTADFR #first-order #learning #modelling #probability: Learning first-order probabilistic models with combining rules (SN, PT, EA, TGD, AF, ACR), pp. 609–616.
KDD-2005-BesemannD #integration #markov #mining: Integration of profile hidden Markov model output into association rule mining (CB, AD), pp. 538–543.
KDD-2005-FungSR #linear: Rule extraction from linear support vector machines (GF, SS, RBR), pp. 32–40.
MLDM-2005-GuptaKB #classification #concept analysis #incremental #using: Incremental Classification Rules Based on Association Rules Using Formal Concept Analysis (AG, NK, VB), pp. 11–20.
MLDM-2005-HamanoS #analysis #semantics: Semantic Analysis of Association Rules via Item Response Theory (SH, MS), pp. 641–650.
MLDM-2005-SharmaVTV #approach #database #mining #multi #novel: A Novel Approach of Multilevel Positive and Negative Association Rule Mining for Spatial Databases (LKS, OPV, UST, RV), pp. 620–629.
MLDM-2005-VermaVV #approach #mining #using: Temporal Approach to Association Rule Mining Using T-Tree and P-Tree (KV, OPV, RV), pp. 651–659.
MLDM-2005-YeWWCHT #approach #mining: An Integrated Approach for Mining Meta-rules (FY, JW, SW, HC, TH, LT), pp. 549–557.
SEKE-2005-ChanS #data mining #mining #rule-based: From Data to Knowledge: an Integrated Rule-Based Data Mining System (CCC, ZS), pp. 508–513.
SEKE-2005-WangWH #hybrid #linear #verification: Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
SEKE-2005-XiaoG #adaptation: The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules (LX, DG), pp. 62–67.
SEKE-2005-XiaoG05a #modelling: Modelling Agent Knowledge with Business Rules (LX, DG), pp. 566–571.
PPDP-2005-SchrijversSD #abstract interpretation #constraints: Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.
POPL-2005-LernerMRC #analysis #automation #data flow #proving: Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
RE-2005-ToyamaO #rule-based #verification: Rule-based Verification of Scenarios with Pre-conditions and Post-conditions (TT, AO), pp. 319–328.
SAC-2005-CleenewerckD #implementation: Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system (TC, TD), pp. 1398–1403.
SAC-2005-FaederBH #network #representation #rule-based #visual notation: Graphical rule-based representation of signal-transduction networks (JRF, MLB, WSH), pp. 133–140.
SAC-2005-Ferrer-TroyanoAS #data type #incremental #learning: Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.
SAC-2005-HanMZTGZ #clustering #documentation #metadata #rule-based #word: Rule-based word clustering for document metadata extraction (HH, EM, HZ, KT, CLG, XZ), pp. 1049–1053.
SAC-2005-Morimoto #mining #transitive: Optimized transitive association rule: mining significant stopover between events (YM), pp. 543–544.
SAC-2005-NatarajanS #approach #data-driven: A relatedness-based data-driven approach to determination of interestingness of association rules (RN, BS), pp. 551–552.
SAC-2005-Ordonez #clustering: A model for association rules based on clustering (CO), pp. 545–546.
SAC-2005-RahalRPNPRV #biology #incremental #interactive #mining: Incremental interactive mining of constrained association rules from biological annotation data with nominal features (IR, DR, AP, HN, WP, RR, WVG), pp. 123–127.
ESEC-FSE-2005-LiZ #automation #detection #named #programming #scalability: PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (ZL, YZ), pp. 306–315.
ICSE-2005-Peine #re-engineering: Rules of thumb for secure software engineering (HP), pp. 702–703.
SPLC-2005-Trew #architecture #embedded #integration #product line: Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products (TT), pp. 137–149.
CC-2005-OlmosV #data flow #text-to-text: Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.
CADE-2005-GodoyT #linear #term rewriting #termination: Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules (GG, AT), pp. 164–176.
ICLP-2005-Fruhwirth #analysis #confluence #constraints #using: Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis (TWF), pp. 113–127.
ICLP-2005-Schrijvers #analysis #constraints #optimisation #summary: Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.
ICLP-2005-Wilson #logic programming: Use of Logic Programming for Complex Business Rules (WGW), pp. 14–20.
LICS-2005-BirkedalTY #higher-order #semantics #type system: Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.
LICS-2005-HondaYB #higher-order #imperative #logic: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
RTA-2005-MoczydlowskiG #termination #thread: Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
SAT-2005-Kulikov #automation #generative #satisfiability: Automated Generation of Simplification Rules for SAT and MAXSAT (ASK), pp. 430–436.
DAC-2004-CapodieciGKSY #design #towards: Toward a methodology for manufacturability-driven design rule exploration (LC, PG, ABK, DS, JY), pp. 311–316.
DAC-2004-RutenbarBMPPSW #question: Will Moore’s Law rule in the land of analog? (RAR, ARB, THYM, EP, RP, CS, JW), p. 633.
HT-2004-Burrow #maintenance #taxonomy #wiki: Negotiating access within Wiki: a system to construct and maintain a taxonomy of access rules (ALB), pp. 77–86.
SIGMOD-2004-CongXPTY #array #dataset #named: FARMER: Finding Interesting Rule Groups in Microarray Datasets (GC, AKHT, XX, FP, JY), pp. 143–154.
CSMR-2004-WangSYHM #legacy #scalability: Business Rules Extraction from Large Legacy Systems (XW, JS, XY, ZH, SRM), pp. 249–253.
ICSM-2004-Marinescu #design #detection: Detection Strategies: Metrics-Based Rules for Detecting Design Flaws (RM), pp. 350–359.
IFM-2004-CurzonB #case study #design #fault: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
ICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive #tool support: Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
ICGT-2004-CherchagoH #graph transformation #specification #using #web #web service: Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
ICEIS-v1-2004-BouchouCAJL #mining #named #xml: XRM: An XML-Based Language for Rule Mining Systems (BB, AC, MHFA, TYJ, DL), pp. 441–446.
ICEIS-v1-2004-El-SonbatyK #algorithm #incremental #mining #performance: New Fast Algorithm for Incremental Mining of Association Rules (YES, RK), pp. 275–281.
ICEIS-v1-2004-UrbanKDJS #component #integration #rule-based: An Event Processing System for Rule-Based Component Integration (SDU, SK, SWD, YJ, AS), pp. 312–319.
ICEIS-v2-2004-CaleroDSSMS #approximate #database #dependence #experience #fuzzy: An Experience in Management of Imprecise Soil Databases by Means of Fuzzy Association Rules and Fuzzy Approximate Dependencies (JC, GD, MSM, DS, MAVM, JMS), pp. 138–146.
ICEIS-v2-2004-HuysmansMVB #mining #web: Web Usage Mining with Time Constrained Association Rules (JH, CM, JV, BB), pp. 343–348.
CIKM-2004-ClarkF #automation #generative: Intelligent agent for automated manufacturing rule generation (AC, DF), pp. 495–500.
ICML-2004-NatteeSNO #first-order #learning #mining #multi: Learning first-order rules from data with multiple parts: applications on mining chemical compound data (CN, SS, MN, TO).
ICML-2004-RuckertK #bound #learning #towards: Towards tight bounds for rule learning (UR, SK).
ICPR-v1-2004-DmitryD04a #algorithm #fuzzy #generative: An Algorithm for Rule Generation in Fuzzy Expert Systems (DK, DV), pp. 212–215.
ICPR-v2-2004-KagehiroKSF: Address-Block Extraction by Bayesian Rule (TK, MK, HS, HF), pp. 582–585.
ICPR-v3-2004-SotocaSP #multi #naive bayes #set #using: Attribute Relevance in Multiclass Data Sets Using the Naive Bayes Rule (JMS, JSS, FP), pp. 426–429.
ICPR-v4-2004-Moreno-SecoMO #classification #nearest neighbour #rule-based: A New Classification Rule based on Nearest Neighbour Search (FMS, LM, JO), pp. 408–411.
ICPR-v4-2004-TaguchiOA #performance #using #visual notation: Fast Visual Search Using Simplified Pruning Rules — Streamlined Active Search (ST, SO, HA), pp. 937–940.
KDD-2004-ZhangPT #on the #statistics: On the discovery of significant statistical quantitative rules (HZ, BP, AT), pp. 374–383.
KR-2004-Baget #algorithm #concept #graph: Improving the Forward Chaining Algorithm for Conceptual Graphs Rules (JFB), pp. 407–414.
KR-2004-MailheP #fuzzy #knowledge base: Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules (BM, HP), pp. 338–347.
KR-2004-PasulaZK #learning #probability #relational: Learning Probabilistic Relational Planning Rules (HP, LSZ, LPK), pp. 683–691.
SEKE-2004-LiLCWL #using: Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice (YL, ZL, WC, QW, WL), pp. 402–405.
TOOLS-USA-2003-Bouktif04 #approach #predict #quality #search-based #set: Improving Rule Set Based Software Quality Prediction: A Genetic Algorithm-based Approach (SB), pp. 227–241.
LOPSTR-2004-Fruhwirth #concurrent #multi: Specialization of Concurrent Guarded Multi-set Transformation Rules (TWF), pp. 133–148.
PDCL-2004-FioravantiPP #constraints #logic programming #source code: Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
PPDP-2004-AntoyJ #formal method #implementation: Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
SAC-2004-DHondtGJ #integration #object-oriented #rule-based: Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis (MD, KG, VJ), pp. 1328–1335.
SAC-2004-Ferrer-TroyanoAS #data type: Discovering decision rules from numerical data streams (FJFT, JSAR, JCRS), pp. 649–653.
SAC-2004-HatalaKWN #ontology #retrieval #rule-based: Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors (MH, LK, RW, KN), pp. 1045–1050.
SAC-2004-KarbanRS: SDS-rules and association rules (TK, JR, MS), pp. 520–524.
SAC-2004-SakuraiS #data-driven #database: Rule discovery from textual data based on key phrase patterns (SS, AS), pp. 606–612.
SAC-2004-Savinov #dependence #mining: Mining dependence rules by finding largest itemset support quota (AAS), pp. 525–529.
LDTA-2004-LohmannRS #attribute grammar #migration #recursion #semantics: Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.
ICLP-2004-DuckSBH #constraints #semantics: The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.
ICLP-2004-SchrijversW #constraints #execution: Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
ICLP-2004-Smaus #logic programming #source code #termination #using: Termination of Logic Programs Using Various Dynamic Selection Rules (JGS), pp. 43–57.
LICS-2004-IntrigilaS #calculus: The ω-Rule is Π⁰₂-Hard in the λβ-Calculus (BI, RS), pp. 202–210.
VMCAI-2004-BarringerGHS #rule-based #runtime #verification: Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
DocEng-2003-ScheffczykBRS #consistency #documentation #formal method #repository #type safety: Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories (JS, UMB, PR, LS), pp. 140–149.
DocEng-2003-Vion-Dury #towards #xml #xpath: XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns (JYVD), pp. 19–25.
DRR-2003-TaghvaC #categorisation #question #rule-based: Do Thesauri enhance rule-based categorization for OCR text? (KT, JSC), pp. 111–119.
HT-2003-MendesMC #adaptation #estimation #question #web: Do adaptation rules improve web cost estimation? (EM, NM, SC), pp. 173–183.
ESOP-2003-Tini: Rule Formats for Non Interference (ST), pp. 129–143.
FASE-2003-HeckelL #development #modelling #using #visual notation #web: Model-Based Development of Web Applications Using Graphical Reaction Rules (RH, ML), pp. 170–183.
FoSSaCS-2003-Maier #composition: Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.
CSMR-2003-LohmannR #migration #towards: Towards Automatical Migration of Transformation Rules after Grammar Extension (WL, GR), pp. 30–39.
IWPC-2003-TjortjisSL #comprehension #mining #source code: Facilitating Program Comprehension by Mining Association Rules from Source Code (CT, LS, PJL), pp. 125–133.
CAiSE-2003-Olive #concept #modelling #object-oriented: Derivation Rules in Object-Oriented Conceptual Modeling Languages (AO), pp. 404–420.
ICEIS-v1-2003-KamburR #database: Storage of Complex Business Rules in Object Databases (DK, MR), pp. 294–299.
ICEIS-v1-2003-WangH #database #scalability: Scanning a Large Database Once to Mine Association Rules (FW, NH), pp. 421–429.
ICEIS-v2-2003-CaleroDSSSM: Helping User to Discover Association Rules: A Case in Soil Color as Aggregation of Other Soil Properties (JC, GD, MSM, DS, JMS, MAVM), pp. 533–540.
ICEIS-v2-2003-SalemSH #approach #fuzzy #hybrid #recognition #self: A Hybrid Approach for Handwritten Arabic Character Recognition: Combining Self-Organizing Maps (SOMS) and Fuzzy Rules (ABMS, MMS, MKH), pp. 529–532.
ICEIS-v3-2003-BajecKR #evolution #maintenance: Tracking Business Rule Evolution to Support Is Maintenance (MB, MK, RR), pp. 527–530.
ICML-2003-FurnkranzF #analysis #evaluation #metric: An Analysis of Rule Evaluation Metrics (JF, PAF), pp. 202–209.
KDD-2003-BayS #linear #mining: Mining distance-based outliers in near linear time with randomization and a simple pruning rule (SDB, MS), pp. 29–38.
KDD-2003-TaoMF #framework #mining #using: Weighted Association Rule Mining using weighted support and significance framework (FT, FM, MMF), pp. 661–666.
KDD-2003-WangJL #mining: Mining unexpected rules by pushing user dynamics (KW, YJ, LVSL), pp. 246–255.
KDD-2003-ZakiA #classification #effectiveness #named #xml: XRules: an effective structural classifier for XML data (MJZ, CCA), pp. 316–325.
MLDM-2003-DehmeshkiKC #rule-based #set: A Rule-Based Scheme for Filtering Examples from Majority Class in an Imbalanced Training Set (JD, MK, MVC), pp. 215–223.
MLDM-2003-KayaA #mining: Integrating Fuzziness with OLAP Association Rules Mining (MK, RA), pp. 353–368.
MLDM-2003-Tortorella: A ROC-Based Reject Rule for Support Vector Machines (FT), pp. 106–120.
SEKE-2003-RafiqueA #information management #performance: An Efficient Knowledge Management Technique for finding Association Rules (FR, AA), pp. 245–249.
SEKE-2003-SpanoudakisGZ #approach #machine learning #requirements #traceability: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.
SIGIR-2003-HanMGZ #classification #clustering #rule-based #word: Rule-based word clustering for text classification (HH, EM, CLG, HZ), pp. 445–446.
UML-2003-Porres #refactoring #rule-based: Model Refactorings as Rule-Based Update Transformations (IP), pp. 159–174.
LOPSTR-2003-AbdennadherF #constraints #integration #optimisation #rule-based #theorem proving: Integration and Optimization of Rule-Based Constraint Solvers (SA, TWF), pp. 198–213.
PPDP-2003-DuckSBH #constraints: Extending arbitrary solvers with constraint handling rules (GJD, PJS, MJGdlB, CH), pp. 79–90.
PPDP-2003-FissoreGK #rule-based #termination: Simplification and termination of strategies in rule-based languages (OF, IG, HK), pp. 124–135.
PPDP-2003-LiuS #datalog #performance #source code: From datalog rules to efficient programs with time and space guarantees (YAL, SDS), pp. 172–183.
SAC-2003-AptB #constraints #programming #rule-based: Schedulers for Rule-Based Constraint Programming (KRA, SB), pp. 14–21.
SAC-2003-BragaCCKL #xml: Discovering Interesting Information in XML Data with Association Rules (DB, AC, SC, MK, PLL), pp. 450–454.
SAC-2003-ChakravarthyZ #relational #visualisation: Visualization of Association Rules Over Relational DBMSs (SC, HZ), pp. 922–926.
SAC-2003-GiraldezAS #data type #performance: An Efficient Data Structure for Decision Rules Discovery (RG, JSAR, JCRS), pp. 475–479.
SAC-2003-HuangXSP #mining: Mining Confident Colocation Rules without A Support Threshold (YH, HX, SS, JP), pp. 497–501.
CAV-2003-Drusinsky #monitoring: Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.
ICLP-2003-Ramirez: Inducing Musical Rules with ILP (RR), pp. 502–504.
ICLP-2003-Rosenblueth: A Distinct-Head Folding Rule (DAR), pp. 505–506.
ICLP-2003-Smaus03a #logic programming #source code #termination: Termination of Logic Programs for Various Dynamic Selection Rules (JGS), pp. 511–512.
RTA-2003-BournezCCKI #approach #automation #generative #rule-based: A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms (OB, GMC, VC, HK, LI), pp. 30–45.
RTA-2003-ChenRV #analysis #rule-based #safety: Rule-Based Analysis of Dimensional Safety (FC, GR, RPV), pp. 197–207.
RTA-2003-Geser #string #termination: Termination of String Rewriting Rules That Have One Pair of Overlaps (AG), pp. 410–423.
SAT-2003-HerbstrittB #branch: Conflict-Based Selection of Branching Rules (MH, BB), pp. 441–451.
DAC-2002-IwamaKY #design #quantum: Transformation rules for designing CNOT-based quantum circuits (KI, YK, SY), pp. 419–424.
DATE-2002-Velev #similarity #using #verification: Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer (MNV), pp. 28–35.
VLDB-2002-RizviH #maintenance #mining #privacy: Maintaining Data Privacy in Association Rule Mining (SR, JRH), pp. 682–693.
WRLA-J-1996-Viry02 #equation #logic: Equational rules for rewriting logic (PV), pp. 487–517.
SCAM-J-2001-RiccaTB02 #web: Web application transformations based on rewrite rules (FR, PT, IDB), pp. 811–825.
SCAM-2002-RamseyA #framework #using: A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language (FVR, JJA), p. 44–?.
CIAA-2002-GranaAV #compilation #constraints #finite #transducer: Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers (JG, GA, JV), pp. 128–137.
ICGT-2002-KochP #constraints #graph #policy: Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.
ICGT-2002-PadbergE #graph transformation #invariant #safety: Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
CAiSE-2002-LeonardiL #requirements #using: Using Business Rules in EXtreme Requirements (MCL, JCSdPL), pp. 420–435.
ICEIS-2002-AlcalaCHZ #fuzzy #modelling #rule-based: Insurance Market Risk Modeling with Hierarchical Fuzzy Rule Based Systems (RA, OC, FH, IZ), pp. 325–333.
ICEIS-2002-FloresG #algorithm #case study #estimation #fuzzy #learning #problem: Applicability of Estimation of Distribution Algorithms to the Fuzzy Rule Learning Problem: A Preliminary Study (MJF, JAG), pp. 350–357.
ICEIS-2002-LinyingSC #comprehension #image #knowledge-based #rule-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: Rule-based data quality (DL), pp. 614–616.
CIKM-2002-NahmM #mining: Mining soft-matching association rules (UYN, RJM), pp. 681–683.
ICML-2002-ChisholmT #learning #random: Learning Decision Rules by Randomized Iterative Local Search (MC, PT), pp. 75–82.
ICML-2002-WuZZ #mining: Mining Both Positive and Negative Association Rules (XW, CZ, SZ), pp. 658–665.
ICPR-v1-2002-Baggenstoss #classification: The Chain-Rule Processor: Optimal Classification Through Signal Processing (PMB), pp. 230–234.
ICPR-v2-2002-SirlantzisFG #algorithm #classification #multi: An Evolutionary Algorithm for Classifier and Combination Rule Selection in Multiple Classifier Systems (KS, MCF, RMG), pp. 771–774.
ICPR-v2-2002-StefanoCM #adaptation #classification #multi: An Adaptive Weighted Majority Vote Rule for Combining Multiple Classifiers (CDS, ADC, AM), pp. 192–195.
KDD-2002-ChenHS #algorithm: A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.
KDD-2002-EvfimievskiSAG #mining #privacy: Privacy preserving mining of association rules (AVE, RS, RA, JG), pp. 217–228.
KDD-2002-FangHL #identification #using: Tumor cell identification using features rules (BF, WH, MLL), pp. 495–500.
KDD-2002-LiTS #classification #robust #set: Construct robust rule sets for classification (JL, RWT, HS), pp. 564–569.
KDD-2002-TuzhilinA #analysis #array #scalability: Handling very large numbers of association rules in the analysis of microarray data (AT, GA), pp. 396–404.
KDD-2002-TuzhilinL #multi #query #set: Querying multiple sets of discovered rules (AT, BL), pp. 52–60.
KDD-2002-VaidyaC #mining #privacy: Privacy preserving association rule mining in vertically partitioned data (JV, CC), pp. 639–644.
KR-2002-Fruhwirth #analysis #automation #complexity: As Time Goes by: Automatic Complexity Analysis of Simplified Rules (TWF), pp. 547–557.
SEKE-2002-JohanssonH #design #metric #product line: Tracking degradation in software product lines through measurement of design rule violations (EJ, MH), pp. 249–254.
SEKE-2002-Lascio #fuzzy #logic: Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic (LDL), pp. 117–124.
LOPSTR-2002-GutierrezR #calculus #type system #verification: A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
SAC-2002-AlcalaCCHZ: Hybridizing Hierarchical and Weighted Linguistic Rules (RA, JC, OC, FH, IZ), pp. 812–816.
SAC-2002-AntoniouA #declarative #execution: Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
SAC-2002-MataMR #algorithm: An evolutionary algorithm to discover numeric association rules (JMV, JLÁM, JCRS), pp. 590–594.
ICLP-2002-Christiansen #constraints #logic: Logical Grammars Based on Constraint Handling Rules (HC), p. 481.
RTA-2002-Geser #string: Loops of Superexponential Lengths in One-Rule String Rewriting (AG), pp. 267–280.
SAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #standard #towards #using: Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.
CBSE-2001-GenßlerZ #component #composition #embedded: Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.
DAC-2001-LiebmannLHG #design #logic: Enabling Alternating Phase Shifted Mask Designs for a Full Logic Gate Level: Design Rules and Design Rule Checking (LL, JL, FLH, IG), pp. 79–84.
DATE-2001-CappuccinoC #performance: CMOS sizing rule for high performance long interconnects (GC, GC), p. 817.
ICDAR-2001-FujimotoON #image: A Ruled-Line Extraction Method for Digital Camera Images (KF, AO, SN), pp. 297–301.
ICDAR-2001-YeCS #classification #reduction #using: Reduction of the Classification Cost Using Hierarchical Classifiers based on the k-NN Rule (XY, MC, CYS), pp. 716–720.
FASE-J-1998-PadbergGE01 #refinement #rule-based #safety: Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
SCAM-2001-RiccaTB #web: Restructuring Web Applications via Transformation Rules (FR, PT, IDB), pp. 152–162.
SAS-2001-Blanchet #encryption #prolog #protocol: Abstracting Cryptographic Protocols by Prolog Rules (BB), pp. 433–436.
CIAA-2001-Neto #adaptation #case study: Adaptive Rule-Driven Devices — General Formulation and Case Study (JJN), pp. 234–250.
ICALP-2001-MustafaP: Majority Consensus and the Local Majority Rule (NHM, AP), pp. 530–542.
CAiSE-2001-Olive #concept #modelling #taxonomy: Taxonomies and Derivation Rules in Conceptual Modeling (AO), pp. 417–432.
ICEIS-v1-2001-HippGG #algorithm #database #mining #relational: Integrating Association Rule Mining Algorithms with Relational Database Systems (JH, UG, UG), pp. 130–137.
ICEIS-v1-2001-MohanY #architecture #object-oriented: An Architecture for Incorporating Business Rules in an Object-Oriented System (PM, SY), pp. 53–60.
ICEIS-v1-2001-MohanY01a #implementation #object-oriented #using: Implementing Business Rules in an Object-Oriented System Using JESS (PM, SY), pp. 553–558.
CIKM-2001-Couchot #analysis #composition #set #termination: Termination Analysis of Active Rules Modular Sets (AC), pp. 326–333.
CIKM-2001-DasNW #agile #mining: Rapid Association Rule Mining (AD, WKN, YKW), pp. 474–481.
CIKM-2001-MarcusML #fault #identification #set: Ordinal Association Rules for Error Identification in Data Sets (AM, JIM, KIL), pp. 589–591.
CIKM-2001-NanavatiCJK #mining: Mining Generalised Disjunctive Association Rules (AAN, KPC, SJ, RK), pp. 482–489.
CIKM-2001-NottelmannF #classification #datalog #learning #probability: Learning Probabilistic Datalog Rules for Information Classification and Transformation (HN, NF), pp. 387–394.
CIKM-2001-RelueWH #generative #performance #runtime: Efficient Runtime Generation of Association Rules (RR, XW, HH), pp. 466–473.
CIKM-2001-WangHCC #mining: Mining Confident Rules Without Support Requirement (KW, YH, DWLC, FYLC), pp. 89–96.
ICML-2001-Furnkranz #learning: Round Robin Rule Learning (JF), pp. 146–153.
KDD-2001-BasuMPG #using: Evaluating the novelty of text-mined rules using lexical knowledge (SB, RJM, KVP, JG), pp. 233–238.
KDD-2001-IndurkhyaW #classification #problem #rule-based: Solving regression problems with rule-based ensemble classifiers (NI, SMW), pp. 287–292.
KDD-2001-LinP01a: DIRT @SBT@discovery of inference rules from text (DL, PP), pp. 323–328.
KDD-2001-LiuHM #identification: Identifying non-actionable association rules (BL, WH, YM), pp. 329–334.
KDD-2001-LiuHM01a #set: Discovering the set of fundamental rule changes (BL, WH, YM), pp. 335–340.
KDD-2001-YamanishiT: Discovering outlier filtering rules from unlabeled data: combining a supervised learner with an unsupervised learner (KY, JiT), pp. 389–394.
KDD-2001-ZhengKM #algorithm #performance: Real world performance of association rule algorithms (ZZ, RK, LM), pp. 401–406.
MLDM-2001-IndurkhyaW #rule-based: Rule-Based Ensemble Solutions for Regression (NI, SMW), pp. 62–72.
MLDM-2001-MalerbaELL #first-order #induction #recognition: First-Order Rule Induction for the Recognition of Morphological Patterns in Topographic Maps (DM, FE, AL, FAL), pp. 88–101.
SEKE-2001-RoscaW #deployment #flexibility #towards: Towards a Flexible Deployment of Business Rules (DR, CW), pp. 128–136.
SEKE-2001-SouuzaF #design #design pattern #reuse #rule-based: Designing Reusable Rule-Based Architectures with Design Patterns (MAFdS, MAGVF), pp. 163–170.
UML-2001-DemuthHL #database #ocl #specification: OCL as a Specification Language for Business Rules in Database Applications (BD, HH, SL), pp. 104–117.
UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
TOOLS-EUROPE-2001-Abom01b #component #exclamation #process: Building Business Process Components in the e-Age (Business rules! don’t be an e-diot.) (LA), pp. 163–164.
TOOLS-USA-2001-Abom01a #exclamation: Business Rules! Don’t Be an e-diot (LA), p. 393.
TOOLS-USA-2001-Arsanjani01b #component #design #implementation: Patterns for Designing and Implementing Business Rules in Component-Based Systems (AA), p. 369.
TOOLS-USA-2001-Arsanjani01c #adaptation #design #pattern matching #scalability: Rule Pattern Language 2001: A Pattern Language for Adaptive Manners and Scalable Business Rule Design and Construction (AA), pp. 370–376.
TOOLS-USA-2001-ArsanjaniP01a #design #implementation: Best Practices in Business Rule Design and Implementation (AA, GP), pp. 407–408.
PPDP-2001-AbdennadherR #confluence #constraints #rule-based #theorem proving #using: Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.
QAPL-2001-Fruhwirth #analysis #automation #complexity #concurrent #source code: As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs (TWF), pp. 185–206.
ICSE-2001-ZhangS #integration #named #representation #xml: Babel: Representing Business Rules in XML for Application Integration (HZ, ES), pp. 831–832.
CSL-2001-Girard #logic: Locus Solum: From the Rules of Logic to the Logic of Rules (JYG), p. 38.
ICLP-2001-HolzbaurBJS #compilation #constraints #optimisation: Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
RTA-2001-KorovinV #order #using #verification: Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order (KK, AV), pp. 137–153.
SAT-2001-LagoudakisL #branch #learning #satisfiability: Learning to Select Branching Rules in the DPLL Procedure for Satisfiability (MGL, MLL), pp. 344–359.
ASE-2000-Egyed #abstraction #diagrams #semantics: Semantic Abstraction Rules for Class Diagrams (AE), pp. 301–304.
DATE-2000-Strolenberg: Stay Away from Minimum Design-Rule Values (CWHS), pp. 71–72.
SIGMOD-2000-Ross: Expressing Business Rules (RGR), pp. 515–516.
WRLA-2000-Ringeissen #finite #rule-based: Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
EDOC-2000-TuKL #framework #mobile: A Rule Management Framework for Negotiating Mobile Agents (MTT, CPK, WL), pp. 135–143.
ICEIS-2000-MartinLMRM #integration #modelling #network #standard: Integration of Expert System Rules into Standardized Object Description Models for Telecommunication Network Management (SM, CL, MM, MCR, AVM), pp. 171–175.
CIKM-2000-LanBOT: Rule-Assisted Prefetching in Web-Server Caching (BL, SB, BCO, KLT), pp. 504–511.
ICML-2000-HuangSK #constraints #declarative #learning: Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.
ICML-2000-SilvaL #hybrid #learning: Obtaining Simplified Rule Bases by Hybrid Learning (RBdAeS, TBL), pp. 879–886.
ICML-2000-WeissI #induction #lightweight: Lightweight Rule Induction (SMW, NI), pp. 1135–1142.
KDD-2000-FeldmanLRSS #approximate #bias #framework #information management #specification: A framework for specifying explicit bias for revision of approximate information extraction rules (RF, YL, BR, YS, JS), pp. 189–197.
KDD-2000-HanC #information management #named #process #visualisation: RuleViz: a model for visualizing knowledge discovery process (JH, NC), pp. 244–253.
KDD-2000-HofmannSW #interactive #visualisation: Visualizing association rules with interactive mosaic plots (HH, AS, AFXW), pp. 227–235.
KDD-2000-LiuHH #multi #summary: Multi-level organization and summarization of the discovered rules (BL, MH, WH), pp. 208–217.
KDD-2000-PairceirMS #database #distributed #exception #multi: Discovery of multi-level rules and exceptions from a distributed database (RP, SIM, BWS), pp. 523–532.
KDD-2000-WangYY #mining #performance: Efficient mining of weighted association rules (WAR) (WW, JY, PSY), pp. 270–274.
KDD-2000-WangZH: Growing decision trees on support-less association rules (KW, SZ, YH), pp. 265–269.
KDD-2000-Webb #performance: Efficient search for association rules (GIW), pp. 99–107.
KDD-2000-Zaki #generative: Generating non-redundant association rules (MJZ), pp. 34–43.
KR-2000-Massacci #first-order #reduction: Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.
KR-2000-Pino-PerezU #abduction: Ordering explanations and the structural rules for abduction (RPP, CU), pp. 637–646.
UML-2000-Kwon #model checking #semantics #uml: Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.
TOOLS-EUROPE-2000-Arsanjani #design #implementation #object-oriented: Design and Implementation of Business Rules in Object-Oriented Applications (AA), p. 475.
TOOLS-EUROPE-2000-RouvellouDREM: Extending Business Objects with Business Rules (IR, LD, KR, DE, BM), pp. 238–249.
TOOLS-USA-2000-Perkins #metadata: Business Rules = Meta-Data (AP), pp. 285–294.
SAC-2000-AleR #approach: An Approach to Discovering Temporal Association Rules (JMA, GR), pp. 294–300.
SAC-2000-Caraca-ValenteLM #modelling: Functions, Rules and Models: Three Complementary Techniques for Analyzing Strength Data (JPCV, ILC, CM), pp. 60–64.
SAC-2000-DongPDZ #mining: The Application of Association Rule Mining to Remotely Sensed Data (JD, WP, QD, JZ), pp. 340–345.
SAC-2000-HongKCW #algorithm #data-driven #database #fuzzy #mining: Mining Fuzzy Rules from Quantitative Data Based on the AprioriTid Algorithm (TPH, CSK, SCC, SLW), pp. 534–536.
SAC-2000-PsailaL #mining: Hierarchy-based Mining of Association Rules in Data Warehouses (GP, PLL), pp. 307–312.
SAC-2000-TemmeF #composition #fuzzy #standard: Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
ICSE-2000-Michail #data mining #library #mining #reuse #using: Data mining library reuse patterns using generalized association rules (AM), pp. 167–176.
OSDI-2000-EnglerCCH #compilation #using: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
CL-2000-BastidePTSL #mining #using: Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets (YB, NP, RT, GS, LL), pp. 972–986.
CL-2000-BraileyPN #analysis #approach #database #termination: A Dynamic Approach to Termination Analysis for Active Database Rules (JB, AP, PN), pp. 1106–1120.
CL-2000-DebrayH #analysis #constraints #database #termination: Constraint-Based Termination Analysis for Cyclic Active Database Rules (SKD, TJH), pp. 1121–1136.
ASE-1999-CazzolaSST #architecture #behaviour #rule-based: Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.
ICDAR-1999-JeeKL #fault #using: Error Correction of Korean Courtesy Amounts in Bank Slips using Rule Information and cross-referencing (TCJ, EJK, YL), pp. 95–98.
ICDAR-1999-PalmeroD #documentation #using: Structured Document Labeling and Rule Extraction using a New Recurrent Fuzzy-neural System (GISP, YAD), pp. 181–184.
SIGMOD-1999-Hidber #mining #online: Online Association Rule Mining (CH), pp. 145–156.
VLDB-1999-TamuraK #clustering #mining #parallel: Dynamic Load Balancing for Parallel Association Rule Mining on Heterogenous PC Cluster Systems (MT, MK), pp. 162–173.
FM-v2-1999-HehnerG #refinement #semantics: Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.
AGTIVE-1999-FischerKB #fuzzy #graph #learning: Learning and Rewriting in Fuzzy Rule Graphs (IF, MK, MRB), pp. 263–270.
AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement: Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
AGTIVE-1999-Hoffmann #diagrams #graph transformation #programming #rule-based: From Graph Transformation to Rule-Based Programming with Diagrams (BH), pp. 165–180.
HCI-EI-1999-FarencP #architecture #performance: An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules (CF, PAP), pp. 1038–1042.
ICEIS-1999-DuKM #algorithm #mining #performance #reuse: Two Fast Algorithms for Repeated Mining of Association Rules Based on Ressource Reuse (XD, KK, AM), pp. 65–73.
ICEIS-1999-RamanA #algorithm #mining: Candidate Drop Algorithm for Mining Association Rules (SR, TSA), pp. 132–139.
CIKM-1999-HoltC #database #mining #performance: Efficient Mining of Association Rules in Text Databases (JDH, SMC), pp. 234–242.
CIKM-1999-WarshawM #optimisation #query #revisited #rule-based: Rule-Based Query Optimization, Revisited (LW, DPM), pp. 267–275.
ICML-1999-PalhangS #induction #learning #logic programming: Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System (MP, AS), pp. 288–297.
ICML-1999-ZhengWT #lazy evaluation #learning #naive bayes: Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees (ZZ, GIW, KMT), pp. 493–502.
KDD-1999-AdomaviciusT #personalisation #profiling #validation: User Profiling in Personalization Applications Through Rule Discovery and Validation (GA, AT), pp. 377–381.
KDD-1999-AumannL #statistics: A Statistical Theory for Quantitative Association Rules (YA, YL), pp. 261–270.
KDD-1999-BayardoA #mining: Mining the Most Interesting Rules (RJBJ, RA), pp. 145–154.
KDD-1999-BrijsSVW #case study #using: Using Association Rules for Product Assortment Decisions: A Case Study (TB, GS, KV, GW), pp. 254–260.
KDD-1999-BrinRS #mining: Mining Optimized Gain Rules for Numeric Attributes (SB, RR, KS), pp. 135–144.
KDD-1999-LiuHM99a #mining #multi: Mining Association Rules with Multiple Minimum Supports (BL, WH, YM), pp. 337–341.
KDD-1999-NagDD #interactive #using: Using a Knowledge Cache for Interactive Discovery of Association Rules (BN, PD, DJD), pp. 244–253.
KDD-1999-RossetMNIP #challenge: Discovery of Fraud Rules for Telecommunications — Challenges and Solutions (SR, UM, EN, YI, GP), pp. 409–413.
KDD-1999-TungLHF #mining #transaction: Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.
TOOLS-ASIA-1999-TsaiTW #architecture #object-oriented: A New Architecture of Object-Oriented Rule Base Management System (CJT, SST, YCW), pp. 200–203.
TOOLS-EUROPE-1999-Poo #case study #identification #specification: Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules (DCCP), pp. 204–213.
TOOLS-EUROPE-1999-Taentzer #modelling #object-oriented #visual notation: Adding Visual Rules to Object-Oriented Modeling Techniques (GT), pp. 275–284.
LOPSTR-1999-PettorossiP #logic programming #source code: Transformation Rules for Logic Programs with Goals as Arguments (AP, MP), pp. 176–195.
PPDP-1999-HolzbaurF #compilation #constraints #prolog: Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
PADL-1999-SoininenN #declarative: Developing a Declarative Rule Language for Applications in Product Configuration (TS, IN), pp. 305–319.
ICLP-1999-CaseauJL #algorithm #named #set: CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms (YC, FXJ, FL), pp. 245–259.
ICLP-1999-Zhang #rule-based: Monotonicity in Rule Based Update (YZ), pp. 471–485.
DATE-1998-GongCK #architecture #synthesis: Architectural Rule Checking for High-level Synthesis (JG, CTC, KK), pp. 949–950.
HT-1998-NanardNK #design pattern #hypermedia #reuse: Pushing Reuse in Hypermedia Design: Golden Rules, Design Patterns and Constructive Templates (MN, JN, PK), pp. 11–20.
PODS-1998-BaileyDR #database #decidability #problem #termination: Decidability and Undecidability Results for the Termination Problem of Active Database Rules (JB, GD, KR), pp. 264–273.
SIGMOD-1998-CherniackZ #rule-based: Changing the Rules: Transformations for Rule-Based Optimizers (MC, SBZ), pp. 61–72.
SIGMOD-1998-NgLHP #mining #optimisation: Exploratory Mining and Pruning Optimizations of Constrained Association Rules (RTN, LVSL, JH, AP), pp. 13–24.
SIGMOD-1998-ShintaniK #algorithm #classification #mining #parallel: Parallel Mining Algorithms for Generalized Association Rules with Classification Hierarchy (TS, MK), pp. 25–36.
SIGMOD-1998-TsurUACMNR #mining #query: Query Flocks: A Generalization of Association-Rule Mining (ST, JDU, SA, CC, RM, SN, AR), pp. 1–12.
VLDB-1998-KornLKF #data mining #mining #paradigm #performance: Ratio Rules: A New Paradigm for Fast, Quantifiable Data Mining (FK, AL, YK, CF), pp. 582–593.
VLDB-1998-MorimotoFMTY #algorithm #category theory #database #mining: Algorithms for Mining Association Rules for Binary Segmentations of Huge Categorical Databases (YM, TF, HM, TT, KY), pp. 380–391.
VLDB-1998-NipplM #cost analysis #multi #named: TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer (CN, BM), pp. 251–262.
VLDB-1998-RamaswamyMS #on the: On the Discovery of Interesting Patterns in Association Rules (SR, SM, AS), pp. 368–379.
FASE-1998-PadbergGE #refinement #rule-based #safety: Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FASE-1998-Sucrow #graph grammar #interactive #specification: Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules (BS), pp. 302–317.
TAGT-1998-EhrigHLOPR #framework #graph #rule-based: Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
TAGT-1998-Grosse-RhodePS #graph transformation: Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
EDOC-1998-Lemesle #metamodelling: Transformation rules based on meta-modeling (RL), pp. 113–122.
CIKM-1998-AggarwalSY #algorithm #online: Online Algorithms for Finding Profile Association Rules (CCA, ZS, PSY), pp. 86–95.
CIKM-1998-BellatrecheKL #approach #database #deduction #distributed: An Iterative Approach for Rules and Data Allocation in Distributed Deductive Database Systems (LB, KK, QL), pp. 356–363.
CIKM-1998-HaradaAOT #mining #parallel: Dynamic Skew Handling in Parallel Mining of Association Rules (LH, NA, KO, RT), pp. 76–85.
CIKM-1998-Tang #incremental #performance #using: Using Incremental Pruning to Increase the Efficiency of Dynamic Itemset Counting for Association Rules (JT), pp. 273–280.
ICML-1998-FrankW #generative #optimisation #set: Generating Accurate Rule Sets Without Global Optimization (EF, IHW), pp. 144–151.
ICPR-1998-BhattacharyaK #nearest neighbour #set: Reference set thinning for the k-nearest neighbor decision rule (BKB, DK), pp. 238–242.
ICPR-1998-CracknellD #comprehension #documentation #image #using: Document image understanding of handwritten forms using rule-trees (CC, ACD), pp. 936–938.
KDD-1998-AggarwalSY #generative #online: Online Generation of Profile Association Rules (CCA, ZS, PSY), pp. 129–133.
KDD-1998-AndersonM #learning #performance: ADtrees for Fast Counting and for Fast Learning of Association Rules (BSA, AWM), pp. 134–138.
KDD-1998-BorgesL #database #hypermedia #mining: Mining Association Rules in Hypertext Databases (JB, ML), pp. 149–153.
KDD-1998-DasLMRS: Rule Discovery from Time Series (GD, KIL, HM, GR, PS), pp. 16–22.
KDD-1998-LiuHM #classification #mining: Integrating Classification and Association Rule Mining (BL, WH, YM), pp. 80–86.
KDD-1998-MegiddoS #predict: Discovering Predictive Association Rules (NM, RS), pp. 274–278.
KDD-1998-MorzyZ #retrieval: Group Bitmap Index: A Structure for Association Rules Retrieval (TM, MZ), pp. 284–288.
KDD-1998-Suzuki #database #evaluation #reliability: Simultaneous Reliability Evaluation of Generality and Accuracy for Rule Discovery in Databases (ES), pp. 339–343.
KDD-1998-ThomasS #mining #query #sql #using: Mining Generalized Association Rules and Sequential Patterns Using SQL Queries (ST, SS), pp. 344–348.
KDD-1998-WangTL: Interestingness-Based Interval Merger for Numeric Association Rules (KW, SHWT, BL), pp. 121–128.
UML-1998-GogollaR #diagrams #uml: Transformation Rules for UML Class Diagrams (MG, MR), pp. 92–106.
TOOLS-USA-1998-MaY #diagrams #reduction: Practical Rules for Reduction on the Number of States of a State Diagram (JM, SY), p. 46–?.
CADE-1998-FeveW #algebra #geometry #proving #theorem #using: Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules (SF, DW), pp. 17–31.
PODS-1997-LudascherML #logic: Referential Actions as Logic Rules (BL, WM, GL), pp. 217–227.
SIGMOD-1997-AdelbergGW #maintenance: The STRIP Rule System For Efficiently Maintaining Derived Data (BA, HGM, JW), pp. 147–158.
SIGMOD-1997-BrinMS #correlation: Beyond Market Baskets: Generalizing Association Rules to Correlations (SB, RM, CS), pp. 265–276.
SIGMOD-1997-BrinMUT: Dynamic Itemset Counting and Implication Rules for Market Basket Data (SB, RM, JDU, ST), pp. 255–264.
SIGMOD-1997-Chakravarthy #named #object-oriented: SENTINEL: An Object-Oriented DBMS With Event-Based Rules (SC), pp. 572–575.
SIGMOD-1997-HanKK #data mining #mining #parallel #scalability: Scalable Parallel Data Mining for Association Rules (EHH, GK, VK), pp. 277–288.
SIGMOD-1997-MotakisZ #database: Temporal Aggregation in Active Database Rules (IM, CZ), pp. 440–451.
SIGMOD-1997-YangM: Association Rules over Interval Data (RJM, YY), pp. 452–461.
WCRE-1997-AprilMA #approach #reverse engineering: A Reverse Engineering Approach to Evaluate Function Point Rules (AA, EM, AA), pp. 236–246.
HCI-SEC-1997-Olson #consistency #formal method: Seven Rules in a Theory of Consistency (AMO), pp. 715–718.
CIKM-1997-ChanA #fuzzy #mining: Mining Fuzzy Association Rules (KCCC, WHA), pp. 209–215.
CIKM-1997-KimC #approach #database #execution #static analysis: A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
CIKM-1997-ParkYC #mining: Mining Association Rules with Adjustable Accuracy (JSP, PSY, MSC), pp. 151–160.
CIKM-1997-SinghSC #concept #documentation #generative #using: Generating Association Rules from Semi-Structured Documents Using an Extended Concept Hierarchy (LS, PS, BC), pp. 193–200.
ICML-1997-ManguB #automation: Automatic Rule Acquisition for Spelling Correction (LM, EB), pp. 187–194.
ICML-1997-ReddyT #learning #using: Learning Goal-Decomposition Rules using Exercises (CR, PT), pp. 278–286.
KDD-1997-AliMS #classification #using: Partial Classification Using Association Rules (KA, SM, RS), pp. 115–118.
KDD-1997-Bayardo #classification #mining: Brute-Force Mining of High-Confidence Classification Rules (RJBJ), pp. 123–126.
KDD-1997-FeldmanAAZK #documentation #keyword #mining: Maximal Association Rules: A New Tool for Mining for Keyword Co-Occurrences in Document Collections (RF, YA, AA, AZ, WK), pp. 167–170.
KDD-1997-Hekanaho #concept #learning: GA-Based Rule Enhancement in Concept Learning (JH), pp. 183–186.
KDD-1997-KamberHC #mining #multi #using: Metarule-Guided Mining of Multi-Dimensional Association Rules Using Data Cubes (MK, JH, JC), pp. 207–210.
KDD-1997-LiuHC #classification #using: Using General Impressions to Analyze Discovered Classification Rules (BL, WH, SC), pp. 31–36.
KDD-1997-PazzaniMS #learning: Beyond Concise and Colorful: Learning Intelligible Rules (MJP, SM, WRS), pp. 235–238.
KDD-1997-SrikantVA #constraints #mining: Mining Association Rules with Item Constraints (RS, QV, RA), pp. 67–73.
KDD-1997-Suzuki #exception #reliability: Autonomous Discovery of Reliable Exception Rules (ES), pp. 259–262.
KDD-1997-ThomasBAR #algorithm #database #incremental #performance #scalability: An Efficient Algorithm for the Incremental Updation of Association Rules in Large Databases (ST, SB, KA, SR), pp. 263–266.
KDD-1997-YodaFMMT: Computing Optimized Rectilinear Regions for Association Rules (KY, TF, YM, SM, TT), pp. 96–103.
KDD-1997-ZakiPOL #algorithm #performance: New Algorithms for Fast Discovery of Association Rules (MJZ, SP, MO, WL), pp. 283–286.
OOPSLA-1997-LitmanMP #modelling #using: Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules (DJL, AM, PFPS), pp. 77–92.
POPL-1997-Sands #functional #proving: From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.
RE-1997-RoscaFW #lifecycle: Decision Making Methodology in Support of the Business Rules Lifecycle (DR, MF, CW), pp. 236–246.
SAC-1997-ChanA #algorithm #effectiveness #mining: An effective algorithm for mining interesting quantitative association rules (KCCC, WHA), pp. 88–90.
SAC-1997-HashemiCTSP #approximate #multi: A diagnostic system based on a multi-decision approximate rules model (RRH, FFC, JRT, WS, MGP), pp. 20–24.
SAC-1997-Zukunft #adaptation #database #mobile #rule-based: Rule based adaptation in mobile database systems (OZ), pp. 310–317.
ICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
CAV-1997-BeerBEGGHLPRRW #model checking #named: RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.
CAV-1997-McMillan #composition #design #hardware #refinement: A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.
RTA-1997-Ringeissen #algorithm #programming language #prototype #rule-based #unification: Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
DAC-1996-BeerBEL #named #verification: RuleBase: An Industry-Oriented Formal Verification Tool (IB, SBD, CE, AL), pp. 655–660.
DAC-1996-IpD #reduction #using: State Reduction Using Reversible Rules (CNI, DLD), pp. 564–567.
PODS-1996-FukudaMMT #mining: Mining Optimized Association Rules for Numeric Attributes (TF, YM, SM, TT), pp. 182–191.
PODS-1996-JagadishMM #database: Managing Rule Conflicts in an Active Database (HVJ, AOM, ISM), pp. 192–201.
SIGMOD-1996-CherniackZ #algebra #rule-based: Rule Languages and Internal Algebras for Rule-Based Optimizers (MC, SBZ), pp. 401–412.
SIGMOD-1996-FukudaMMT #2d #algorithm #data mining #mining #using #visualisation: Data Mining Using Two-Dimensional Optimized Accociation Rules: Scheme, Algorithms, and Visualization (TF, YM, SM, TT), pp. 13–23.
SIGMOD-1996-FukudaMMT96a #named: SONAR: System for Optimized Numeric AssociationRules (TF, YM, SM, TT), p. 553.
SIGMOD-1996-SrikantA #mining #relational #scalability: Mining Quantitative Association Rules in Large Relational Tables (RS, RA), pp. 1–12.
VLDB-1996-FukudaMMT #performance #using: Constructing Efficient Decision Trees by Using Optimized Numeric Association Rules (TF, YM, SM, TT), pp. 146–155.
VLDB-1996-MeoPC #mining: A New SQL-like Operator for Mining Association Rules (RM, GP, SC), pp. 122–133.
VLDB-1996-Toivonen #database #scalability: Sampling Large Databases for Association Rules (HT), pp. 134–145.
ESOP-1996-BakelBF #abstraction #normalisation #term rewriting: Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
ESOP-1996-Stolen #data flow #network: Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.
RWLW-1996-GadducciM: Tiles, rewriting rules and CCS (FG, UM), pp. 1–19.
WCRE-1996-Moore #detection #reverse engineering #rule-based #user interface: Rule-Based Detection for Reverse Engineering User Interfaces (MMM), p. 42–?.
WPC-1996-SneedE #source code: Extracting Business Rules from Source Code (HMS, KE), p. 240–?.
CAiSE-1996-KappelRRS: From Rules To Rule Patterns (GK, SRS, WR, MS), pp. 99–115.
AKDDM-1996-AgrawalMSTV #performance: Fast Discovery of Association Rules (RA, HM, RS, HT, AIV), pp. 307–328.
AKDDM-1996-Gaines: Transformation Rules and Trees (BRG), pp. 205–226.
AKDDM-1996-HsuK #induction #learning #optimisation #query #semantics #using: Using Inductive Learning To Generate Rules for Semantic Query Optimization (CNH, CAK), pp. 425–445.
CIKM-1996-FortinL #approach #mining #multi #object-oriented: An Object-Oriented Approach to Multi-Level Association Rule Mining (SF, LL), pp. 65–72.
CIKM-1996-HanP #algorithm #mining: Background for Association Rules and Cost Estimate of Selected Mining Algorithms (JLH, AWP), pp. 73–80.
CIKM-1996-WarshawM #case study #declarative: A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.
ICML-1996-Burges: Simplified Support Vector Decision Rules (CJCB), pp. 71–77.
ICML-1996-ReddyTR #composition #empirical #learning: Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.
ICPR-1996-ChenL96b #approach #online #recognition #rule-based: On-line handwriting recognition of Chinese characters via a rule-based approach (JWC, SYL), pp. 220–224.
ICPR-1996-Ha #pattern matching #pattern recognition #recognition: An optimum class-selective rejection rule for pattern recognition (TMH), pp. 75–80.
ICPR-1996-JozwikCCS #classification #fuzzy: A 1-NN preclassifier for fuzzy k-NN rule (AJ, LC, WC, MS), pp. 234–238.
ICPR-1996-MartinezST #linear #performance #recursion: A recursive updating rule for efficient computation of linear moments in sliding-window applications (JM, ES, FT), pp. 295–299.
ICPR-1996-Skubalska-RafajlowiczK #classification #metric #performance #using: Fast k-NN classification rule using metric on space-filling curves (ESR, AK), pp. 121–125.
ICPR-1996-ValevR #recognition: Construction of Boolean decision rules for ECG recognition by non-reducible descriptors (VV, PR), pp. 111–115.
ICPR-1996-WilluhnA #image #re-engineering #rule-based: A rule-based system for house reconstruction from aerial images (WW, FA), pp. 885–889.
KDD-1996-CheungNT #information management #maintenance #multi: Maintenance of Discovered Knowledge: A Case in Multi-Level Association Rules (DWLC, VTYN, BWT), pp. 307–310.
KDD-1996-Domingos #induction #linear: Linear-Time Rule Induction (PMD), pp. 96–101.
KDD-1996-Domingos96a #induction #performance: Efficient Specific-to-General Rule Induction (PMD), pp. 319–322.
KDD-1996-GaneshSR #database #identification #integration #mining: Mining Entity-Identification Rules for Database Integration (MG, JS, TR), pp. 291–294.
KDD-1996-KamberS: Evaluating the Interestingness of Characteristic Rules (MK, RS), pp. 263–266.
KDD-1996-TsumotoT #automation #database #set: Automated Discovery of Medical Expert System Rules from Clinical Databases Based on Rough Sets (ST, HT), pp. 63–69.
KDD-1996-UrpaniWS #induction #named: RITIO — Rule Induction Two In One (DU, XW, JS), pp. 339–342.
SEKE-1996-RoscaW #approach: Business Rules in the Real World: A Decision Support Approach (DR, JCW), pp. 121–128.
LOPSTR-1996-PettorossiPR #deduction: Enhancing Partial Deduction via Unfold/Fold Rules (AP, MP, SR), pp. 146–168.
SAC-1996-Asgharzadeh #analysis #fuzzy #image #rule-based #using: Image analysis and enhancement using fuzzy rule based expert system (AA), pp. 529–531.
CADE-1996-SnyderS #semantics #theory and practice: Rewrite Semantics for Production Rule Systems: Theory and Applications (WS, JGS), pp. 508–522.
LICS-1996-MatiyasevichS #problem: Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
RTA-1996-Senizergues #on the #problem #termination: On the Termination Problem for One-Rule Semi-Thue System (GS), pp. 302–316.
RTA-1996-VandevoordeK #distributed #empirical #proving #rule-based: Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover (MTV, DK), pp. 420–423.
DAC-1995-MehrotraFS #generative #performance: Performance Driven Global Routing and Wiring Rule Generation for High Speed PCBs and MCMs (SM, PDF, MBS), pp. 381–387.
KBSE-1995-RoscaGWRMF #lifecycle: Application of a Decision Support Mechanism to the Business Rules Lifecycle (DR, SJG, JCW, HBR, KM, MF), pp. 114–121.
ICDAR-v1-1995-LuWS #recognition: A drawing recognition system with rule acquisition ability (WL, WW, MS), pp. 512–515.
ICDAR-v1-1995-TakasuSK #documentation #image #learning: A rule learning method for academic document image processing (AT, SS, EK), pp. 239–242.
SIGMOD-1995-ImielinskiV #interactive #named: DataMine — Interactive Rule Discovery System (TI, AV), p. 472.
SIGMOD-1995-ParkCY #algorithm #effectiveness #mining: An Effective Hash Based Algorithm for Mining Association Rules (JSP, MSC, PSY), pp. 175–186.
VLDB-1995-HanF #database #multi #scalability: Discovery of Multiple-Level Association Rules from Large Databases (JH, YF), pp. 420–431.
VLDB-1995-LuSL #approach #data mining #mining #named: NeuroRule: A Connectionist Approach to Data Mining (HL, RS, HL), pp. 478–489.
VLDB-1995-SavasereON #algorithm #database #mining #performance #scalability: An Efficient Algorithm for Mining Association Rules in Large Databases (AS, EO, SBN), pp. 432–444.
VLDB-1995-SrikantA #mining: Mining Generalized Association Rules (RS, RA), pp. 407–419.
WCRE-1995-LeiteC #analysis #specification: Recovering Business Rules from Structured Analysis Specifications (JCSdPL, PMC), pp. 13–21.
STOC-1995-LovaszW #markov #performance: Efficient stopping rules for Markov chains (LL, PW), pp. 76–82.
DLT-1995-CattaneoFM #automaton: Rule Space Transformations and One-Dimensional Cellular Automata (GC, EF, GM), pp. 409–419.
CAiSE-1995-Herbst #analysis #metamodelling: A Meta-Model for Business Rules in Systems Analysis (HH), pp. 186–199.
CIKM-1995-CorrelM #concurrent #on the: On Isolation, Concurrency, and the Venus Rule Language (SC, DPM), pp. 281–289.
CIKM-1995-ParkCY #data mining #mining #parallel #performance: Efficient Parallel and Data Mining for Association Rules (JSP, MSC, PSY), pp. 31–36.
CIKM-1995-SuLAYY #knowledge base #rule-based: An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems (SYWS, HL, JAAF, TFY, ZY), pp. 1–10.
ICML-1995-Cohen #effectiveness #induction #performance: Fast Effective Rule Induction (WWC), pp. 115–123.
ICML-1995-Drakopoulos #bound #classification #fault #nearest neighbour: Bounds on the Classification Error of the Nearest Neighbor Rule (JAD), pp. 203–208.
KDD-1995-AugierVK #algorithm #first-order #learning #logic #search-based: Learning First Order Logic Rules with a Genetic Algorithm (SA, GV, YK), pp. 21–26.
KDD-1995-TsumotoT #automation #induction #multi #recursion #statistics #testing: Automated Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods and Multiple Statistical Testing (ST, HT), pp. 312–317.
SEKE-1995-BarzdinsBK #approach #modelling #rule-based: Rule-Based Approach to Business Modeling (JB, GB, AK), pp. 161–165.
SEKE-1995-Lapujade #automation: Contraints, Rules and Modelisation in a Meta-CASE Tool (AL), pp. 446–453.
OOPSLA-1995-OssherKHKK #composition: Subject-Oriented Composition Rules (HO, MK, WHH, AK, VJK), pp. 235–250.
SAC-1995-ChaabouniC #database #network #object-oriented: Discrimination network for rule condition matching in object-oriented database rule systems (MC, SMC), pp. 51–55.
SAC-1995-HalgamugeBG #algorithm #classification #comparison #generative #heuristic #rule-based #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: Rule-based machine learning of spatial data concepts (SS, DCSC), pp. 242–247.
SAC-1995-Tschichold-Gurman #classification #fuzzy #generative #incremental #learning #using: Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet (NNTG), pp. 466–470.
SAC-1995-WassermanYS #logic programming #source code: An alternative transformation rule for logic programs (HCW, KY, ZS), pp. 364–368.
CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
ILPS-1995-LevyR #bibliography #logic: Combining Rules and Description Logics: An Overview of CARIN (AYL, MCR), p. 635.
RTA-1995-Holmes #equation #proving #recursion #theorem: Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 (MRH), pp. 432–437.
TLCA-1995-Briaud: An explicit Eta rewrite rule (DB), pp. 94–108.
EDAC-1994-HirechFGR #design #simulation #testing: A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking (MH, OF, AG, EHR), p. 668.
EDAC-1994-HuijbregtsEJ #design #on the: On Design Rule Correct Maze Routing (EPH, JTJvE, JAGJ), pp. 407–411.
KBSE-1994-Hall #incremental #rule-based #validation: Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
KBSE-1994-TongKP #flexibility #re-engineering: A Flexible Rule-Chaining Engine for Process-Based Software Engineering (AZT, GEK, SSP), pp. 79–88.
SIGMOD-1994-DewanSHH #distributed #parallel #predict #query: Predictive Dynamic Load Balancing of Parallel and Distributed Rule and Query Processing (HMD, SJS, MAH, JJH), pp. 277–288.
VLDB-1994-AgrawalS #algorithm #database #mining #performance #scalability: Fast Algorithms for Mining Association Rules in Large Databases (RA, RS), pp. 487–499.
VLDB-1994-BaralisW #algebra #analysis #approach #database: An Algebraic Approach to Rule Analysis in Expert Database Systems (EB, JW), pp. 475–486.
VLDB-1994-FrohnLU #data access: Access to Objects by Path Expressions and Rules (JF, GL, HU), pp. 273–284.
ICSM-1994-ChenS #complexity #metric #rule-based: Complexity Metrics for Rule-Based Expert Systems (ZC, CYS), pp. 382–391.
FME-1994-King #formal method: Formalising British Rail’s Signalling Rules (TK), pp. 45–54.
CIKM-1994-HuC #approach #database #relational #set: Discovery of Decision Rules in Relational Databases: A Rough Set Approach (XH, NC), pp. 392–400.
CIKM-1994-KlemettinenMRTV #scalability #set: Finding Interesting Rules from Large Sets of Discovered Association Rules (MK, HM, PR, HT, AIV), pp. 401–407.
CIKM-1994-Liu #adaptation #design #evaluation #knowledge base #object-oriented: Design and Evaluation Rules for Building Adaptive Schema in an Object-Oriented Data and Knowledge Base System (LL), pp. 329–336.
ICML-1994-CravenS #network #query #using: Using Sampling and Queries to Extract Rules from Trained Neural Networks (MC, JWS), pp. 37–45.
ICML-1994-HsuK #optimisation #query #semantics: Rule Introduction for Semantic Query Optimization (CNH, CAK), pp. 112–120.
ICML-1994-MahoneyM: Comparing Methods for Refining Certainty-Factor Rule-Bases (JJM, RJM), pp. 173–180.
ICML-1994-MurphyP: Revision of Production System Rule-Bases (PMM, MJP), pp. 199–207.
KDD-1994-ApteH #generative #predict: Predicting Equity Returns from Securities Data with Minimal Rule Generation (CA, SJH), pp. 407–418.
KDD-1994-HsuK #induction #optimisation #query #semantics: Rule Induction for Semantic Query Optimization (CNH, CAK), pp. 311–322.
KDD-1994-ImamM #bibliography: From Facts to Rules to Decisions: An Overview of the FRD-1 System (IFI, RSM), pp. 229–236.
KDD-1994-MannilaTV #algorithm #performance: Efficient Algorithms for Discovering Association Rules (HM, HT, AIV), pp. 181–192.
KDD-1994-MonkMSH #comparison #geometry #set: Geometric Comparison of Clarifications and Rule Sets (TJM, RSM, LAS, GH), pp. 395–406.
SEKE-1994-Kramer #modelling #petri net #process: Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.
SEKE-1994-KrogstieS: Extending a temporal rule language with deontic operators (JK, GS), pp. 314–321.
SEKE-1994-PachetP: Rule firing with metarules (FP, JFP), pp. 322–329.
TOOLS-EUROPE-1994-RuperezJA #behaviour #object-oriented #rule-based #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.
SAC-1994-Tschichold-Gurman #classification #fuzzy #network: Fuzzy RuleNet: an artificial neural network model for fuzzy classification (NNTG), pp. 145–149.
ICLP-1994-Mircheva #logic programming #source code: Logic Programs with Refutation Rules (MM), p. 734.
ICLP-1994-Moreno-Navarro: Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.
ILPS-1994-CharlierRH #abstract interpretation #framework #prolog: An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut (BLC, SR, PVH), pp. 157–171.
ILPS-1994-Post #logic programming: Mutally Exclusive Rules in Logic Programming (KP), pp. 472–486.
LICS-1994-Stark #declarative #prolog #semantics: The Declarative Semantics of the Prolog Selection Rule (RFS), pp. 252–261.
KBSE-1993-Hall #rule-based #validation: Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
ICDAR-1993-EspositoMS #automation #comprehension #documentation: Automated acquisition of rules for document understanding (FE, DM, GS), pp. 650–654.
ICDAR-1993-Itonori #recognition: Table structure recognition based on textblock arrangement and ruled line position (KI), pp. 765–768.
ICDAR-1993-SatohMS #comprehension #image #learning: Drawing image understanding system with capability of rule learning (SS, HM, MS), pp. 119–124.
SIGMOD-1993-AbiteboulLUW: Methods and Rules (SA, GL, HU, EW), pp. 32–41.
SIGMOD-1993-AgrawalIS #database #mining #scalability #set: Mining Association Rules between Sets of Items in Large Databases (RA, TI, ANS), pp. 207–216.
SIGMOD-1993-AnwarMC #database #object-oriented: A New Perspective on Rule Support for Object-Oriented Databases (EA, LM, SC), pp. 99–108.
SIGMOD-1993-BrantM: Index Support for Rule Activation (DAB, DPM), pp. 42–48.
VLDB-1993-CeriW #persistent #semantics: Managing Semantic Heterogeneity with Production Rules and Persistent Queues (SC, JW), pp. 108–119.
VLDB-1993-FabretRS #adaptation #algorithm #database #evaluation #incremental: An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases (FF, MR, ES), pp. 455–466.
VLDB-1993-Plexousakis #constraints #deduction #knowledge base #maintenance: Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases (DP), pp. 146–157.
FPCA-1993-MoreauR #evaluation #functional #parallel: Sound Rules for Parallel Evaluation of a Functional Language with callcc (LM, DR), pp. 125–135.
HCI-SHI-1993-SharitC #reasoning #rule-based: The Use of Expert Systems for Training Humans in Rule-Based Reasoning (JS, SC), pp. 819–824.
CAiSE-1993-Seltveit #approach #development #information management #scalability: An Abstraction-Based Rule Approach to Large-Scale Information Systems Development (AHS), pp. 328–351.
CIKM-1993-EickJ #algorithm #classification #learning #search-based: Learning Bayesian Classification Rules through Genetic Algorithms (CFE, DJ), pp. 305–313.
CIKM-1993-Harrison #database #deduction: Active Rules in Deductive Databases (JVH), pp. 174–183.
CIKM-1993-SegevZ #maintenance #performance: Efficient Maintenance of Rule-Derived Data through Join Pattern Indexing (AS, JLZ), pp. 194–205.
CIKM-1993-SongJ: Binary Relationship Imposition Rules on Ternary Relationships (IYS, THJ), pp. 57–66.
CIKM-1993-VoortS #confluence #execution #termination: Termination and Confluence of Rule Execution (LvdV, AS), pp. 245–255.
CIKM-1993-WuS #deduction #logic #validation: Rule Validation Based on Logical Deduction (PW, SYWS), pp. 164–173.
ICML-1993-CravenS #learning #network #using: Learning Symbolic Rules Using Artificial Neural Networks (MC, JWS), pp. 73–80.
SEKE-1993-Cheng #complexity #metric #rule-based: A New Complexity Metric for OPS5 Rule-Based Systems (AMKC), pp. 244–247.
SEKE-1993-CoyleTF #development #knowledge-based #programming #realtime #rule-based: Rule-Based Programming for Real-Time Knowledge-Based Systems Development (FPC, MMT, DJF), pp. 142–149.
SEKE-1993-KushnerE #experience #rule-based #verification: Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS (TRK, DSE), pp. 445–452.
SEKE-1993-Porter #classification #component #predict: Developing and Analyzing Classification Rules for Predicting Faulty Software Components (AAP), pp. 453–461.
ICSE-1993-Lakhotia #approach #rule-based: Rule-Based Approach to Computing Module Cohesion (AL), pp. 35–44.
CSL-1993-Coquand #analysis #semantics: From Semantics to Rules: A Machine Assisted Analysis (CC), pp. 91–105.
ICLP-1993-HarlandR #constraints #linear #recursion: Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
TLCA-1993-Paulin-Mohring #coq #induction: Inductive Definitions in the system Coq — Rules and Properties (CPM), pp. 328–345.
TLCA-1993-Takahashi #λ-calculus: λ-Calculi with Conditional Rules (MT), pp. 406–417.
DAC-1992-FranzonSSBMM #generative #tool support: Tools to Aid in Wiring Rule Generation for High Speed Interconnects (PDF, SS, MBS, MB, SM, TM), pp. 466–471.
DAC-1992-Peltz #design #interpreter: An Interpreter for General Netlist Design Rule Checking (GP), pp. 305–310.
SIGMOD-1992-AikenWH #behaviour #confluence #database #termination: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (AA, JW, JMH), pp. 59–68.
SIGMOD-1992-Hanson #execution #testing: Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
SIGMOD-1992-PiraheshHH #optimisation #query #rule-based: Extensible/Rule Based Query Rewrite Optimization in Starburst (HP, JMH, WH), pp. 39–48.
VLDB-1992-CeriW #database #distributed #parallel: Production Rules in Parallel and Distributed Database Environments (SC, JW), pp. 339–351.
VLDB-1992-KramerLS #rule-based: Updates in a Rule-Based Language for Objects (MK, GL, GS), pp. 251–262.
VLDB-1992-SimonKM #implementation #relational: Implementing High Level Active Rules on Top of a Relational DBMS (ES, JK, CdM), pp. 315–326.
KR-1992-BenferhatDP #logic #representation: Representing Default Rules in Possibilistic Logic (SB, DD, HP), pp. 673–684.
SEKE-1992-ChunH #approach #compilation #knowledge base #query: Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach (JC, LJH), pp. 109–115.
SEKE-1992-DoyleV #metric #rule-based: Applying Metrics to Rule-Based Systems (PD, RV), pp. 123–130.
SEKE-1992-HuangSM #modelling #reverse engineering #rule-based #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 #rule-based #specification: Formal Specification of a Rule-Based Expert System (BST, RS), pp. 333–340.
TOOLS-EUROPE-1992-Perrot #object-oriented #programming #rule-based: Rule-Based Object-Oriented Programming (JFP), p. 423.
LOPSTR-1992-Prestwich #prolog: An Unfold Rule for Full Prolog (SDP), pp. 199–213.
ICSE-1992-PeuschelS #concept #implementation #process #rule-based: Concepts and Implementation of a Rule-Based Process Engine (BP, WS), pp. 262–279.
ICSE-1992-RomanGB #concurrent #programming #rule-based: Seeking Concurrency in Rule-Based Programming (GCR, RFG, WEB), pp. 225–234.
CADE-1992-MannaW: The Special-Relation Rules are Incomplete (ZM, RJW), pp. 492–506.
LICS-1992-AcetoBV #equation: Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.
KBSE-1991-HeinemanKBB #parametricity: Rule Chaining in MARVEL: Dynamic Binding of Parameters (GTH, GEK, NSB, IBS), pp. 215–222.
PODS-1991-Vadaparty #on the #power of #rule-based #set: On the Power of Rule-Based Languages with Sets (KVV), pp. 26–36.
SIGMOD-1991-GordinP #database: Set-Oriented Constructs: From Rete Rule Bases to Database Systems (DNG, AJP), pp. 60–67.
SIGMOD-1991-WolfsonDSY #evaluation #incremental #parallel: Incremental Evaluation of Rules and its Relationship to Parallelism (OW, HMD, SJS, YY), pp. 78–87.
VLDB-1991-BrantGLM #case study #database #performance: Effects of Database Size on Rule System Performance: Five Case Studies (DAB, TG, BJL, DPM), pp. 287–296.
VLDB-1991-SegevZ #data transformation #scalability: Data Management for Large Rule Systems (AS, JLZ), pp. 297–307.
VLDB-1991-WidomCL #implementation: Implementing Set-Oriented Production Rules as an Extension to Starburst (JW, RC, BGL), pp. 275–285.
PEPM-1991-ProiettiP #prolog #semantics: Semantics Preserving Transformation Rules for Prolog (MP, AP), pp. 274–284.
CAiSE-1991-KrogstieMOS #development #information management #process #rule-based #using: Information Systems Development Using a Combination of Process and Rule Based Approaches (JK, PM, RO, AHS), pp. 319–335.
CAiSE-1991-McBrienNPSSTTW #policy #specification: A Rule Language to Capture and Model Business Policy Specifications (PM, MN, DP, AHS, US, BT, GT, RW), pp. 307–318.
KDD-1991-HongM #clustering #incremental #parallel: Incremental Discovery of Rules and Structure by Hierarchical and Parallel Clustering (JH, CM), pp. 177–194.
KDD-1991-Piatetsky #analysis: Discovery, Analysis, and Presentation of Strong Rules (GPS), pp. 229–248.
KDD-1991-SiegelSS #optimisation #query: Rule Discovery for Query Optimization (MS, ES, SCS), pp. 411–430.
KDD-1991-SmythG #induction #using: Rule Induction Using Information Theory (PS, RMG), pp. 159–176.
KDD-1991-UthurusamyFS #learning: Learning Useful Rules from Inconclusive Data (RU, UMF, WSS), pp. 141–158.
ML-1991-CobbG #learning #persistent: Learning the Persistence of Actions in Reactive Control Rules (HGC, JJG), pp. 292–297.
ML-1991-Feng #fault: Inducing Temporal Fault Diagnostic Rules from a Qualitative Model (CF), pp. 403–406.
ML-1991-KowalczykFG #higher-order #network: Discovering Production Rules with Higher Order Neural Networks (AK, HLF, KG), pp. 158–162.
ML-1991-LeckieZ #approach #induction #learning: Learning Search Control Rules for Planning: An Inductive Approach (CL, IZ), pp. 422–426.
ML-1991-OurstonM #multi: Improving Shared Rules in Multiple Category Domain Theories (DO, RJM), pp. 534–538.
ECOOP-1991-MedeirosP #using: Object Integrity Using Rules (CBM, PP), pp. 219–230.
LOPSTR-1991-JantkeG #induction #synthesis: Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract) (KPJ, UG), pp. 65–68.
PLILP-1991-Poetzsch-Heffter #specification: Logic-Based Specification of Visibility Rules (APH), pp. 63–74.
ESEC-1991-BarghoutiK #development #rule-based #scalability: Scaling Up Rule-Based Software Development Environments (NSB, GEK), pp. 380–395.
CAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using: Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.
ICLP-1991-PierroMP #logic programming: Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming (ADP, MM, CP), pp. 32–45.
ICLP-1991-PuchhammerS #automaton #design #prototype: A Rule-oriented FSM Design System with Prototyping Capabilities (MP, RS), p. 891.
LICS-1991-BonetB #deduction #on the #proving: On the Deduction Rule and the Number of Proof Lines (MLB, SRB), pp. 286–297.
RTA-1991-DenneheuvelKLS #optimisation #query #using: Query Optimization Using Rewrite Rules (SvD, KLK, GRRdL, ES), pp. 252–263.
DAC-1990-SchieleKJK #design #industrial: A Gridless Router for Industrial Design Rules (WLS, TK, KMJ, FHK), pp. 626–631.
DAC-1990-SuzukiO #design #online: A Practical Online Design Rule Checking System (GS, YO), pp. 246–252.
SIGMOD-1990-CacaceCCTZ #modelling #object-oriented #paradigm #programming #rule-based: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm (FC, SC, SCR, LT, RZ), pp. 225–236.
SIGMOD-1990-HansonCKW #algorithm #database: A Predicate Matching Algorithm for Database Rule Systems (ENH, MC, CHK, YWW), pp. 271–280.
SIGMOD-1990-StonebrakerJGP #database #on the: On Rules, Procedures, Caching and Views in Data Base Systems (MS, AJ, JG, SP), pp. 281–290.
SIGMOD-1990-WidomF #database #relational: Set-Oriented Production Rules in Relational Database Systems (JW, SJF), pp. 259–270.
SIGMOD-1990-WolfsonO #distributed #paradigm #parallel: A New Paradigm for Parallel and Distributed Rule-Processing (OW, AO), pp. 133–142.
VLDB-1990-CeriW #constraints: Deriving Production Rules for Constraint Maintainance (SC, JW), pp. 566–577.
VLDB-1990-KempRS #information management #maintenance #multi: Right-, left- and multi-linear rule transformations that maintain context information (DBK, KR, ZS), pp. 380–391.
VLDB-1990-RamakrishnanSS #bottom-up #evaluation #fixpoint #logic programming #source code: Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs (RR, DS, SS), pp. 359–371.
ESOP-1990-Kennaway #ambiguity #lazy evaluation #pattern matching #term rewriting: The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems (RK), pp. 256–270.
GG-1990-Korff #graph grammar #rule-based: Application of Graph Grammars to Rule-Based Systems (MK), pp. 505–519.
CAiSE-1990-TsalgatidouKL #requirements #rule-based #specification #validation: Rule-Based Requirements Specification and Validation (AT, VK, PL), pp. 251–263.
ML-1990-Bennett #approximate: Reducing Real-world Failures of Approximate Explanation-based Rules (SWB), pp. 226–234.
ML-1990-Cohen90a #approximate #learning: Learning Approximate Control Rules of High Utility (WWC), pp. 268–276.
ML-1990-McCallumS #algorithm #search-based #using: Using Genetic Algorithms to Learn Disjunctive Rules from Examples (AM, KAS), pp. 149–152.
ML-1990-SchoenauerS #incremental #learning: Incremental Learning of Rules and Meta-rules (MS, MS), pp. 49–57.
ML-1990-WuWZ #framework: An Integrated Framework of Inducing Rules from Examples (YW, SW, QZ), pp. 357–365.
SEKE-1990-LeuY #automation #knowledge-based: Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems (FYL, CCY), pp. 116–121.
SEKE-1990-MatetiD #data type #diagrams #linked data #open data: Aesthetics Rules in The Diagrams of Linked Data Structures (PM, CD), pp. 239–244.
ALP-1990-Lescanne #implementation: Implementations of Completion by Transition Rules + Control: ORME (PL), pp. 262–269.
ICSE-1990-Parisi-Presicce #approach #composition #design #rule-based: A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.
CADE-1990-LeeH #compilation #database #deduction: Substitution-based Compilation of Extended Rules in Deductive Databases (SHL, LJH), pp. 57–71.
CADE-1990-Lescanne #implementation #named #set: ORME: An Implementation of Completion Procedures as Sets of Transition Rules (PL), pp. 661–662.
CLP-1990-VerschaetseSB90 #compilation #generative #performance: Generation and Compilation of Efficient Computation Rules (KV, DDS, MB), pp. 700–714.
LICS-1990-MarekNR #formal method: A Theory of Nonmonotonic Rule Systems (VWM, AN, JBR), pp. 79–94.
DAC-1989-AudeK #adaptation #design #representation: Representation and Use of Design Rules within a Technology Adaptable CAD System (JSA, HJK), pp. 478–484.
DAC-1989-BonapaceL #algorithm #design: An O(nlogm) Algorithm for VLSI Design Rule Checking (CRB, CYL), pp. 503–507.
DAC-1989-GuraA: Average Interconnection Length and Interconnection Distribution Based on Rent’s Rule (CVG, JAA), pp. 574–577.
DAC-1989-HedenstiernaJ #design #layout: The Use of Inverse Layout Trees for Hierarchical Design Rule Checking (NH, KOJ), pp. 508–512.
DAC-1989-Muller-GlaserB #approach #design #specification #using: An Approach to Intelligent Assistance for the Specification of ASIC Design Using Objects and Rules (KDMG, JB), pp. 472–477.
DAC-1989-WeninVCLG #layout #rule-based #verification: Rule-based VLSI Verification System Constrained by Layout Parasitics (JW, JV, MVC, JL, PG), pp. 662–667.
SIGMOD-1989-IoannidisS: Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.
SIGMOD-1989-NaughtonRSU #evaluation #performance: Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules (JFN, RR, YS, JDU), pp. 235–242.
CHI-1989-MackayMCRRC #how #lens #question: How do experienced information lens users use rules? (WEM, TWM, KC, RR, DR, SKC), pp. 211–216.
KR-1989-Drummond: Situated Control Rules (MD), pp. 103–113.
ML-1989-Buntine #classification #learning #using: Learning Classification Rules Using Bayes (WLB), pp. 94–98.
ML-1989-Danyluk #bias #induction #information management: Finding New Rules for Incomplete Theories: Explicit Biases for Induction with Contextual Information (APD), pp. 34–36.
ML-1989-GoodmanS #algorithm #induction #probability #set: The Induction of Probabilistic Rule Sets — The Itrule Algorithm (RMG, PS), pp. 129–132.
ML-1989-HilliardLRP #approach #classification #hybrid #learning #problem #scheduling: Learning Decision Rules for scheduling Problems: A Classifier Hybrid Approach (MRH, GEL, GR, MRP), pp. 188–190.
SEKE-1989-Chen #reuse: Rule Mapping and Expert Systems Reuse (ZC), pp. 54–57.
SEKE-1989-MurataY #petri net #realtime #rule-based: Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
OOPSLA-1989-Almarode #prototype #rule-based: Rule-Based Delegation for Prototypes (JA), pp. 363–370.
OOPSLA-1989-FentonB #named #object-oriented #simulation: Playground: An Object-Oriented Simulation System With Agent Rules for Children of All Ages (JF, KB), pp. 123–137.
ESEC-1989-Hausen #modelling #quality #rule-based: Rule-Based Handling of Software Quality and Productivity Models (HLH), pp. 376–394.
RTA-1989-Dauchet #linear #simulation #turing machine: Simulation of Turing Machines by a Left-Linear Rewrite Rule (MD), pp. 109–120.
RTA-1989-KapurZ #bibliography: An Overview of Rewrite Rule Laboratory (RRL) (DK, HZ), pp. 559–563.
RTA-1989-Snyder #algorithm #equation #generative #performance #set: Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E (WS), pp. 419–433.
RTA-1989-Vorobyov #induction: Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.
DAC-1988-TakashimaIKTSS #comparison #functional #morphism #rule-based: A Circuit Comparison System with Rule-Based Functional Isomorphism Checking (MT, AI, SK, TT, TS, JiS), pp. 512–516.
PODS-1988-ImielinskiN #algebra #logic programming #source code: Explicit Control of Logic Programs Through Rule Algebra (TI, SAN), pp. 103–116.
PODS-1988-ShmueliTZ #logic #set: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.
SIGMOD-1988-Lohman #functional #optimisation #query #representation: Grammar-like Functional Rules for Representing Query Optimization Alternatives (GML), pp. 18–27.
VLDB-1988-LeeFL #functional #implementation #interpreter #query: Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.
VDME-1988-Milne #proving: Proof Rules for VDM Statements (RM), pp. 318–336.
ML-1988-Helft #first-order #learning: Learning Systems of First-Order Rules (NH), pp. 395–401.
ML-1988-Tallis #rule-based: Tuning Rule-Based Systems to Their Environments (HT), pp. 8–14.
ALP-1988-Foret #logic: Rewrite Rule Systems for Modal Propositional Logic (AF), pp. 147–156.
ALP-1988-LiuL #fuzzy #horn clause #reasoning: Fuzzy Reasoning Based on F-Horn Clause Rules (DL, DL), pp. 214–222.
CADE-1988-Bezem #consistency #rule-based: Consistency of Rule-based Expert System (MB), pp. 151–161.
CADE-1988-KapurZ #named: RRL: A Rewrite Rule Laboratory (DK, HZ), pp. 768–769.
CADE-1988-ZhangK #first-order #proving #theorem proving #using: First-Order Theorem Proving Using Conditional Rewrite Rules (HZ, DK), pp. 1–20.
JICSCP-1988-AllenS88 #logic #multi #question: Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? (LEA, CSS), pp. 1609–1623.
JICSCP-1988-Levi88 #fixpoint #modelling #semantics: Models, Unfolding Rules and Fixpoint Semantics (GL), pp. 1649–1665.
JICSCP-1988-Subrahmanian88 #semantics #set: Intuitive Semantics for Quantitative Rule Sets (VSS), pp. 1036–1053.
DAC-1987-ChenC #compilation #design #independence: A Design Rule Independent Cell Compiler (JSJC, DYC), pp. 466–471.
DAC-1987-OdawaraHIYD #rule-based: A Rule-Based Placement System for Printed Wiring Boards (GO, TH, KI, TY, YD), pp. 777–785.
DAC-1987-WuWN #automation #design #representation #rule-based #verification: A Rule-Based Circuit Representation for Automated CMOS Design and Verification (CFEW, ASW, LMN), pp. 786–792.
PODS-1987-KarabegKPV #axiom #relational #transaction: Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.
SIGMOD-1987-Freytag #optimisation #query #rule-based: A Rule-Based View of Query Optimization (JCF), pp. 173–180.
SIGMOD-1987-GrayP #cpu #memory management: The 5 Minute Rule for Trading Memory for Disk Accesses and The 10 Byte Rule for Trading Memory for CPU Time (JG, GRP), pp. 395–398.
SIGMOD-1987-ZhangY #linear #recursion: A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule (WZ, CTY), pp. 345–356.
ICALP-1987-HowellR #equivalence #reachability: Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
ECOOP-1987-BecksteinGT #named #programming: FORK: A System for Object- and Rule-Oriented Programming (CB, GG, MT), pp. 253–264.
ICLP-1987-KanamoriH87 #logic programming #source code: Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.
LICS-1987-BachmairD #first-order #proving #theorem proving: Inference Rules for Rewrite-Based First-Order Theorem Proving (LB, ND), pp. 331–337.
RTA-1987-Kirchner #infinity #process #set: Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes (HK), pp. 180–191.
DAC-1986-AudeK #adaptation #database #design: A design rule database system to support technology-adaptable applications (JSA, HJK), pp. 510–516.
DAC-1986-Ghosh #approach #fault #functional #rule-based #simulation #verification: A rule-based approach to unifying functional and fault simulation and timing verification (SG), pp. 677–682.
DAC-1986-Larsen #analysis #clustering #data type #synthesis: Rules-based object clustering: a data structure for symbolic VLSI synthesis and analysis (RPL), pp. 768–777.
DAC-1986-SaitoSYK #array #logic #rule-based #synthesis: A rule-based logic circuit synthesis system for CMOS gate arrays (TS, HS, MY, NK), pp. 594–600.
PODS-1986-CosmadakisK #evaluation #parallel #query #recursion: Parallel Evaluation of Recursive Rule Queries (SSC, PCK), pp. 280–293.
SIGMOD-1986-Chen #approach #modelling #rule-based: A Rule-Based Object/Task Modelling Approach (QC), pp. 281–292.
SIGMOD-1986-FreytagG #query #relational #rule-based #source code: Rule-Based Translation of Relational Queries into Iterative Programs (JCF, NG), pp. 206–214.
SIGMOD-1986-HarandiSC #using: Rule Base Management Using Meta Knowledge (MTH, TS, SC), pp. 261–267.
VLDB-1986-KelloggOT #interface #optimisation: Optimizing the Rule-Data Interface in a KMS (CK, ABO, LT), pp. 42–51.
GG-1986-Jeffs #graph grammar #independence: Embedding Rule Independent Theory of Graph Grammars (JJ), pp. 299–308.
GG-1986-MoldovanP #analysis #graph grammar #parallel #rule-based #using: Parallelism analysis in rule-based systems using graph grammars (DIM, FPP), pp. 427–439.
POPL-1986-Hoover #attribute grammar: Dynamically Bypassing Copy Rule Chains in Attribute Grammars (RH), pp. 14–25.
CADE-1986-KapurSZ #named: RRL: A Rewrite Rule Laboratory (DK, GS, HZ), pp. 691–692.
CADE-1986-Lescanne: REVE a Rewrite Rule Laboratory (PL), pp. 695–696.
SLP-1986-Naughton86 #recursion: Redundancy in Function-Free Recursive Rules (JFN), pp. 236–245.
DAC-1985-BierP #algorithm #design #multi: An algorithm for design rule checking on a multiprocessor (GEB, ARP), pp. 299–304.
DAC-1985-SchefferS #abstraction #analysis: Hierarchical analysis of IC artwork with user defined abstraction rules (LS, RS), pp. 293–298.
VLDB-1985-JarkeLS #integration: Data Constructors: On the Integration of Rules and Relations (MJ, VL, JWS), pp. 227–240.
POPL-1985-HalpernWWW #semantics: Denotational Semantics and Rewrite Rules for FP (JYH, JHW, ELW, TCW), pp. 108–120.
ICSE-1985-Lee #execution #modelling #on the #prototype #rule-based: On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
RTA-1985-DetlefsF #automation #proving #set #termination: A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules (DD, RF), pp. 255–270.
DAC-1984-ChapmanC #approach #case study #design #experience: The scan line approach to design rules checking: Computational experiences (PTC, KCJ), pp. 235–241.
DAC-1984-KaneS #design: A systolic design rule checker (RK, SS), pp. 243–250.
DAC-1984-TaylorO #incremental: Magic’s incremental design-rule checker (GST, JKO), pp. 160–165.
STOC-1984-SleatorT #performance: Amortized Efficiency of List Update Rules (DDS, RET), pp. 488–492.
SIGIR-1984-FuhrK #automation #evaluation #retrieval #rule-based: Retrieval Test Evaluation of a Rule Based Automatic Index (AIR/PHYS) (NF, GK), pp. 391–408.
POPL-1984-JouannaudK #equation #set: Completion of a Set of Rules Modulo a Set of Equations (JPJ, HK), pp. 83–92.
CADE-1984-JouannaudM #equation #set #termination: Termination of a Set of Rules Modulo a Set of Equations (JPJ, MM), pp. 175–193.
SLP-1984-AponteFR84 #editing #first-order #proving: Editing First-Order Proofs: Programmed Rules vs Derived Rules (MVA, JAF, PR), pp. 92–98.
DAC-1983-Bhavsar #algorithm #calculus #design: Design For Test Calculus: An algorithm for DFT rules checking (DKB), pp. 300–307.
DAC-1983-Ehr #automation #design: Position paper role of technology design rules in Design Automation (GJVE), p. 395.
DAC-1983-Heilweil: Technology rules- the other side of technology dependent code (MFH), p. 389.
DAC-1983-Reinke #design #perspective: Technology design rules — a user’s perspective (TRR), p. 394.
PODS-1983-Mitchell #dependence #functional: Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.
SIGIR-1983-Pollitt #approach #rule-based: End User Touch Searching for Cancer Therapy Literature: A Rule-Based Approach (ASP), pp. 136–145.
DAC-1982-ArnoldO #approach #geometry #layout #named: Lyra: A new approach to geometric layout rule checking (MHA, JKO), pp. 530–536.
DAC-1982-EustaceM #approach #automaton #design #finite: A Deterministic finite automaton approach to design rule checking for VLSI (RAE, AM), pp. 712–717.
DAC-1982-Seiler #architecture #design #hardware: A hardware assisted design rule check architecture (LS), pp. 232–238.
ICALP-1982-Blum #context-free grammar #on the #power of: On the Power of Chain Rules in Context Free Grammars (NB), pp. 72–82.
GG-1982-FurtadoV #database #specification: Specification of data bases through rewriting rules (ALF, PASV), pp. 102–114.
DAC-1981-Corbin: Custom VLSI electrical rule checking in an intelligent terminal (LVC), pp. 696–701.
DAC-1981-Hlynka #design: A simulator to replace wire rules for high speed computer design (AH), pp. 113–117.
DAC-1980-McGrathW #design #layout #verification: Design integrity and immunity checking: A new look at layout verification and design rule checking (EJM, TW), pp. 263–268.
SDCG-1980-Watt #parsing: Rule splitting and attribute-directed parsing (DAW), pp. 363–392.
CADE-1980-BundyW #algebra #multi #using: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation (AB, BW), pp. 24–38.
DAC-1979-BennettSC #design #editing #interactive: Dynamic design rule checking in an interactive printed circuit editor (TCB, KRS, WMvC), pp. 330–336.
DAC-1978-AgerwalaC #concurrent #synthesis: A synthesis rule for concurrent systems (TA, YCCA), pp. 305–311.
DAC-1978-WilcoxRC #design #verification: Design rule verification based on one dimensional scans (PSW, HR, DMC), pp. 285–289.
ICSE-1978-DershowitzM: Inference Rules for Program Annotation (ND, ZM), pp. 158–167.
DAC-1977-GodoyFB #automation #design #logic #testing: Automatic checking of logic design structures For compliance with testability ground rules (HCG, GBF, PSB), pp. 469–478.
DAC-1976-BuntineP #analysis #design: Design rule checking and analysis of IC mask designs (WLB, BP), pp. 301–308.
ICALP-1976-Kroger #logic #reasoning #source code: Logical Rules of Natural Reasoning about Programs (FK), pp. 87–98.
VLDB-1975-FernandezSL #data transformation #evaluation: Definition and Evaluation of Access Rules in Data Management Systems (EBF, RCS, TL), pp. 268–285.
SOSP-1975-CoffmanM #scheduling: Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands (EGCJ, IM), pp. 187–191.
DAC-1974-RosenbergB #design #named: CRITIC — an integrated circuit design rule checking program (LMR, CB), pp. 14–18.
ICALP-1974-PaciniMT #graph #recursion #representation: Graph Representation and Computation Rules for Typeless Recursive Languages (GP, CM, FT), pp. 157–169.
ICALP-1972-HitchcockP #induction #proving #termination: Induction Rules and Termination Proofs (PH, DMRP), pp. 225–251.
DAC-1969-Radke #predict: A justification of, and an improvement on, a useful rule for predicting circuit-to-pin ratios (CER), pp. 257–267.