Search results for "Mechanisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	O. T. Akindele, Abdel Belaïd	Construction of generic models of document structures using inference of tree grammars.	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
11	Dit-Yan Yeung	A grammatical inference approach to on-line handwriting modeling and recognition: a pilot study.	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
11	Wei Lu, Wei Wu, Masao Sakauchi	A drawing recognition system with rule acquisition ability.	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
11	Osamu Hori, David S. Doermann	Robust table-form structure analysis based on box-driven reasoning.	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
11	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
11	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
11	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
11	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
11	Arantza Illarramendi, José Miguel Blanco 0001, Alfredo Goñi	Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	inconsistent query detection, empty answer, semantic query optimization methods, knowledge base definition, assertional knowledge, inequality expressions, database, query processing, knowledge based systems, knowledge base systems, optimisation, database management systems, semantic information, temporal information, semantic query optimization, structuring mechanisms, semantic knowledge
11	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
11	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
11	Lotfi A. Zadeh	Soft Computing and Fuzzy Logic.	IEEE Softw.	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
11	Sandeep N. Bhatt, Geppino Pucci, Abhiram G. Ranade, Arnold L. Rosenberg	Scattering and Gathering Messages in Networks of Processors.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	message scattering, messages gathering, networks of processors, trees of processors, noncolliding paths, queueing mechanisms, scheduling, distributed processing, multiprocessor interconnection networks, spanning trees, buffering
11	Charles H. Stapper	Improved Yield Models for Fault-Tolerant Memory Chips.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	fault-tolerant memory chips, defect-monitor data, redundant circuits, failure mechanisms, multivariate distributions, dynamic-random-access-memory, pragmatic approximation, fault tolerant computing, redundancy, DRAM chips, yield modeling, frequency distributions
11	Ronald F. DeMara, Dan I. Moldovan	The SNAP-1 Parallel AI Prototype.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	SNAP-1 parallel AI prototype, Semantic Network Array Processor, marker-propagation paradigm, natural languageunderstanding, multiprocessing clusters, dedicated communication units, tiered synchronization scheme, multiported memorynetwork, speech analysis andprocessing, knowledge representation, parallel architecture, parallel architectures, natural languages, reasoning, inference mechanisms, semantic networks, speech processing, digital signal processors, special purpose computers, parallelmachines
11	Brian R. Gaines, Paul Compton	Induction of Meta-knowledge about Knowledge Discovery.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	meta-knowledge induction, ripple-down rule induction, clinical data, thyroid diagnosis, inductive knowledge discovery, real-world data, Garvan thyroid database, rules with exceptions, medical administrative data processing, machine learning, learning (artificial intelligence), expert system, knowledge discovery, metamodel, meta-modeling, inference mechanisms, induct, error rates, medical diagnosis, medical diagnostic computing, medical expert systems
11	Giuseppe Di Battista, Maurizio Lenzerini	Deductive Entity-Relationship Modeling.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm
11	O. T. Satyanarayanan, Divyakant Agrawal	Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	replicated multiversion databases, replica control mechanisms, fault-tolerant distributed database, protocol, query processing, prototype, distributed databases, concurrency control, concurrency control, queries, transaction processing, response times, data replication, performance improvement, data availability, read-only transactions, update transactions
11	Goa Ji	Representing Inference Control by Hypothesis-Based Association.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies
11	Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu	Logical Inference of Horn Clauses in Petri Net Models.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
11	Dan I. Moldovan, Wing Lee, Changhwa Lin	Parallel Knowledge Processing in SNAP.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	semantic network array processor, highly parallel architecture, marker propagation architecture, reasoning mechanisms, simulator, classification, knowledge representation, parallel architectures, recognition, inheritance, reasoning, digital simulation, semantic networks, instruction set, instruction sets, Connection Machine, markers
11	Albert Croker, Vasant Dhar	A Knowledge Representation for Constraint Satisfaction Problems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	constraint-driven reasoner, control information, preference orderings, knowledge representation, knowledge representation, inference mechanisms, constraint satisfaction problems, constraint handling, Boolean expressions, dependency network
11	A. C. Cem Say, Selahattin Kuru	Improved Filtering for the QSIM Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	spurious predictions, qualitative simulation algorithm, interval corresponding values, inconsistent states, simulation, filtering, time complexities, inference mechanisms, filtering and prediction theory, space complexities, QSIM
11	Fatih Ulupinar, Ramakant Nevatia	Perception of 3-D Surfaces from 2-D Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	3D shape inference, 2D contours, parallel symmetries, surface orientation recovery, skew symmetries, zero Gaussian curvature, computer vision, image recognition, image recognition, inference mechanisms, machine vision
11	Michael P. Wellman, Max Henrion	Explaining 'Explaining Away'.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	causal explanation, general qualitative probabilistic analysis, intercausal reasoning, product synergy, qualitative probabilistic network, probabilistic belief, Occam's razor, probability, inference, inference mechanisms, explanation, uncertainty handling, belief maintenance
11	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
11	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
11	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
11	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
11	José Oncina, Pedro García 0001, Enrique Vidal 0001	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
11	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
11	Yonatan Aumann, Zvi M. Kedem, Krishna V. Palem, Michael O. Rabin	Highly Efficient Asynchronous Execution of Large-Grained Parallel Programs	FOCS	1993	DBLP DOI BibTeX RDF	memory space overhead, highly efficient asynchronous execution, large-grained parallel programs, processor instructions, PRAM programs, n-processor asynchronous parallel system, granularity, synchronization mechanisms
11	Stephen Fickas, B. Robert Helm	Knowledge Representation and Reasoning in the Design of Composite Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	implementation process, human agents, deficiency-driven design, reasoning techniques, formal specification, knowledge representations, knowledge representation, software reusability, inference mechanisms, software prototyping, formal analysis, design reuse, rationalization, incremental design, composite systems, requirements acquisition
11	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
11	Charles Rich, Yishai A. Feldman	Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools
11	Dorothy E. Setliff, Rob A. Rutenbar	Knowledge Representation and Reasoning in a Software Synthesis Architecture.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software synthesis architecture, reasoning strategies, automatic program synthesis architecture, ELF, procedure-level decomposition, synthetic router, data structures, knowledge representation, knowledge representation, computer-aided design, inference mechanisms, automatic programming, circuit layout CAD, design space, VLSI circuits, domain-specific knowledge
11	Willi Gotthard, Peter C. Lockemann, Andrea Neufeld	System Guided View Integration for Object-Oriented Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	design databases, structural object-orientation, database design environment, CERM data model, molecular aggregation, software engineering, software tools, generalization, object-oriented databases, object-oriented databases, versioning, semantic model, view integration, abstraction mechanisms
11	Marco Straforini, C. Coelho 0001, Marco Campani, Vincent Torre	The Recovery and Understanding of a Line Drawing from Indoor Scenes.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	2D image processing, indoor science understanding, pattern recognition, pattern recognition, computer vision, computer vision, picture processing, inference mechanisms, line drawing, vanishing points, image interpretation, image recovery, 3D structures
11	Eric Dubois 0001, Philippe Du Bois, André Rifaut	Elaborating, Structuring and Expressing Formal Requirements of Composite Systems.	CAiSE	1992	DBLP DOI BibTeX RDF	first-order and temporal logic, requirements engineering, structuring mechanisms, composite systems
11	William C. Hill, James D. Hollan, David A. Wroblewski, Tim McCandless	Edit Wear and Read Wear.	CHI	1992	DBLP DOI BibTeX RDF	informational physics, interface mechanisms, professional work, reflective practitioner, graphical user interfaces
11	William C. Hill, James D. Hollan	Pointing and Visualization.	CHI	1992	DBLP DOI BibTeX RDF	interface mechanisms, visualization, graphical user interface, visual attention, pointing
11	Chin-Teng Lin, C. S. George Lee	Neural-Network-Based Fuzzy Logic Control and Decision System.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	neural network based fuzzy logic control, feedforward multilayer net, performance, learning, artificial intelligence, fuzzy logic, neural nets, inference mechanisms, decision theory, backpropagation, learning systems, inference engine, decision system, connectionist model
11	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
11	Dong-Guk Shin, Keki B. Irani	Fragmenting Relations Horizontally Using a Knowledge-Based Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	distributed DBMSs, horizontal fragmentation technique, typical user queries, revised query expressions, estimated user reference clusters, many-sorted language, inference procedure, knowledge representation, knowledge based systems, distributed databases, inference mechanisms, information retrieval systems, knowledge-based approach
11	Tzong-An Su, Gultekin Özsoyoglu	Controlling FD and MVD Inferences in Multilevel Relational Database Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	FD inferences, attribute classification, MVD inferences, multilevel relational database, record classification, FD-compromises, minimum information loss, MVD-compromises, conflict-free MVDs, computational complexity, relational databases, database theory, inference mechanisms, functional dependencies, NP-complete problem, exact algorithm, necessary and sufficient conditions, multivalued dependencies
11	Wu Wang, Jianhua Chen 0003	Learning by Discovering Problem Solving Heuristics Through Experience.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	symbolic rule learning, elements exchange, strategy acquisition from experience, domain-dependent problem-solving heuristics, sorting system, insertion sort, solution path, heuristic information, inductive learning bias, hypothesis space, knowledge acquisition, sorting, problem solving, inference mechanisms, learning systems, heuristic programming, production rules, SAFE, shortcut
11	Ronald R. Yager	Deductive Approximate Reasoning Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	deductive approximate reasoning systems, AR-1, statements, joint variables, AR-2, AR-5, restrictive version, probability, fuzzy sets, inference mechanisms, fuzzy set theory, probability theory, propositions
11	Boon Toh Low, H. C. Lui, Ah-Hwee Tan, H. H. Teh	Connectionist Expert System with Adaptive Learning Capability.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	adaptive learning capability, neural network expert system, adaptive connectionist expert system, past experience, neural logic network, pattern processing, logical inferencing, pattern matching ACES, rule inferencing ACES, past examples, neural logic network, pattern recognition, expert systems, adaptive systems, neural nets, inference mechanisms
11	Herbert A. Simon	Artificial Intelligence: Where Has It Been, Where is it Going?	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	near-future development, serial systems, search metaphor, logical reasoning metaphor, expert performance, empirical work, branching pathways, artificial intelligence, knowledge based systems, programming languages, inference mechanisms, search problems, production systems, large systems, empirical testing, knowledge systems
11	Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama	A Petri Net Model for Reasoning in the Presence of Inconsistency.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model
11	William E. Spangler	The Role of Artificial Intelligence in Understanding the Strategic Decision-Making Process.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	formulation task, cognitive studies, strategic planners, computer-based support, strategic decision making process, strategic intelligence analysis, issue diagnosis, artificial intelligence, knowledge based systems, decision support systems, decision support systems, inference mechanisms, decision theory, nonmonotonic reasoning, plan recognition, strategic planning, model-based approach, analogical reasoning, situation assessment, future research, distributed intelligence, research issues
11	John R. Bourne, Hsi-Ho Liu, Constantine D. Orogo, Glen C. Collins, N. Serdar Uckun, Arthur J. Brodersen	Organizing and Understanding Beliefs in Advice-Giving Diagnostic Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	belief organisation, understanding beliefs, advice-giving diagnostic systems, cause-effect hierarchies, enhanced evidential reasoning, belief manipulation, fault history, expert systems, events, inference mechanisms, belief functions, symptoms
11	Jeffrey A. Barnett	Calculating Dempster-Shafer Plausibility.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility
11	Louise Stark, Kevin W. Bowyer	Achieving Generalized Object Recognition through Reasoning about Association of Function to Structure.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	function/structure association, chair recognition, function-based object category definition, boundary surface description, object recognition, knowledge based systems, computerised picture processing, computerised pattern recognition, reasoning, inference mechanisms
11	Douglas M. Blough, Gerald M. Masson	Performance Analysis of a Generalized Concurrent Error Detection Procedure.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	generalized concurrent error detection procedure, data block capture, analysis monitoring process, external fault sources, fault mechanisms, performance evaluation, fault tolerant computing, error detection
11	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
11	Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci	Automating Visual Language Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automatic visual language generation, customized visual languages, inference grammar techniques, general semantic information, knowledge based systems, visual programming, knowledge base, inference mechanisms, grammars, attribute grammar, application environment
11	Mark Moriconi, Timothy C. Winkler	Approximate Reasoning About the Semantic Effects of Program Changes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	semantic effects, program changes, logical technique, direct analysis, parametrized modules, structural interpretation, formal specification, program verification, inference mechanisms, approximate reasoning, procedures, inference system, global variables
11	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
11	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
11	Peter T. Sander, Steven W. Zucker	Inferring Surface Trace and Differential Structure from 3-D Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	3D image inference, surface trace, differential structure, trace points, functional minimization algorithm, overlapping local charts, clinical magnetic resonance images, pattern recognition, robustness, picture processing, inference mechanisms, image understanding, surface smoothness, principal curvature
11	Pedro García 0001, Enrique Vidal 0001	Inference of k-Testable Languages in the Strict Sense and Application to Syntactic Pattern Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	k-testable languages, deterministic finite-state automation, pattern recognition, computational complexity, inference mechanisms, formal languages, finite automata, grammars, grammars, strings, inductive inference, syntactic pattern recognition, inference algorithm
11	Dipankar Sarkar 0001, S. C. De Sarkar	Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
11	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
11	Chao-Chih Yang	Deduction Graphs: An Algorithm and Applications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	deduction graph, function-free Horn formula, logic queries, artificial intelligence, logic programming, logic programming, relational database, relational databases, expert systems, database theory, inference mechanisms, functional dependency, Horn clauses, polynomial time complexity, rule-based expert systems, inference problem
11	Harry Joe	Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference
11	Dipankar Sarkar 0001, S. C. De Sarkar	A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
11	Pierre Parent, Steven W. Zucker	Trace Inference, Curvature Consistency, and Curve Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	curvature consistency, curve inference, curvature information, tangent, cocircularity, trace points, artificial images, pattern recognition, pattern recognition, picture processing, picture processing, inference mechanisms, natural images, curve detection
11	Yizong Cheng, Rangasami L. Kashyap	A Study of Associative Evidential Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	negative maps, associative evidential reasoning, symmetry condition, positive elements, artificial intelligence, artificial intelligence, inference mechanisms, associativity, monotonicity, linguistic quantifiers
11	Peter Huber, Kurt Jensen, Robert M. Shapiro	Hierarchies in coloured Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	re-usable components, hierarchies, Coloured Petri Nets, structuring mechanisms, subnets, high-level nets
11	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
11	Eric Schoen, Reid G. Smith, Bruce G. Buchanan	Design of Knowledge-Based Systems with a Knowledge-Based Assistant.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	knowledge-based assistant, problem domain, inference knowledge, encoded knowledge, initial domain model, user-interface, user interfaces, testing, object-oriented programming, knowledge-based systems, knowledge based systems, validation, programming environments, knowledge acquisition, knowledge acquisition, program verification, inference mechanisms, high level languages, intelligent assistant, object-oriented programming language
11	Yann-Hang Lee, Kang G. Shin	Design and Evaluation of a Fault-Tolerant Multiprocessur Using Hardware Recovery Blocks.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	rollback propagation, hardware/ software recovery blocks, performance of rollback recovery mechanisms, Fault-tolerant multiprocessor
11	David J. DeWitt, Randy H. Katz, Frank Olken, Leonard D. Shapiro, Michael Stonebraker, David A. Wood 0001	Implementation Techniques for Main Memory Database Systems.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF	access planning, access methods, main memory databases, join algorithms, recovery mechanisms
11	Brian Randell, C. J. Kuehner	Dynamic storage allocation systems.	Commun. ACM	1968	DBLP DOI BibTeX RDF	addressing mechanisms, storage fragmentation, segmentation, storage management, virtual memories, paging, multiprogramming, storage allocation, storage hierarchies
11	Jane G. Jodeit	Storage organization in programming systems.	Commun. ACM	1968	DBLP DOI BibTeX RDF	addressing mechanisms, file handling, storage control, storage organization, storage protection, data structures, segmentation, paging, storage allocation, data representation, program representation, codewords
10	Yan Zhu 0010, Gail-Joon Ahn, Hongxin Hu, Huaixi Wang	Cryptographic role-based security mechanisms based on role-key hierarchy.	AsiaCCS	2010	DBLP DOI BibTeX RDF	role-based cryptosystem, role-key hierarchy, access control, pairing-based cryptosystem
10		Backup Mechanisms.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
10	Chris Carter 0001, Abdennour El Rhalibi, Madjid Merabti, Marc Price	Networking Middleware and Online-Deployment Mechanisms for Java-Based Games.	Trans. Edutainment	2009	DBLP DOI BibTeX RDF	Homura, NetHomura, Java Monkey Engine, jME, Java Web Start, P2P Games, Java, Distributed Systems, Peer to Peer Networking, Deployment, Web Technologies, JXTA
10	Robert Clewley, Cristina Soto-Treviño, Farzan Nadim	Dominant ionic mechanisms explored in spiking and bursting using local low-dimensional reductions of a biophysically realistic model neuron.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Stomatogastric, Hybrid dynamical system, Oscillations, Model reduction, Compartmental modeling
10	George Christodoulou 0001, Elias Koutsoupias, Angelina Vidali	A Lower Bound for Scheduling Mechanisms.	Algorithmica	2009	DBLP DOI BibTeX RDF	Scheduling unrelated machines, Lower bound, Algorithmic mechanism design
10	Pai-Han Huang, Maulik Desai, Xiaofan Qiu, Bhaskar Krishnamachari	On the Multihop Performance of Synchronization Mechanisms in High Propagation Delay Networks.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
10	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk	A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	CCS	2009	DBLP DOI BibTeX RDF	cryptography, compilers, computational model
10	Tad Hogg	Security challenges for reputation mechanisms using online social networks.	AISec	2009	DBLP DOI BibTeX RDF	social networks, reputation, user-generated content
10	Klaus Petersen, Jorge Solis, Takeshi Ninomiya, Tetsuro Yamamoto, Masaki Takeuchi, Atsuo Takanishi	Development of the anthropomorphic saxophonist robot WAS-1: Mechanical design of the lip, tonguing, fingers and air pump mechanisms.	ICRA	2009	DBLP DOI BibTeX RDF
10	Serif Bahtiyar, Murat Cihan, Mehmet Ufuk Çaglayan	An architectural approach for assessing system trust based on security policy specifications and security mechanisms.	SIN	2009	DBLP DOI BibTeX RDF	trust, assessment
10	Jaidev K. Sridhar, Dhabaleswar K. Panda 0001	Impact of Node Level Caching in MPI Job Launch Mechanisms.	PVM/MPI	2009	DBLP DOI BibTeX RDF
10	Aaron M. Hoover, Ronald S. Fearing	Analysis of off-axis performance of compliant mechanisms with applications to mobile millirobot design.	IROS	2009	DBLP DOI BibTeX RDF
10	Reetuparna Das, Onur Mutlu, Thomas Moscibroda, Chita R. Das	Application-aware prioritization mechanisms for on-chip networks.	MICRO	2009	DBLP DOI BibTeX RDF	multi-core, packet scheduling, memory systems, arbitration, prioritization, on-chip networks
10	Julien Saunier, Hazaël Jones, Domitile Lourdeaux	I Feel What You Feel: Empathy and Placebo Mechanisms for Autonomous Virtual Humans.	IVA	2009	DBLP DOI BibTeX RDF
10	Yongwei Wang, Wentong Cai 0001, Malcolm Yoke Hean Low, Suiping Zhou, Feng Tian, Linbo Luo, Darren Wee Sze Ong, Benjamin D. Hamilton	A framework of evaluating partitioning mechanisms for agent-based simulation systems.	SpringSim	2009	DBLP DOI BibTeX RDF	agent-based simulation system, partitioning mechanism
10	Marcelo Daniel Berejuck, César Albenes Zeferino	Adding mechanisms for QoS to a network-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	FPGA, systems-on-chip, networks-on-chip
10	Xiaojun Ruan, Adam Manzanares, Shu Yin, Mais Nijim, Xiao Qin 0001	Can We Improve Energy Efficiency of Secure Disk Systems without Modifying Security Mechanisms?	NAS	2009	DBLP DOI BibTeX RDF
10	Ligang He, Mark Calleja, Mark Hayes, Stephen A. Jarvis	Performance prediction for running workflows under role-based authorization mechanisms.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Ping Jiang 0005, Liang Gao 0001, Peigen Li, Haobo Qiu	Collaborative execution mechanisms for the TCPN-enhanced process-view approach based inter-enterprises workflow.	CSCWD	2009	DBLP DOI BibTeX RDF
10	Leonardo Lemes Fagundes, Luciano Paschoal Gaspary	Breaking the barriers between security mechanisms through the composition of Web Services: Towards a solution for the detection of multistage distributed attacks.	ISCC	2009	DBLP DOI BibTeX RDF
10	Jin-Peng Qi, Shi-Huang Shao, Yi-Zhen Shen	A Plausible Model for Cellular Self-defense Mechanisms in Response to Continuous Ion Radiation(IR) under Radiotherapy.	ICIC (1)	2009	DBLP DOI BibTeX RDF	DNA damage, P53, Cellular network, IR, Radiotherapy
10	Caroline Hummels, Michael Cruz Restrepo, Kees C. J. Overbeeke	Designing the melody of interaction through movies, maps, mechanisms, prototypes and presentations.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	prototypes, design methods, movies, interaction map, aesthetics of interaction, interaction mechanism
10	Jinpeng Qi, Shihuang Shao, Zhihai Rong	Feedback-control modeling for cellualr response mechanisms based on a gene regulatory networks under radiotherapy.	GEC Summit	2009	DBLP DOI BibTeX RDF	DNA damage, P53, modeling, cellular networks, radiotherapy
10	Jason D. Hartline, Tim Roughgarden	Simple versus optimal mechanisms.	EC	2009	DBLP DOI BibTeX RDF	auctions, revenue-maximization, vcg mechanism, vickrey auction, optimal auctions