|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21199 occurrences of 7548 keywords
|
|
|
Results
Found 28899 publication records. Showing 28899 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 206-209, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1069-1073, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 512-515, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 218-221, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(9), pp. 1062-1075, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(11), pp. 849-867, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 353-360, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 361-381, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(4), pp. 634-639, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(6), pp. 868-882, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(9), pp. 888-893, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(6), pp. 48-56, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(8), pp. 938-949, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(7), pp. 872-881, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(8), pp. 841-854, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 990-992, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(3), pp. 439-450, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(5), pp. 859-871, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 363-367, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(3), pp. 416-425, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(1), pp. 65-75, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(5), pp. 740-752, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(9), pp. 967-971, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(1), pp. 3-18, 1993. The full citation details ...](Pics/full.jpeg) |
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'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 287-292, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 233-245, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 196-208, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 246-255, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 275-279, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(5), pp. 448-458, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(5), pp. 795-825, 1993. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 271-280, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(6), pp. 470-482, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 674-704, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(6), pp. 451-469, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(6), pp. 523-533, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(1), pp. 1-22, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(2), pp. 298-303, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 327-347, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 3-9, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 665-666, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(12), pp. 1320-1336, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1109-1125, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 872-883, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 474-485, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 415-420, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 399-414, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(2), pp. 200-207, 1991. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(2), pp. 128-136, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(3), pp. 281-292, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(2), pp. 149-159, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(3), pp. 269-280, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(6), pp. 599-602, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(10), pp. 1097-1104, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(1), pp. 47-62, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1044-1057, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(10), pp. 1122-1135, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 980-992, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1024-1043, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1005-1023, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(9), pp. 833-854, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(9), pp. 920-925, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 1-9, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 760-770, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 60-67, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1485-1490, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1368-1381, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(8), pp. 823-839, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(6), pp. 623-631, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 313-341, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 401-413, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(12), pp. 1771-1791, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 33(2), pp. 113-124, 1984. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, USA, June 18-21, 1984, pp. 1-8, 1984, ACM Press, 978-0-89791-128-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(5), pp. 297-306, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(11), pp. 741-746, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010, pp. 314-319, 2010, ACM, 978-1-60558-936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
role-based cryptosystem, role-key hierarchy, access control, pairing-based cryptosystem |
10 | |
Backup Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 201, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Edutainment ![In: Transactions on Edutainment II, pp. 19-32, 2009, Springer, 978-3-642-03269-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 26(1), pp. 75-90, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(4), pp. 729-740, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(5), pp. 577-590, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 432-441, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cryptography, compilers, computational model |
10 | Tad Hogg |
Security challenges for reputation mechanisms using online social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISec ![In: Proceedings of the 2nd ACM Workshop on Security and Artificial Intelligence, AISec 2009, Chicago, Illinois, USA, November 9, 2009, pp. 31-34, 2009, ACM, 978-1-60558-781-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3043-3048, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 71-74, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 230-239, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2770-2776, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Reetuparna Das, Onur Mutlu, Thomas Moscibroda, Chita R. Das |
Application-aware prioritization mechanisms for on-chip networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 280-291, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 14-16, 2009, Proceedings, pp. 323-329, 2009, Springer, 978-3-642-04379-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 413-420, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, CSCWD 2009, April 22-24, 2009, Santiago, Chile, pp. 480-485, 2009, IEEE, 978-1-4244-3534-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), July 5-8, Sousse, Tunisia, pp. 329-332, 2009, IEEE Computer Society, 978-1-4244-4672-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Emerging Intelligent Computing Technology and Applications, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings, pp. 1057-1066, 2009, Springer, 978-3-642-04069-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 2647-2650, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 933-936, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DNA damage, P53, modeling, cellular networks, radiotherapy |
10 | Jason D. Hartline, Tim Roughgarden |
Simple versus optimal mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 225-234, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
auctions, revenue-maximization, vcg mechanism, vickrey auction, optimal auctions |
|
|