this book constitutes the refereed proceedings of the 8th International conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. the 17 revised full papers and 17 revised poster papers p...
详细信息
ISBN:
(数字)9783642029981
ISBN:
(纸本)9783642029974
this book constitutes the refereed proceedings of the 8th International conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. the 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis.
this book constitutes the refereed proceedings of the 8th International conference on Inductive logicprogramming, ILP-98, held in Madison, Wisconsin, USA, in July 1998.;the 27 revised full papers presented together w...
详细信息
ISBN:
(数字)9783540690597
ISBN:
(纸本)9783540647386
this book constitutes the refereed proceedings of the 8th International conference on Inductive logicprogramming, ILP-98, held in Madison, Wisconsin, USA, in July 1998.;the 27 revised full papers presented together withthe abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logicprogramming are covered ranging from theory to implementations and applications.
this book constitutes the refereed proceedings of the 8th International conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.;the 14 revised full papers were ca...
详细信息
ISBN:
(数字)9783642357374
ISBN:
(纸本)9783642357367
this book constitutes the refereed proceedings of the 8th International conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.;the 14 revised full papers were carefully reviewed and selected from 70 submissions. this book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. the chapter deals withthe issues of abstraction and verification of properties in real-time Java programs. the rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
this book contains revised and extended versions of selected papers from the 8th International conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016.;the 17 revised ...
详细信息
ISBN:
(数字)9783319533544
ISBN:
(纸本)9783319533537
this book contains revised and extended versions of selected papers from the 8th International conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016.;the 17 revised full papers were carefully reviewed and selected from 149 initial submissions. the papers are organized in two sections: agents and artificial intelligence. they address open research trends and highlight in an innovative manner the trends in intelligent multi-agent systems, natural language processing, and knowledge representation.
this book constitutes the refereed proceedings of the 8th International conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated conferences. the 10 revised full pap...
详细信息
ISBN:
(数字)9783319090993
ISBN:
(纸本)9783319090986
this book constitutes the refereed proceedings of the 8th International conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated conferences. the 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. the papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
this volume constitutes the thoroughly refereed post-conference proceedings of the 8th International conference on Verified Software: theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Ca...
详细信息
ISBN:
(数字)9783319488691
ISBN:
(纸本)9783319488684
this volume constitutes the thoroughly refereed post-conference proceedings of the 8th International conference on Verified Software: theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.;the 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. the goal of the VSTTE conference is to advance the;state of the art through the interaction of theory development, tool evolution, and experimental validation.
this volume contains the proceedings of the 8thconference on Foundations of Software Technology and theoretical Computer Science held in Pune, India, on December 21-23, 1988. this internationally well-established Ind...
详细信息
ISBN:
(数字)9783540460305
ISBN:
(纸本)9783540505174
this volume contains the proceedings of the 8thconference on Foundations of Software Technology and theoretical Computer Science held in Pune, India, on December 21-23, 1988. this internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database theory, logicprogramming, programming Methodology, theory of Algorithms, Semantics and Complexity.
this volume contains the papers presented at the 10th International conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although a...
详细信息
ISBN:
(数字)9783540471714
ISBN:
(纸本)9783540528852
this volume contains the papers presented at the 10th International conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. the papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logicprogramming, deductive databases, and theorem proving in many domains. the volume also contains abstracts of 20 implementations of automated deduction systems. the authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. the proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.
暂无评论