|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 180-184, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(6), pp. 1007-1049, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 384-392, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 7(5), pp. 972-980, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 595-601, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Roger Ferguson, Bogdan Korel |
The Chaining Approach for Software Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(1), pp. 63-86, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006, Proceedings, pp. 214-226, 2006, Springer, 3-540-49466-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 496-511, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Leo Willyanto Santoso |
RTESS: real time expert system shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 492-496, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 897-907, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 36th Annual Simulation Symposium (ANSS-36 2003), Orlando, Florida, USA, March 30 - April 2, 2003, pp. 31-38, 2003, IEEE Computer Society, 0-7695-1911-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Leo Bachmair, Harald Ganzinger |
Ordered Chaining for Total Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 435-450, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
53 | Prabhakar Radge |
The Parallel Simplicity of Compaction and Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 744-751, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
53 | J. H. Tang, Edward S. Davidson, J. Tong |
Polycyclic Vector scheduling vs. Chaining on 1-Port Vector supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 122, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
51 | Harald Ganzinger, Viorica Sofronie-Stokkermans |
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, pp. 337-344, 2000, IEEE Computer Society, 0-7695-0692-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2003 IEEE International Symposium on Performance Analysis of Systems and Software, March 6-8, 2003, Austin, Texas, USA, Proceedings, pp. 58-69, 2003, IEEE Computer Society, 0-7803-7756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Eric Salvat, Marie-Laure Mugnier |
Sound and Complete Forward and backward Chainingd of Graph Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings, pp. 248-262, 1996, Springer, 3-540-61534-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Raphaël Chenouard, Frédéric Jouault |
Automatically Discovering Hidden Transformation Chaining Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 92-106, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Lei Xie 0001, Yulian Yang, Jia Zeng |
Subword Lexical Chaining for Automatic Story Segmentation in Chinese Broadcast News. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2008, 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings, pp. 248-258, 2008, Springer, 978-3-540-89795-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings, pp. 102-116, 2006, Springer, 3-540-35893-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 171-187, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), March 22-23, 1996, Ames, IA, USA, pp. 194-199, 1996, IEEE Computer Society, 0-8186-7502-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Christoph F. Eick, Jialin Liu, Paul Werstein |
Integrating forward-chaining rules with operations and permanent knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 2(3), pp. 263-290, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC ![In: Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, pp. 36-44, 1988, ACM, 978-0-89791-255-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 375, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 537-542, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 381-387, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1777-1778, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 29th Annual IEEE Conference on Local Computer Networks (LCN 2004), 16-18 November 2004, Tampa, FL, USA, Proceedings, pp. 411-412, 2004, IEEE Computer Society, 0-7695-2260-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 77-82, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 6(4), pp. 671-680, 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCAM ![In: Multimedia Content Analysis and Mining, International Workshop, MCAM 2007, Weihai, China, June 30 - July 1, 2007, Proceedings, pp. 203-212, 2007, Springer. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Wennan Shen, Yuzhong Qu |
An RDF Storage and Query Framework with Flexible Inference Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings, pp. 166-175, 2006, Springer, 3-540-31142-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Karl Brincat, Chris J. Mitchell |
Key Recovery Attacks on MACs Based on Properties of Cryptographic APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings, pp. 63-72, 2001, Springer, 3-540-43026-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
cryptographic API, cryptanalysis, Message Authentication Code |
38 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 152-170, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
37 | Phil McMinn, Mike Holcombe |
Evolutionary testing of state-based programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1013-1020, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 397-400, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(1), pp. 75-91, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 386-398, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings, pp. 540-563, 1988, Springer, 3-540-97196-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 360, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(7), pp. 491-492, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 8(2), pp. 173-187, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Imed Zitouni, Xiaoqiang Luo, Radu Florian |
A Cascaded Approach to Mention Detection and Chaining in Arabic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(5), pp. 935-944, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAL ![In: Artificial Life: Borrowing from Biology, 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 63-72, 2009, Springer, 978-3-642-10426-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 133-177, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 1014, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Girish Venkataramani, Seth Copen Goldstein |
Operation chaining asynchronous pipelined circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 442-449, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Manolis I. A. Lourakis, Antonis A. Argyros |
Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (1) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 582-586, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Adam Silberstein, Rebecca Braynard, Jun Yang 0001 |
Constraint chaining: on energy-efficient continuous monitoring in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, pp. 157-168, 2006, ACM, 1-59593-256-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 97-111, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Wing-Ho Shum, Kwong-Sak Leung, Man Leung Wong |
Co-evolutionary Rule-Chaining Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2005, 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings, pp. 546-554, 2005, Springer, 3-540-26972-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Christian Igel, Karl-Heinz Temme |
The chaining syllogism in fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(6), pp. 849-853, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Phil McMinn, Mike Holcombe |
Hybridizing Evolutionary Testing with the Chaining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 1363-1374, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Mukund Sundararajan, Michael Brudno, Kerrin S. Small, Arend Sidow, Serafim Batzoglou |
Chaining Algorithms for Alignment of Draft Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004, Proceedings, pp. 326-337, 2004, Springer, 3-540-23018-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Tetsuo Shibuya, Igor Kurochkin |
Match Chaining Algorithms for cDNA Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings, pp. 462-475, 2003, Springer, 3-540-20076-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Sanghun Park, Kiyoung Choi |
Performance-driven high-level synthesis with bit-level chaining andclock selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2), pp. 199-212, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Patrick Doherty 0001, Jonas Kvarnström |
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 47-54, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mihir Bellare, Joe Kilian, Phillip Rogaway |
The Security of Cipher Block Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '94, 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994, Proceedings, pp. 341-358, 1994, Springer, 3-540-58333-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 7(6), pp. 26-33, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9(7), pp. 781-786, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | W. W. Bledsoe, Larry M. Hines |
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 70-87, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Kuo-Chung Tai, Alan L. Tharp |
An introduction to computed chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1980 National Computer Conference, 19-22 May 1980, Anaheim, California, USA, pp. 275-282, 1980, AFIPS Press, 978-1-4503-7923-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | L. R. Johnson |
An indirect chaining method for addressing on secondary keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(5), pp. 218-222, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
32 | Véronique Royer |
Backward Chaining Evaluation in Stratified Disjunctive Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 183-195, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(4), pp. 458-462, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1366-1374, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(1), pp. 83-96, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 16th International Workshop, FSE 2009, Leuven, Belgium, February 22-25, 2009, Revised Selected Papers, pp. 156-179, 2009, Springer, 978-3-642-03316-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings, pp. 50-62, 2008, Springer, 978-3-540-89902-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOCOMM ![In: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, pp. 1, 2007, ICST/ACM, 978-963-9799-08-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Charanjit S. Jutla |
PRF Domain Extension Using DAGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings, pp. 561-580, 2006, Springer, 3-540-32731-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Carl Anderson, Joseph A. Rothermich, Eric Bonabeau |
Modeling, Quantifying, and Testing Complex Aggregate Service Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 274-281, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings, pp. 363-372, 2004, Springer, 3-540-22377-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Nicola Stokes, Eamonn Newman, Joe Carthy, Alan F. Smeaton |
Broadcast News Gisting Using Lexical Cohesion Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings, pp. 209-222, 2004, Springer, 3-540-21382-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003, pp. 41-46, 2003, IEEE Computer Society, 0-7695-2009-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Georg Struth |
Deriving Focused Calculi for Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 291-305, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 172-177, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Fuzzy Reasoning, Fuzzy Petri Nets, Fuzzy Expert Systems |
29 | Jieh Hsiang, Mandayam K. Srivas |
PROLOG-Based Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 129-149, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Jane Fedorowicz |
Comments on Price/Performance Patterns of U.S. Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 24(9), pp. 585-586, 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.11269, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 546-557, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 19(1), pp. 497-509, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Kuo-Chung Tai, Alan L. Tharp |
Computed chaining - A hybrid of direct chaining and open addressing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 6(2), pp. 111-116, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
27 | Kan Yasuda |
A Single-Key Domain Extender for Privacy-Preserving MACs and PRFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers, pp. 268-285, 2008, Springer, 978-3-642-00729-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
imbalanced cipher block chaining, iCBC, MAC, privacy-preserving, message authentication code, domain extension |
27 | Ralph Kopperman |
Topological Digital Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 1-15, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2000, Second International Workshop, Worcester, MA, USA, August 17-18, 2000, Proceedings, pp. 164-174, 2000, Springer, 3-540-41455-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(5), pp. 713-730, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 223-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
27 | Chen-Chau Chu, Jake K. Aggarwal |
Image Interpretation Using Multiple Sensing Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(8), pp. 840-847, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 48-61, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
AUSPIG, pigs, expert system, optimisation, simulation modelling, forward chaining |
27 | Larry E. Stanfel |
A comment on optimal tree structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(10), pp. 582, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 196-208, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2359-2366, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2255-2262, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 39(1), pp. 117-142, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 267-273, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 206-211, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL ![In: Proceedings of the 2007 International Conference on Dynamic Languages (ICDL 2007), organised in conjunction with the 15th International Smalltalk Joint Conference 2007, Lugano, Switzerland, 25-31 August 2007, pp. 157-182, 2007, ACM, 978-1-60558-084-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|