Search results for "inference mechanisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kenneth W. Fertig, John S. Breese	Probability Intervals Over Influence Diagrams.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation
2	Ethan Blanton, Sonia Fahmy, Greg N. Frederickson	On the Utility of Inference Mechanisms.	ICDCS	2009	DBLP DOI BibTeX RDF
2	Yi Lu, Ramesh Jain	Reasoning About Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector
2	Gruia-Catalin Roman	Formal Specification of Geographic Data Processing Requirements.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation
1	Ethan Blanton, Sonia Fahmy, Greg N. Frederickson, Sriharsha Gangam	On the Cost of Network Inference Mechanisms.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	delay inference, Internet measurement
1	Marenglen Biba, Stefano Ferilli, Floriana Esposito	Towards Multistrategic Statistical Relational Learning.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
1	Sofia J. Athenikos, Hyoil Han, Ari D. Brooks	A framework of a logic-based question-answering system for the medical domain (LOQAS-Med).	SAC	2009	DBLP DOI BibTeX RDF	semantic text mining, natural language processing, question answering, description logics, biomedical informatics
1	Guanfeng Liu, Yan Wang 0002, Mehmet A. Orgun	Trust Inference in Complex Trust-Oriented Social Networks.	CSE	2009	DBLP DOI BibTeX RDF
1	Conrad Drescher, Stephan Schiffel, Michael Thielscher	A Declarative Agent Programming Language Based on Action Theories.	FroCos	2009	DBLP DOI BibTeX RDF
1	Yingxu Wang	The cognitive processes of analysis and synthesis in formal inferences.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
1	Luis Quintano, Irene Pimenta Rodrigues	Question/Answering Clarification Dialogues.	MICAI	2008	DBLP DOI BibTeX RDF
1	Timo Horeis, Bernhard Sick	Collaborative Knowledge Discovery & Data Mining: From Knowledge to Experience.	CIDM	2007	DBLP DOI BibTeX RDF
1	Peter Graubmann, Mikhail Roshchin	Semantic Modelling in Agent-Based Software Development.	AIS-ADM	2007	DBLP DOI BibTeX RDF	Agent-based Software Development, Semantic Web Techniques, Semantic Modelling, Heterogeneous environments
1	Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro	Inference of abduction theories for handling incompleteness in first-order learning.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Incomplete knowledge, Inductive Logic Programming, Abduction
1	Oliviero Stock, Massimo Zancanaro, Paolo Busetta, Charles B. Callaway, Antonio Krüger, Michael Kruppa, Tsvi Kuflik, Elena Not, Cesare Rocchi	Adaptive, intelligent presentation of information for the museum visitor in PEACH.	User Model. User-Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Adaptive mobile guides, Personalized information presentation, Personal visit report, Multimodal user interfaces
1	Peter Graubmann, Mikhail Roshchin	Semantic Annotation of Software Components.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Cícero Costa Quarto, Sofiane Labidi, Patrícia Augustin Jaques	Inferring Socio-Affective Factors and Cooperation Capacity in Computer Assisted Collaborative Teaching/Learning Environments.	ICALT	2006	DBLP DOI BibTeX RDF
1	Zheng-Hua Tan	Fuzzy Metagraph and Its Combination with the Indexing Approach in Rule-Based Systems.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	information retrieval, knowledge representation, rule-based systems, fuzzy reasoning, Fuzzy graphs
1	Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo	Generic Association Rule Bases: Are They so Succinct?.	CLA	2006	DBLP DOI BibTeX RDF
1	J. P. Aubert, Jean-François Baget, Michel Chein	Simple Conceptual Graphs and Simple Concept Graphs.	ICCS	2006	DBLP DOI BibTeX RDF
1	Luis Quintano, Irene Pimenta Rodrigues	Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language.	ICLP	2006	DBLP DOI BibTeX RDF
1	Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki	Inference Mechanisms for Knowledge Management System in E-health Environment.	Software Engineering: Evolution and Emerging Technologies	2005	DBLP BibTeX RDF
1	Amit Sethi, Mandar Rahurkar, Thomas S. Huang	Variable module graphs: a framework for inference and learning in modular vision systems.	ICIP	2005	DBLP DOI BibTeX RDF
1	Pericles A. Mitkas	Knowledge Discovery for Training Intelligent Agents: Methodology, Tools and Applications.	AIS-ADM	2005	DBLP DOI BibTeX RDF
1	Vincent Vidal, Hector Geffner	Solving Simple Planning Problems with More Inference and No Search.	CP	2005	DBLP DOI BibTeX RDF
1	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito	Automatic Induction of Abduction and Abstraction Theories from Observations.	ILP	2005	DBLP DOI BibTeX RDF
1	Anastasiya Sotnykova, Christelle Vangenot, Nadine Cullot, Nacéra Bennacer, Marie-Aude Aufaure	Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
1	Patrick Lehti, Peter Fankhauser	XML Data Integration with OWL: Experiences and Challenges.	SAINT	2004	DBLP DOI BibTeX RDF
1	José Oscar Olmedo-Aguirre, Karina Escobar-Vázquez, Giner Alor-Hernández, Guillermo Morales-Luna	ADM: An Active Deductive XML Database System.	MICAI	2004	DBLP DOI BibTeX RDF	XML, Semantic Web, Deductive Databases, Active Databases
1	Katia P. Sycara	From the "Eyeball" Web to the Transaction Web.	CoopIS/DOA/ODBASE	2003	DBLP DOI BibTeX RDF
1	Liana Razmerita, Albert A. Angehrn, Alexander Maedche	Ontology-Based User Modeling for Knowledge Management Systems.	User Modeling	2003	DBLP DOI BibTeX RDF
1	Michael Gelfond	Representing Knowledge in A-Prolog.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Marzena Kryszkiewicz	Concise Representations of Association Rules.	Pattern Detection and Discovery	2002	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Peter Leven	Directed Automated Theorem Proving.	LPAR	2002	DBLP DOI BibTeX RDF
1	Amalia Todirascu, Laurent Romary, Dalila Bekhouche	Vulcain - An Ontology-Based Information Extraction System.	NLDB	2002	DBLP DOI BibTeX RDF
1	Ryan L. Albuquerque, Jomi Fred Hübner, Gustavo de Paula, Jaime Simão Sichman, Geber Ramalho	KSACI: A Handheld Device Infrastructure for Agents Communication.	ATAL	2001	DBLP DOI BibTeX RDF
1	Vincenzo Pallotta, Afzal Ballim	Agent-Oriented Language Engineering for Robust NLP.	ESAW	2001	DBLP DOI BibTeX RDF
1	Sándor Jenei	Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited.	SOFSEM	2001	DBLP DOI BibTeX RDF	Sparse rule base, Interpolation/extrapolation of fuzzy rules, Knowledge-based systems, Expert system, Fuzzy sets, Fuzzy control, Inference, Approximate reasoning
1	Sándor Jenei	Interpolation and extrapolation of fuzzy quantities revisited-an axiomatic approach.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Fuzzy quantity, (linear) Interpolation/extrapolation, Sparse rule-base, Expert system, Fuzzy control, Approximate reasoning
1	Alvaro A. A. Fernandes	Combining Inductive and Deductive Inference in Knowledge Management Tasks. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	deductive inference, information supply, knowledge information and data engine, logic programming, inference mechanisms, virtual organizations, knowledge creation, inductive inference, distributed knowledge management
1	Yang Song, Pietro Perona	A Computational Model for Motion Detection and Direction Discrimination in Humans. (PDF / PS)	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	direction discrimination, biological motion, joint probability density function, human motion perception, computer vision, learning (artificial intelligence), learning, probability, computational model, inference mechanisms, motion detection, biology computing, statistical inference, image motion analysis, psychophysics experiments, quantitative models
1	Mun Choon Chan, Yow-Jian Lin, Xin Wang	A Scalable Monitoring Approach for Service Level Agreements Validation. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system
1	Lucas Bordeaux, Frédéric Benhamou	Automated reasoning on monotonic constraints.	ICTAI	2000	DBLP DOI BibTeX RDF	monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling
1	Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda	Implementing an action language using a SAT solver.	ICTAI	2000	DBLP DOI BibTeX RDF	planning algorithms, plan search space, planning graph, SAT planning, AMP, domain description, Java, Java, data structures, data structure, planning (artificial intelligence), computability, inference mechanisms, satisfiability problem, SAT solver, reasoning about action, model generation, action language
1	John R. Surdu, John M. D. Hill, Udo W. Pooch	Anticipatory Planning Support System.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
1	Amalia Todirascu, François de Bertrand de Beuvron, Dan Gâlea, Bernard Keith, François Rousselot	Using Semantics for Efficient Information Retrieval.	NLDB	2000	DBLP DOI BibTeX RDF
1	Franz Baader, Klaus U. Schulz	Combining Constraint Solving.	CCL	1999	DBLP BibTeX RDF
1	Leo Bachmair, Harald Ganzinger	Ordered Chaining Calculi for First-Order Theories of Transitive Relations.	J. ACM	1998	DBLP DOI BibTeX RDF	chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic
1	Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung	Formal verification of the correctness in hybrid expert systems.	KES	1997	DBLP DOI BibTeX RDF
1	Daniel Moldt, Frank Wienberg	Multi-Agent-Systems Based on Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Distributed Object-Orientation, Multi-Agent-System, Coloured Petri Net, Distributed Artificial Intelligence, Agent-Oriented Programming
1	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Completeness for Linear Regular Negation Normal Form Inference Systems.	ISMIS	1997	DBLP DOI BibTeX RDF	tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
1	David R. Smith	Hardware Synthesis From Encapsulated Verilog Modules.	ASAP	1996	DBLP DOI BibTeX RDF	encapsulated Verilog modules, Verilog writing style, code complexity, automatic inference of control, low level simulation, computational complexity, logic design, inference mechanisms, hardware description languages, hardware synthesis, control points, clock cycle
1	Susumu Tsuhara	RDB structure chart display using fuzzy rules. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	RDB structure chart display, information network users, table structures, high quality structure chart, fuzzy logic, relational databases, relational database, graphical user interfaces, graphical user interface, inference mechanisms, fuzzy rules, fuzzy inference, end user computing
1	Herman Akdag, Myriam Mokhtari	Approximative Conjunctions Processing by Multi-Valued Logic. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	conjunctions processing, neighbourhood degree, knowledge based systems, knowledge base, inference mechanisms, multivalued logic, production rule, multi-valued logic
1	S. Lehmke	Weight Structures for Approximate Reasoning with Weighted Expressions. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	weight structures, weighted expressions, fundamental relations model, semantic consequence, fuzzy logic, inference mechanisms, multivalued logic, many-valued logic, approximate reasoning, uncertainty handling
1	Lotfi A. Zadeh	Inference in Fuzzy Logic via Generalized Constraint Propagation. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words
1	Horst Zuse	Foundations of object-oriented software measures.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers
1	J. M. Arran, M. H. Saeedi, B. Steele	Configuring a parallel knowledge engine.	ANNES	1995	DBLP DOI BibTeX RDF	parallel knowledge engine, run-time processing, processor network, hierarchy clustering, Sheffield Parallel Inference Knowledge Engine, parallel processing, parallel processing, resource allocation, knowledge based systems, knowledge-base systems, time, computational model, knowledge engineering, inference mechanisms, research, software performance evaluation, communication overhead, speed
1	Shin Nakamura, Eiji Uchino, Takeshi Yamakawa	Fuzzy reasoning method for smooth interpolation.	ANNES	1995	DBLP DOI BibTeX RDF	smooth interpolation, fuzzy reasoning method, neighboring data, data pairs, practical data, simulation, interpolation, digital simulation, inference mechanisms, fuzzy set theory, computer simulations, fuzzy rule, humans, fluctuation
1	Tarao Yanaru	An emotion processing system based on fuzzy inference and subjective observations.	ANNES	1995	DBLP DOI BibTeX RDF	emotion processing system, subjective observations, mixed emotions, mixed emotional words, simulated person, emotional change, subjective observation model, construction methodology, aggregated emotion, objective emotion, simulated emotion processing system, emotional transition, expanded emotional Dialog System, image codes, inference mechanisms, fuzzy set theory, psychology, fuzzy inference, uncertainty handling
1	Xudong He	A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
1	Bob Berry, Goksan Erdogan, Duarte Trigueiros	Rule induction for financial modelling and model interpretation.	HICSS	1995	DBLP DOI BibTeX RDF	model interpretation, financial data analysis tasks, post processing task, financial variables, ration scale, knowledge based systems, inference mechanisms, rule induction, modelling tool, model building, ID3, corporate modelling, financial modelling
1	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
1	William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi	A smart object approach to hybrid knowledge representation and reasoning strategies.	HICSS	1995	DBLP DOI BibTeX RDF	smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
1	Gregoris Mentzas, I. Linardopoulos, V. Assimakopoulos	An architechture for intelligent assistance in the forecasting process.	HICSS	1995	DBLP DOI BibTeX RDF	forecasting theory, forecasting process, decision-making tasks, inference procedures, knowledge-based techniques, statistical forecasting, generic forecasting process, Intelligent Forecasting Information System, IFIS, process expert, learning expert, data expert, model expert, knowledge representation, knowledge representation, decision support systems, decision support systems, expert systems, inference mechanisms, intelligent assistance, expertise modelling
1	V. Srinivasan Rao	The implementation of satellite offices: initial recommendations based on observations from one site.	HICSS	1995	DBLP DOI BibTeX RDF	satellite offices implementation, initial recommendations, job redesign, cost-benefit relationships, inferences, inference mechanisms, video conferencing, change management, teleconferencing, office automation, teleworking, social aspects of automation, interactional patterns, information gathering, communication technologies, coordination systems
1	Fengrong Ren, Hiroshi Tanaka, Noria Fukuda, Takashi Gojobori	Molecular evolutionary phylogenetic trees based on minimum description length principle.	HICSS	1995	DBLP DOI BibTeX RDF	molecular evolutionary phylogenetic trees, minimum complexity phylogenetic tree, branch lengths, logarithmic likelihood, mitochondrial DNA sequences, complexity, trees (mathematics), inference mechanisms, DNA, genetics, biology computing, inductive inference, minimum description length principle, tree topology
1	Stephen F. Roehrig	Incompletely specified probabilistic networks.	HICSS	1995	DBLP DOI BibTeX RDF	incompletely specified probabilistic networks, AI, decision support systems, DSS, inference mechanisms, uncertainty handling, conditional probabilities, probabilistic logic, random variables, logical models
1	Ning Zhong, Setsuo Ohsuga	Managing/refining structural characteristics discovered from databases.	HICSS	1995	DBLP DOI BibTeX RDF	structural characteristics management, structural characteristics refinement, automatic knowledge discovery, large knowledge bases, erroneous data, hypothesis generation, hypothesis evaluation, Inheritance Inference Based Refinement, Global Learning Scheme, Knowledge Oriented Statistic Inference, KAUS knowledge-based system, IIBR subsystem, GLS discovery system, KOSI subsystem, learning (artificial intelligence), databases, data structures, knowledge based systems, inheritance, deductive databases, error analysis, error analysis, inference mechanisms, heuristic programming, regression models, model representation, deductive rules
1	Yuntao Cui, Daniel L. Swets, Juyang Weng	Learning-Based Hand Sign Recognition Using SHOSLIF-M. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	SHOSLIF-M, self-organizing framework, learning-based hand sign recognition, spatiotemporal event recognition, spatiotemporal event learning, intensity image sequences, multiclass multivariate discriminant analysis, most discriminating features, space partition tree, logarithmic retrieval time complexity, interpolation scheme, view inference, computer vision, computational complexity, database, object recognition, interpolation, generalization, image sequences, patterns, image recognition, inference mechanisms, learning systems, generalisation (artificial intelligence), recognition rate, multivariable systems, self-adjusting systems
1	John Krumm, Steven A. Shafer	Texture Segmentation and Shape in the Same Image. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	uniformly textured surfaces, 3D shape inference, 3D effects, region-growing algorithm, image spectrogram, local surface normals, local frequency domain, image segmentation, inference mechanisms, image texture, texture segmentation, image understanding, shape-from-texture, shape segmentation, 3D scenes
1	O. T. Akindele, Abdel Belaïd	Construction of generic models of document structures using inference of tree grammars. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	tree grammar inference, document class, generic constructors, logically labeled specific structures, document image processing, inference mechanisms, graph grammars, document structures
1	Osamu Hori, David S. Doermann	Robust table-form structure analysis based on box-driven reasoning. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	robust table form structure analysis, box driven reasoning, table form document structure analysis, document processing domain, broken lines, BDR, data structures, character recognition, document image processing, inference mechanisms, document images, touching characters
1	Wei Lu, Wei Wu, Masao Sakauchi	A drawing recognition system with rule acquisition ability. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	drawing recognition system, rule acquisition ability, empirical learning module, teacher examples, environmental parameters, decision tree generation, CAD, decision trees, knowledge based systems, image recognition, inference mechanisms, learning by example, blackboard architecture, engineering graphics
1	Debashish Niyogi, Sargur N. Srihari	Knowledge-based derivation of document logical structure. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	document logical structure, spatial domain knowledge, document logical structure derivation, rule-based control strategy, multi-level knowledge base, document layout rules, DeLoS, block classification, read-ordering operations, document image data, incremental inferences, knowledge based systems, knowledge-based, grouping, inferences, document image processing, inference mechanisms, document image, document layout, symbolic description
1	Dit-Yan Yeung	A grammatical inference approach to on-line handwriting modeling and recognition: a pilot study. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	on-line handwriting modeling, discrete-time recurrent neural network, subgrammar network models, temporal sequence processing, handwriting recognition, unsupervised learning, inference mechanisms, grammatical inference, temporal sequences
1	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
1	Thierry Carron, Patrick Lambert	Fuzzy color edge extraction by inference rules quantitative study and evaluation of performances. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	fuzzy color edge extraction, inference rules quantitative study, hue saturation intensity, HSI space, color edge detection, performances, fuzzy logic, edge detection, inference mechanisms, image colour analysis, synthetic images, noise sensitivity, fuzzy if-then rules, edges localization
1	Fabrizio Russo, Giovanni Ramponi	An image enhancement technique based on the FIRE operator. (PDF / PS)	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
1	Liusheng Liu, Zhijian Li, Bingxue Shi	Segment Matrix Vector Quantization and Fuzzy Logic for Isolated-Word Speech Recognition. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	segment matrix vector quantization, isolated word speech recognition, isolated-word speech recognition, speech recognition approach, SMVQ, time sequence information, segment characteristics, feature vector sequences, nonlinearly normalized, speaker independent isolated digit recognition, fuzzy logic, fuzzy logic, speech recognition, inference mechanisms, matrix algebra, fuzzy reasoning, vector quantisation, quantization error, VQ, speech signal, recognition accuracy
1	Wendy MacCaull	Finite Algebraic Models for Residuated Logic. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
1	Giuseppe Ascia, Giuseppe Ficili, Daniela Panno	Design of a VLSI fuzzy processor for ATM traffic sources management. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	VLSI fuzzy processor, ATM traffic sources management, traffic arrival, policing mechanism, fuzzy logic, Fuzzy Logic, asynchronous transfer mode, ATM networks, inference mechanisms, traffic control, fuzzy inferences, telecommunication congestion control, bottleneck, policing
1	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
1	Jürgen Landauer, Masahito Hirakawa	Visual AWK: A Model for Text Processing by Demonstration. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	Visual AWK, control structure inference, user-intended generalization, vertical demonstration, pattern-action paradigm, spreadsheet metaphor, usability, feedback, visual programming, visual languages, inference mechanisms, programming-by-demonstration, program visualization, generalisation (artificial intelligence), expressive power, text processing, word processing, visual feedback, visual programming language, spreadsheet programs
1	Henry Lieberman	The Visual Language of Experts in Graphic Design. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	graphic design experts, visual problem solving experts, computer-based image-editing tools, inference techniques, design professionals, informal knowledge engineering study, design communication, beginning designer teaching, knowledge acquisition system, computer graphics, knowledge acquisition, visual languages, visual language, problem solving, inference mechanisms, student, graphic designers, computer aided instruction, intelligent assistance, novices, learning by example, books, design knowledge, graphical editors, artificial intelligence techniques, intelligent design assistants, learning techniques
1	Giuseppe Ascia, Vincenzo Catania	Design of a VLSI parallel processor for fuzzy computing.	VLSI Design	1995	DBLP DOI BibTeX RDF	VLSI parallel processor, fuzzy computing, /spl alpha/-level sets theory, memory resources, processing units, 50 MHz, scalability, VLSI, parallelism, fuzzy logic, parallel architectures, inference mechanisms, fuzzy set theory, integrated circuit design, microprocessor chips, membership functions, fuzzy inferences, clock frequency, 8 bit
1	Mauro Gaspari, Enrico Motta, Arthur Stutt	An Open Framework for Cooperative Problem Solving. (PDF / PS)	IEEE Expert	1995	DBLP DOI BibTeX RDF
1	Bruce A. Draper, Carla E. Brodley, Paul E. Utgoff	Goal-Directed Classification Using Linear Machine Decision Trees.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	goal-directed classification, linear machine decision trees, feature-based classification, nonparametric classification, linear machine decision tree, multivariate decision tree induction, misclassification cost functions, image understanding systems, pattern recognition, computer vision, trees (mathematics), inference mechanisms, decision theory, learning systems, pixel classification, inference algorithms
1	Lotfi A. Zadeh	Soft Computing and Fuzzy Logic.	IEEE Software	1994	DBLP DOI BibTeX RDF	low solution cost, human mind, software engineering, software engineering, fuzzy logic, fuzzy logic, robustness, uncertainty, neural nets, inference mechanisms, soft computing, probabilistic reasoning, uncertainty handling, tractability, imprecision, neurocomputing, software methodologies
1	Jiro Naganuma, Takeshi Ogura	A Highly OR-Parallel Inference Machine (Multi-ASCA) and Its Performance Evaluation: An Architecture and Its Load Balancing Algorithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	highly OR-parallel inference machine, Multi-ASCA, serial I/O links, modified mesh network, high-speed sequential Prolog processor, locally controlled activity, software simulator, inference tree, OR-parallel benchmarks, n-queens problem, copying method, high-performance artificial intelligence system, nonshared memory multiprocessor system, 20 Mbit/s, performance evaluation, performance evaluation, VLSI, resource allocation, parallel architectures, parallel architecture, virtual machines, PROLOG, parallel machines, inference mechanisms, trace-driven simulation, communication overhead, processing elements, local memory, local communication, load balancing algorithms
1	Jun Gu	Global Optimization for Satisfiability (SAT) Problem.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	global optimization algorithms, VLSI engineering, DNF local search methods, Universal SAT problem model, UniSAT, discrete SAT problem, Boolean space, unconstrained global optimization problem, real space, direct correspondence, global minimum point, backtracking/resolution procedures, optimisation, inference, inference mechanisms, search problems, automated reasoning, formal logic, CNF, conjunctive normal form, computing theory, satisfiability problem, SAT problem, mathematical logic
1	Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly	A Fuzzy Reasoning Database Question Answering System.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	database question answering system, pertinent information, comment evaluation, fuzzy evaluator, fuzzy membership value, subject relationship, IBM 4381 computer systems, bookkeeping, functional changes, database evaluation, fuzzy logic, fuzzy logic, query processing, applicability, fuzzy sets, deductive databases, inference mechanisms, fuzzy set theory, membership functions, approximate reasoning, fuzzy reasoning, uncertainty handling, software development cycle
1	Chengqi Zhang	Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous transformation, uncertainties of propositions, inexact reasoning models, general criteria, heterogeneous distributed expert system, heterogeneous inexact reasoning, individual unit elements, homomorphic mapping, unique mapping, EMYCIN, PROSPECTOR, MYCIN, homomorphic transformations, distributed processing, expert systems, inference mechanisms, fuzzy set theory, uncertainty handling, semigroup, algebraic structure
1	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
1	Mic Bowman, Saumya K. Debray, Larry L. Peterson	Reasoning About Naming Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	descriptive naming systems, inference mechanisms
1	Raj Bhatnagar, Laveen N. Kanal	Structural and Probabilistic Knowledge for Abductive Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	structural knowledge, qualitative relationships learning, probabilistic knowledge, learning (artificial intelligence), knowledge engineering, inference mechanisms, explanation, probabilistic logic, abductive reasoning, conditional entropy
1	Paul Dagum, R. Martin Chavez	Approximating Probabilistic Inference in Bayesian Belief Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	probabilistic inference approximation, stochastic simulation algorithm, D-BNRAS, reasoning, polynomial, polynomials, inference mechanisms, Bayes methods, Bayesian belief networks, uncertainty handling, conditional probabilities, probabilistic logic, belief maintenance
1	Robert P. Goldman, Eugene Charniak	A Language for Construction of Belief Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	belief network construction language, directed acyclic graph representations, FRAIL3, forward-chaining language, conditional probability matrices, directed graphs, deductive databases, inference mechanisms, probability distributions, probabilistic reasoning, probabilistic logic, logic programming languages
1	Kristian G. Olesen	Causal Probabilistic Networks with Both Discrete and Continuous Variables.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	discrete variables, causal probabilistic networks, expert system shell, handling uncertainty by general influence networks, HUGIN, continuous variables, linear additive normally distributed variables, expert systems, knowledge acquisition, knowledge acquisition, inference mechanisms, belief revision, probabilistic reasoning, uncertainty handling
1	José Oncina, Pedro Garcia, Enrique Vidal	Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning