BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (303)
associ (178)
system (145)
use (143)
mine (132)

Stem rule$ (all stems)

1254 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.