|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 559 occurrences of 426 keywords
|
|
|
Results
Found 1550 publication records. Showing 1550 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Lawrence H. Reeve, Hyoil Han, Ari D. Brooks |
BioChain: lexical chaining methods for biomedical text summarization. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
biomedical text, concept chaining, text summarization, lexical chaining |
90 | Leo Bachmair, Harald Ganzinger |
Ordered Chaining Calculi for First-Order Theories of Transitive Relations. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic |
73 | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
Efficient defeasible reasoning systems. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining |
72 | Te-Chou Su, Shih-Yu Huang, Chen-Lung Chan, Jia-Shung Wang |
Optimal chaining scheme for video-on-demand applications on collaborative networks. |
IEEE Trans. Multim. |
2005 |
DBLP DOI BibTeX RDF |
|
62 | David Zaretsky, Gaurav Mittal, Robert P. Dick, Prith Banerjee |
Balanced Scheduling and Operation Chaining in High-Level Synthesis for FPGA Designs. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Roger Ferguson, Bogdan Korel |
The Chaining Approach for Software Test Data Generation. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
heuristics, dynamic analysis, data dependency, program execution |
61 | Peng Yue, Liping Di, Wenli Yang, Genong Yu, Peisheng Zhao |
Path Planning for Chaining Geospatial Web Services. |
W2GIS |
2006 |
DBLP DOI BibTeX RDF |
Geospatial Web Service, Service Composition, Semantic Web Service, Path Planning, OWL-S, Service Chaining |
58 | Nicola Policella, Angelo Oddi, Stephen F. Smith, Amedeo Cesta |
Generating Robust Partial Order Schedules. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Leo Willyanto Santoso |
RTESS: real time expert system shell. |
iiWAS |
2009 |
DBLP DOI BibTeX RDF |
binary tree sort, binary search tree, forward chaining, certainty factor, backward chaining |
55 | Michael Stonebraker, Eric N. Hanson, Spyros Potamianos |
The POSTGRES Rule Manager. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
priority rules, POSTGRES rule manager, rule subsystem, optimization, relational databases, relational databases, expert systems, expert systems, DBMS, query languages, knowledge engineering, knowledge engineering, integrity constraints, exceptions, forward-chaining, inferencing, referential integrity, backward-chaining |
53 | Joel Jeffrey Schultz, Taieb Znati |
An Efficient Scheme for Chaining with Client-Centric Buffer Reservation for Multi-Media Streaming. |
Annual Simulation Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Leo Bachmair, Harald Ganzinger |
Ordered Chaining for Total Orderings. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
53 | Prabhakar Radge |
The Parallel Simplicity of Compaction and Chaining. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
53 | J. H. Tang, Edward S. Davidson, J. Tong |
Polycyclic Vector scheduling vs. Chaining on 1-Port Vector supercomputers. |
SC |
1988 |
DBLP DOI BibTeX RDF |
|
51 | Harald Ganzinger, Viorica Sofronie-Stokkermans |
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
chaining calculi, resolution, many-valued logic, automated theorem proving, superposition |
48 | Praveen Dongara, T. N. Vijaykumar |
Accelerating private-key cryptography via multithreading on symmetric multiprocessors. |
ISPASS |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Eric Salvat, Marie-Laure Mugnier |
Sound and Complete Forward and backward Chainingd of Graph Rules. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Raphaël Chenouard, Frédéric Jouault |
Automatically Discovering Hidden Transformation Chaining Constraints. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Lei Xie 0001, Yulian Yang, Jia Zeng |
Subword Lexical Chaining for Automatic Story Segmentation in Chinese Broadcast News. |
PCM |
2008 |
DBLP DOI BibTeX RDF |
multimedia, Chinese, spoken document retrieval, topic segmentation, Story segmentation |
43 | Jean-François Baget, Eric Salvat |
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki |
Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Bradley S. Carlson, C. Y. Roger Chen, Dikran S. Meliksetian |
Transistor Chaining in CMOS Leaf Cells of Planar Topology. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Christoph F. Eick, Jialin Liu, Paul Werstein |
Integrating forward-chaining rules with operations and permanent knowledge bases. |
J. Syst. Integr. |
1992 |
DBLP DOI BibTeX RDF |
integrated knowledge bases, implementation techniques for rule-based systems, integration of data-driven and command driven control regimes, activation pattern-controlled rules, Knowledge-based systems, knowledge base management system |
43 | Mariam Kamkar, Nahid Shahmehri, Peter Fritzson |
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs. |
SIGSMALL/PC |
1988 |
DBLP DOI BibTeX RDF |
|
41 | Arash Shaban-Nejad, Volker Haarslev |
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic e-learning, ontology learning, ontology population, lexical chaining |
41 | Byoungoh Kim, Kyungmin Lee, Dongman Lee |
An Adapter Chaining Scheme for Service Continuity in Ubiquitous Environments with Adapter Evaluation. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
Adapter Chaining, Seamless Service Continuity, Ubiquitous Computing |
41 | Mitchell Loeb, Alan L. Tharp |
Tridirectional Computed Chaining: An Efficient Hashing Algorithm for Limited Space Applications. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
Computed Chaining, Real-time Systems, Embedded Systems, Hashing, External Memory, Sensor Systems |
41 | Riccardo Poli, William B. Langdon |
Backward-chaining genetic programming. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
GP, tournament selection, backward chaining |
41 | Yacine Challal, Abdelmadjid Bouabdallah, Yoann Hinard |
Efficient Multicast Source Authentication using Layered Hash-Chaining Scheme. |
LCN |
2004 |
DBLP DOI BibTeX RDF |
Layered hash-chaining, Multicast streaming, Non-repudiation |
41 | Khosro Soleimani, Mashaallah Mashinchi, Hamid Reza Maleki |
Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
functional operators, fix mundis, fuzzy chaining syllogism, fixed points, rule base, Fuzzy if-then rules |
41 | Per-Åke Larson |
Analysis of Index-Sequential Files with Overflow Chaining. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
ISAM, index sequential files, indexed sequential access method, overflow chaining, overflow handling, performance analysis, analytic model, analysis of algorithms, file organization, overflow, file structure |
38 | Meiqin Wang, Lin Li, Siu-Ming Yiu, Lucas Chi Kwong Hui, C. F. Chong, Kam-Pui Chow, Wai Wan Tsang, H. W. Chan, Kevin K. H. Pun |
A Hybrid Approach for Authenticating MPEG-2 Streaming Data. |
MCAM |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Wennan Shen, Yuzhong Qu |
An RDF Storage and Query Framework with Flexible Inference Strategy. |
APWeb |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Karl Brincat, Chris J. Mitchell |
Key Recovery Attacks on MACs Based on Properties of Cryptographic APIs. |
IMACC |
2001 |
DBLP DOI BibTeX RDF |
cryptographic API, cryptanalysis, Message Authentication Code |
38 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
37 | Phil McMinn, Mike Holcombe |
Evolutionary testing of state-based programs. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
chaining approach, state-based programs, evolutionary testing, automated test data generation |
37 | David Zaretsky, Gaurav Mittal, Xiaoyong Tang, Prithviraj Banerjee |
Evaluation of scheduling and allocation algorithms while mapping assembly code onto FPGAs. |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
scheduling, optimizations, FPGAs, compilers, binary translation, chaining, hardware synthesis |
37 | Christoph F. Eick |
Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming. |
Appl. Intell. |
1992 |
DBLP DOI BibTeX RDF |
Activation pattern controlled rules, data-driven programming, integrated knowledge bases, rule-based systems, forward chaining, multi-paradigm programming |
37 | Philippe Mathieu, Jean-Paul Delahaye |
The Logical Compilation of Knowledge Bases. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
Key-words Expert system, knowledge representation, three-valued logic, forward chaining |
37 | Tzonelih Hwang, T. R. N. Rao |
Secret Error-Correcting Codes (SECC). |
CRYPTO |
1988 |
DBLP DOI BibTeX RDF |
Algebraic-Code Cryptosystem, Block Chaining, Ciphertext-Only Attach, Chosen -Plaintext Attach, Cryptographic Parameter, Data Reliability, Data Secrecy, JEEC, Known-Plaintext Attach, SECC, Work Factor, Cryptography, Data Integrity, Cryptanalysis, Data Security, Cryptosystems, Cryptology, Data Authenticity |
37 | Haerim Lee, Warren Moseley |
A parallel inference engine (PIE) (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine |
36 | A. J. Bayes |
A generalized partial pass block sort. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
amphisbaenic, block sort, column sort, direct access devices, partial pass sort, reverse chaining, sort, chaining |
33 | Shiow-Yang Wu, Jungchu Hsu, Chieh-Ming Chen |
Headlight Prefetching and Dynamic Chaining for Cooperative Media Streaming in Mobile Environments. |
IEEE Trans. Mob. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Imed Zitouni, Xiaoqiang Luo, Radu Florian |
A Cascaded Approach to Mention Detection and Chaining in Arabic. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Huayang Xie, Mengjie Zhang 0001 |
An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms. |
ACAL |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
33 | Mitchell Loeb, Alan L. Tharp |
Gray Code Chaining: A High Performance Hashing Algorithm for Limited Storage Applications. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Girish Venkataramani, Seth Copen Goldstein |
Operation chaining asynchronous pipelined circuits. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Manolis I. A. Lourakis, Antonis A. Argyros |
Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Adam Silberstein, Rebecca Braynard, Jun Yang 0001 |
Constraint chaining: on energy-efficient continuous monitoring in sensor networks. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, continuous queries |
33 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Wing-Ho Shum, Kwong-Sak Leung, Man Leung Wong |
Co-evolutionary Rule-Chaining Genetic Programming. |
IDEAL |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Christian Igel, Karl-Heinz Temme |
The chaining syllogism in fuzzy logic. |
IEEE Trans. Fuzzy Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Phil McMinn, Mike Holcombe |
Hybridizing Evolutionary Testing with the Chaining Approach. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Mukund Sundararajan, Michael Brudno, Kerrin S. Small, Arend Sidow, Serafim Batzoglou |
Chaining Algorithms for Alignment of Draft Sequence. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Tetsuo Shibuya, Igor Kurochkin |
Match Chaining Algorithms for cDNA Mapping. |
WABI |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Sanghun Park, Kiyoung Choi |
Performance-driven high-level synthesis with bit-level chaining andclock selection. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Patrick Doherty 0001, Jonas Kvarnström |
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mihir Bellare, Joe Kilian, Phillip Rogaway |
The Security of Cipher Block Chaining. |
CRYPTO |
1994 |
DBLP DOI BibTeX RDF |
|
33 | George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul |
Rule Chaining in Marvel: Dynamic Binding of Parameters. |
IEEE Expert |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Chi-Yi Hwang, Yung-Chin Hsieh, Youn-Long Lin, Yu-Chin Hsu |
A fast transistor-chaining algorithm for CMOS cell layout. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
33 | W. W. Bledsoe, Larry M. Hines |
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Kuo-Chung Tai, Alan L. Tharp |
An introduction to computed chaining. |
AFIPS National Computer Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | L. R. Johnson |
An indirect chaining method for addressing on secondary keys. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
|
32 | Véronique Royer |
Backward Chaining Evaluation in Stratified Disjunctive Theories. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining |
32 | Nian-Feng Tzeng, Pen-Chung Yew, Chuan-Qi Zhu |
Realizing Fault-Tolerant Interconnection Networks via Chaining. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
fault-tolerant interconnection networks, switching elements, self-routing algorithm, reliability improvement, fault tolerant computing, multiprocessor interconnection networks, multistage interconnection networks, chaining, quantitative measurement |
32 | David Bernstein, Haran Boral, Ron Y. Pinter |
Optimal Chaining in Expression Trees. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
optimal chaining, vector instructions pipelining, explicit pipelining, expression trees, linear time scheduling algorithm, scheduling, computational complexity, parallel programming, dynamic programming, pipeline processing, automatic programming, automatic code generation, complexity analysis, Cray-1, dynamic programming algorithms |
29 | Ke Chen 0005, Kai Hwang 0001, Gang Chen 0001 |
Heuristic Discovery of Role-Based Trust Chains in Peer-to-Peer Networks. |
IEEE Trans. Parallel Distributed Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Alex Biryukov, Praveen Gauravaram, Jian Guo 0001, Dmitry Khovratovich, San Ling, Krystian Matusiewicz, Ivica Nikolic, Josef Pieprzyk, Huaxiong Wang |
Cryptanalysis of the LAKE Hash Family. |
FSE |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Peng Yue, Jianya Gong, Liping Di |
Automatic Transformation from Semantic Description to Syntactic Specification for Geo-Processing Service Chains. |
W2GIS |
2008 |
DBLP DOI BibTeX RDF |
Geo-Processing, OWLS2BPEL, Semantic Web, BPEL, OWL-S, Geospatial, Service Chain |
29 | Cory Dixon, Eric W. Frew |
Maintaining optimal communication chains in robotic sensor networks using mobility control. |
ROBOCOMM |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Charanjit S. Jutla |
PRF Domain Extension Using DAGs. |
TCC |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Carl Anderson, Joseph A. Rothermich, Eric Bonabeau |
Modeling, Quantifying, and Testing Complex Aggregate Service Chains. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Michalis D. Galanis, George Theodoridis, Spyros Tragoudas, Dimitrios Soudris, Costas E. Goutis |
A Novel Data-Path for Accelerating DSP Kernels. |
SAMOS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Nicola Stokes, Eamonn Newman, Joe Carthy, Alan F. Smeaton |
Broadcast News Gisting Using Lexical Cohesion Analysis. |
ECIR |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ivan Augé, François Donnet, Frédéric Pétrot |
Retiming Finite State Machines to Control Hardened Data-Paths. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Georg Struth |
Deriving Focused Calculi for Transitive Relations. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Bugarín, Purificación Cariñena, Manuel Fernández Delgado, Senén Barro |
Petri Net Representation of Fuzzy Reasoning under Incomplete Information. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Fuzzy Reasoning, Fuzzy Petri Nets, Fuzzy Expert Systems |
29 | Jieh Hsiang, Mandayam K. Srivas |
PROLOG-Based Inductive Theorem Proving. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Jane Fedorowicz |
Comments on Price/Performance Patterns of U.S. Computer Systems. |
Commun. ACM |
1981 |
DBLP DOI BibTeX RDF |
|
28 | Ali M. Keshk, Robert Dyer 0001 |
Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ali M. Keshk, Robert Dyer 0001 |
Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python. |
MSR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Matheus S. Castanho, Cristina K. Dominicini, Magnos Martinello, Marcos A. M. Vieira |
Chaining-Box: A Transparent Service Function Chaining Architecture Leveraging BPF. |
IEEE Trans. Netw. Serv. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Kuo-Chung Tai, Alan L. Tharp |
Computed chaining - A hybrid of direct chaining and open addressing. |
Inf. Syst. |
1981 |
DBLP DOI BibTeX RDF |
|
27 | Kan Yasuda |
A Single-Key Domain Extender for Privacy-Preserving MACs and PRFs. |
ICISC |
2008 |
DBLP DOI BibTeX RDF |
imbalanced cipher block chaining, iCBC, MAC, privacy-preserving, message authentication code, domain extension |
27 | Ralph Kopperman |
Topological Digital Topology. |
DGCI |
2003 |
DBLP DOI BibTeX RDF |
general topology, T 0-space, specialization (order), connected ordered topological space (COTS), Alexandroff space, Khalimsky line, digital n-space, metric and polyhedral analogs, chaining maps, calming maps, inverse limit, Hausdorff reflection, skew (=stable) compactness, (graph) path and arc connectedness and components, (topological) adjacency, Jordan curve, robust scene, Digital topology, normalizing maps, cartoon |
27 | Herbert Leitold, Wolfgang Mayerwieser, Udo Payer, Karl C. Posch, Reinhard Posch, Johannes Wolkerstorfer |
A 155 Mbps Triple-DES Network Encryptor. |
CHES |
2000 |
DBLP DOI BibTeX RDF |
DES algorithm, cipher block chaining, true single-phase logic, full-custom design, Network security, pipelining, encryption, Triple-DES |
27 | Stephen J. Green |
Building Hypertext Links By Computing Semantic Similarity. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
Automatic hypertext generation, information retrieval, semantic relatedness, lexical semantics, lexical chaining |
27 | Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey |
Knowledge-Based assistance for real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems |
27 | 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 |
27 | Chen-Chau Chu, Jake K. Aggarwal |
Image Interpretation Using Multiple Sensing Modalities. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
multiple sensing modalities, AIMS, multisensor fusion, KEE format, knowledge-based interpretation modules, concurrent service manager, optical radar, remote sensing by laser beam, computer vision, image segmentation, knowledge based systems, computerised pattern recognition, Lisp, image interpretation, infrared imaging, forward chaining, thermal imagers, laser radar |
27 | Tim Menzies, M. Dean, J. L. Black, J. F. Fleming |
Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs. |
Australian Joint Conference on Artificial Intelligence |
1988 |
DBLP DOI BibTeX RDF |
AUSPIG, pigs, expert system, optimisation, simulation modelling, forward chaining |
27 | Larry E. Stanfel |
A comment on optimal tree structures. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
double chaining, information retrieval, tree structures, file searching |
24 | Claire Lefèvre, Pascal Nicolas |
A First Order Forward Chaining Approach for Answer Set Computing. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Molina, Manuel Lozano 0001, Francisco Herrera |
A memetic algorithm using local search chaining for black-box optimization benchmarking 2009 for noisy functions. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary computation, black-box optimization, memetic algorithms, hybrid metaheuristics |
24 | Daniel Molina, Manuel Lozano 0001, Francisco Herrera |
A memetic algorithm using local search chaining forblack-box optimization benchmarking 2009 for noise free functions. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary computation, benchmarking, black-box optimization, memetic algorithms, hybrid metaheuristics |
24 | Hyunjoo Kim, Heon Young Yeom |
P-chaining: a practical VoD service scheme autonomically handling interactive operations. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
VCR operations, P2P, Streaming, VoD |
24 | Alberto A. Del Barrio, María C. Molina, Jose Manuel Mendias, Esther Andres Perez, Román Hermida |
Restricted Chaining and Fragmentation Techniques in Power Aware High Level Synthesis. |
DSD |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jinxin He, Gaochao Xu, Xiaodong Fu, Zhiguo Zhou, Jianhua Jiang |
LMCM: Layered Multiple Chaining Model for Authenticating Multicast Streams. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Source Authentication, Chain hashing, Non-repudiation, Multicast security |
24 | Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt |
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts. |
ICDL |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1550 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|