Search results for "rulebase"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Lynn Choi, Jaesung Heo, Hyogon Kim, Jinoo Joung, Sunil Kim	Scalable Packet Classification through Maximum Entropy Hashing.	NETWORKING	2004	DBLP DOI BibTeX RDF
87	Sean M. Callahan, Gerard Voland	Extracting knowledge from examples: Induction of heuristic rules for wheelchair prescription.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Wheelchair prescription, equipment selection, machine learning, expert system, induction, rehabilitation, ID3
80	Frans Coenen	Rulebase Checking Using a Spatial Representation.	DEXA	1998	DBLP DOI BibTeX RDF
73	Ruck Thawonmas, Syota Osaka	A method for online adaptation of computer-game AI rulebase.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	computer controlled characters, dynamic scripting, rulebase, computer games, game design
70	Gou Masuda, Norihiro Sakamoto, Ryuichi Yamamoto	A Framework for Dynamic Evidence Based Medicine using Data Mining.	CBMS	2002	DBLP DOI BibTeX RDF
52	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
52	Scott Dick, Wladimir Rodriguez, Abraham Kandel	A granular counterpart to the gradient operator.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Linguistic gradient, Granular computing, Qualitative reasoning, Computing with words, Linguistic variables
52	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
52	Tandra Pal 0001	Evolutionary Approaches to Rule Extraction for Fuzzy Logic Controllers.	AFSS	2002	DBLP DOI BibTeX RDF
45	Ziv Nevo	User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
45	Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal	RuleBase: Model Checking at IBM.	CAV	1997	DBLP DOI BibTeX RDF
45	Francis K. H. Quek, Meide Zhao	Inductive learning in hand pose recognition.	FG	1996	DBLP DOI BibTeX RDF	hand pose recognition, gestural systems, user hand anatomy, perspective effects, rulebase, disjunctive normal form formulae, rule-based induction system, flexible matching, inductive learning, learning by example
45	Fabrizio Russo 0001, Giovanni Ramponi	An image enhancement technique based on the FIRE operator.	ICIP	1995	DBLP DOI BibTeX RDF	image enhancement technique, FIRE operator, fuzzy logic approach, fuzzy inference ruled by else-action, nonlinear operators, image data processing, smoothing rules, sharpening rules, very small rulebase, performance, fuzzy logic, image enhancement, inference mechanisms, image quality, fuzzy rules, smoothing methods
35	Özge Uncu, Kemal Kilic, I. Burhan Türksen	A new fuzzy inference approach based on Mamdani inference using discrete type 2 fuzzy sets.	SMC (3)	2004	DBLP DOI BibTeX RDF
35	Tomasz Imielinski, Aashu Virmani	DataMine - Interactive Rule Discovery System.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
28	Jörg Verstraete, Weronika Radziszewska	Rulebase construction using variables with data-dependent domains.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
28	Brigita Sziová, Raneem Ismail, Ferenc Lilik, László T. Kóczy, Szilvia Nagy	Fuzzy rulebase parameter determination for stabilized KH interpolation based detection of colorectal polyps on colonoscopy images.	FUZZ-IEEE	2020	DBLP DOI BibTeX RDF
28	AnnMarie Ericsson, Mikael Berndtsson, Jonas Mellin	Active Database Rulebase.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
28	Jörg Verstraete	A Fuzzy Rulebase Approach to Remap Gridded Spatial Data: Initial Observations.	IPMU (1)	2014	DBLP DOI BibTeX RDF
28	Amjad Gawanmeh, Sofiène Tahar	Real time verification of firewalls with dynamic rulebase update.	CCECE	2014	DBLP DOI BibTeX RDF
28	Gen Zou	GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning.	Challenge+DC@RuleML	2014	DBLP BibTeX RDF
28	Jörg Verstraete	Automatically Identifying Suitable Rulebase Parameters in the Context of Solving the Map Overlay Problem.	IEEE Conf. on Intelligent Systems (2)	2014	DBLP DOI BibTeX RDF
28	Jörg Verstraete	Parameters to use a fuzzy rulebase approach to remap gridded spatial data.	IFSA/NAFIPS	2013	DBLP DOI BibTeX RDF
28	Adam Ghandar, Zbigniew Michalewicz	An experimental study of Multi-Objective Evolutionary Algorithms for balancing interpretability and accuracy in fuzzy rulebase classifiers for financial prediction.	CIFEr	2011	DBLP DOI BibTeX RDF
28	Azuraliza Abu Bakar, Zuriyah Kefli, Salwani Abdullah, Mazrura Sahani	Predictive models for dengue outbreak using multiple rulebase classifiers.	ICEEI	2011	DBLP DOI BibTeX RDF
28	AnnMarie Ericsson, Mikael Berndtsson, Jonas Mellin	Active Database Rulebase.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
28	Lynn Choi, Hyogon Kim, Sunil Kim, Moon Hae Kim	Scalable packet classification through rulebase partitioning using the maximum entropy hashing.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF
28	Ricardo Linden, Amit Bhaya	Evolving a Fuzzy Rulebase to Model Gene Expression.	Fuzzy Systems in Bioinformatics and Computational Biology	2009	DBLP DOI BibTeX RDF
28	Chandan Chakraborty, Debjani Chakraborty	Fuzzy Linear and Polynomial Regression Modelling of 'if-Then' Fuzzy Rulebase.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2008	DBLP DOI BibTeX RDF
28	Giuseppe Contissa	Rulebase Technology and Legal Knowledge Representation.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	ALIS, Knowledge Representation, Rule-based system, copyright law
28	Hiroshi Ouchiyama, Runhe Huang, Jianhua Ma 0002	An Evolutionary Rulebase Based Multi-agents System.	Emergent Intelligence of Networked Agents	2007	DBLP DOI BibTeX RDF
28	Changman Son	Systematic strategy for choosing optimal membership function and fuzzy rulebase based on fuzzy entropy for intelligent control of robotic part assembly tasks.	J. Intell. Fuzzy Syst.	2006	DBLP BibTeX RDF
28	Shounak Roychowdhury, Bo-Hyeun Wang	Inconsistency in Fuzzy Rulebase: Measure and Optimization.	Int. J. Fuzzy Log. Intell. Syst.	2001	DBLP BibTeX RDF
28	Scott Dick, Adam Schenker, Mark Last, Horst Bunke, Abraham Kandel	Re-granulating a Fuzzy Rulebase.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
28	Bin Zhang, Liyun Xu, Jingcheng Wang, Huihe Shao	Fuzzy System With Adaptive Rulebase.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
28	Bin Zhang, Shenglong Dong, Jingcheng Wang, Jianmin Zhang, Huihe Shao	Getting complete rulebase from recorded data.	EUSFLAT Conf.	2001	DBLP BibTeX RDF
28	M. D. Barratt, J. J. Langowski	Validation and Subsequent Development of the Derek Skin Sensitization Rulebase by Analysis of the BgVV List of Contact Allergens.	J. Chem. Inf. Comput. Sci.	1999	DBLP DOI BibTeX RDF
28	Szilveszter Kovács, László T. Kóczy	Interpolation-based fuzzy logic controller, as a simplified way for constructing the fuzzy rulebase of the path tracking and collision avoidance strategy of an AGV.	SMC	1998	DBLP DOI BibTeX RDF
28	M'hamed Bouziane, Cheng Hsu	A Rulebase Management System Using Conceptual Rule Modeling.	Int. J. Artif. Intell. Tools	1997	DBLP DOI BibTeX RDF
28	Szilvester Kovácz, László T. Kóczy	Application of the Approximate Fuzzy Reasoning Based on Interpolation in the Vague Environment of the Fuzzy Rulebase in the Fuzzy Logic Controlled Path Tracking Strategy of Differential Steered AGVs.	Fuzzy Days	1997	DBLP DOI BibTeX RDF
28	Harvey J. Greenberg	The ANALYZE rulebase for supporting LP analysis.	Ann. Oper. Res.	1996	DBLP DOI BibTeX RDF
28		ACT-NET - The Active Database Management System Manifesto: A Rulebase of ADBMS Features.	SIGMOD Rec.	1996	DBLP DOI BibTeX RDF
28	Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver	RuleBase: An Industry-Oriented Formal Verification Tool.	DAC	1996	DBLP DOI BibTeX RDF
28	Klaus R. Dittrich, Stella Gatziu, Andreas Geppert	The Active Database Management System Manifesto: A Rulebase of ADBMS Features.	Rules in Database Systems	1995	DBLP DOI BibTeX RDF
28	Antonio Sala 0001, Jesús Picó	Analysis of Rulebase Coherence in fuzzy control Systems.	AIRTC	1994	DBLP DOI BibTeX RDF
28	M'hamed Bouziane, Cheng Hsu	A Rulebase Model for Data and Knowledge Integration in Multiple Systems Environments.	Int. J. Artif. Intell. Tools	1993	DBLP DOI BibTeX RDF
28	Chuen-Tsai Sun, Jyh-Shing Roger Jang	Using Genetic Algorithms in Structuring a Fuzzy Rulebase.	ICGA	1993	DBLP BibTeX RDF
27	David Vengerov	A reinforcement learning framework for online data migration in hierarchical storage systems.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Self-optimizing systems, Multi-tier storage, Fuzzy rulebase, Reinforcement learning, Markov decision process, Cost functions, Data migration
27	Nadine N. Tschichold-Gürman	Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet.	SAC	1995	DBLP DOI BibTeX RDF	Fuzzy Rule Net, fuzzy rulebase learning, fuzzy-neuro systems, incremental learning
27	Peter A. Stegmaier-Stracca, Nadine N. Tschichold-Gürman	Cough detection using fuzzy classification.	SAC	1995	DBLP DOI BibTeX RDF	Fuzzy Rule Net, cough detection, fuzzy rulebase learning, fuzzy signal interpretation, fuzzy-neuro systems, fuzzy classification
17	Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler	Explaining Counterexamples Using Causality.	CAV	2009	DBLP DOI BibTeX RDF
17	Karen Walzer, Tino Breddin, Matthias Groch	Relative temporal constraints in the Rete algorithm for complex event detection.	DEBS	2008	DBLP DOI BibTeX RDF	Rete algorithm, event, rule-based, temporal
17	Vijay S. Rajpurohit, M. M. Manohara Pai	An Optimized Fuzzy Based Short Term Object Motion Prediction for Real-Life Robot Navigation Environment.	VISUAL	2008	DBLP DOI BibTeX RDF	Short Term Motion Prediction, Rule base Optimization, Directional Space, Fuzzy Predictor Algorithm, Defuzzification, Fuzzy Rule base
17	Emmanuel Zarpas, Cindy Eisner, Sivan Tal	Policy Validation for System Automation: A Case Study.	POLICY	2008	DBLP DOI BibTeX RDF	Tivoli, TSA, formal verification, validation, policy, PSL
17	Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001	Reactivity in SystemC Transaction-Level Models.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
17	Pieter Spronck, Marc J. V. Ponsen, Ida G. Sprinkhuizen-Kuyper, Eric O. Postma	Adaptive game AI with dynamic scripting.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Dynamic scripting, Reinforcement learning, Computer game
17	Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi	Automated Online Monitoring of Distributed Applications through External Monitors.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	blackbox detection, temporal and combinatorial rules, Error detection, reliable multicast, monitor system
17	Minas Pertselakis, Andreas Stafylopatis	Exploiting Decision Trees in Product-based Fuzzy Neural Modeling to Generate Rules with Dynamically Reduced Dimensionality.	AIAI	2006	DBLP DOI BibTeX RDF
17	Michel François Valstar, Maja Pantic	Biologically vs. Logic Inspired Encoding of Facial Actions and Emotions in Video.	ICME	2006	DBLP DOI BibTeX RDF
17	Cindy Eisner	Formal verification of software source code through semi-automatic modeling.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Program verification, Software verification, Functional verification, Software model checking
17	Emmanuel Zarpas	A Case Study: Formal Verification of Processor Critical Properties.	CHARME	2005	DBLP DOI BibTeX RDF
17	Mamoru Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai	A modeling method of a rule based control system with hierarchical Petri net.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
17	Susie Stephens	Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences.	RuleML	2005	DBLP DOI BibTeX RDF
17	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
17	Akshay Mohan, Kalyanmoy Deb	Genetic-Fuzzy Approach in Robot Motion Planning Revisited: Rigorous Testing and towards an Implementation.	AFSS	2002	DBLP DOI BibTeX RDF
17	Magdalena D. Bugajska, Alan C. Schultz	Coevolution of Form and Function in the Design of Micro Air Vehicles.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
17	Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh	The Temporal Logic Sugar.	CAV	2001	DBLP DOI BibTeX RDF
17	Gero Presser	Personalization of Newsletters Using Multistage Fuzzy Inference.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
17	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists.	CAV	1999	DBLP DOI BibTeX RDF
17	David J. Russomanno	The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics.	COMPSAC	1995	DBLP DOI BibTeX RDF	AI Tools, Graphics Migration, AM/FM, PROLOG, Data Migration
17	Anthony J. Bonner	The Complexity of Reusing and Modifying Rulebases.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
17	Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis	Implementation of a Prolog-INGRES Interface.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	Prolog, INGRES