Symbolic processing has limitations highlighted by the symbol grounding problem. Computational processing methods, like fuzzy logic, neural networks, and statistical methods have appeared to overcome these problems. H...
详细信息
ISBN:
(数字)9783790818376
ISBN:
(纸本)9783662003732
Symbolic processing has limitations highlighted by the symbol grounding problem. Computational processing methods, like fuzzy logic, neural networks, and statistical methods have appeared to overcome these problems. However, they also suffer from drawbacks in that, for example, multi-stage inference is difficult to implement. Deep fusion of symbolic and computational processing is expected to open a new paradigm for intelligent systems. Symbolic processing and computational processing should interact at all abstract or computational levels. For this undertaking, attempts to combine, hybridize, and fuse these processing methods should be thoroughly investigated and the direction of novel fusion approaches should be clarified. This book contains the current status of this attempt and also discusses future directions.
For the ?rst time four workshops have been held in conjunction with the 8th Object-Oriented Information Systems conference, OOIS 2002, to encourage - teraction between researchers and practitioners. Workshop topics ar...
详细信息
ISBN:
(数字)9783540461050
ISBN:
(纸本)9783540440888
For the ?rst time four workshops have been held in conjunction with the 8th Object-Oriented Information Systems conference, OOIS 2002, to encourage - teraction between researchers and practitioners. Workshop topics are, of course, inline with the conference’s scienti?c scope and provide a forum for groups of researchers and practitioners to meet together more closely and to exchange opinions and advanced ideas, and to share preliminary results on focused issues in an atmosphere that fosters interaction and problem solving. The conference hosted four one-day workshops. The four selected workshops were fully in the spirit of a workshop session hosted by a main conference. Indeed, OOIS deals with all the topics related to the use of object-oriented techniques for the development of information systems. The four workshops are very speci?c and contribute to enlarging the spectrum of the more general topics treated in the main conference. The ?rst workshop focused on a very speci?c and key c- cept of object-oriented development, the specialization/generalization hierarchy. The second one explored the use of “non-traditional” approaches (at the edge of object-oriented techniques, such as aspects, AI, etc.) to improve reuse. The third workshop dealt with optimization in Web-based information systems. And ?nally the fourth workshop investigated issues related to model-driven software development.
This volume contains the papers which have been accepted forpresentation atthe Third International Symposium onprogramming Language Implementation andLogic programming(PLILP '91) held in Passau, Germany, August 26...
详细信息
ISBN:
(数字)9783540383628
ISBN:
(纸本)9783540544449
This volume contains the papers which have been accepted for
presentation atthe Third International Symposium on
programming Language Implementation andLogic programming
(PLILP '91) held in Passau, Germany, August 26-28, 1991. The
aim of the symposium was to explore new declarative
concepts, methods and techniques relevant for the
implementation of all kinds of programming languages,
whether algorithmic or declarative ones. The intention was
to gather researchers from the fields of algorithmic
programming languages as well as logic, functional and
object-oriented programming. This volume contains the two
invited talks given at the symposium by H. Ait-Kaci and
D.B. MacQueen, 32 selected papers, and abstracts of several
system demonstrations. The proceedings of PLILP '88 and
PLILP '90 are available as Lecture Notes in Computer Science
Volumes 348 and 456.
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.;The 29 revised full papers presented together with 3 invited talk...
详细信息
ISBN:
(数字)9783642214370
ISBN:
(纸本)9783642214363
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.;The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
The 5th International Symposium on High Performance Computing (ISHPC–V) was held in Odaiba, Tokyo, Japan, October 20–22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing...
详细信息
ISBN:
(数字)9783540397076
ISBN:
(纸本)9783540203599
The 5th International Symposium on High Performance Computing (ISHPC–V) was held in Odaiba, Tokyo, Japan, October 20–22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing C- mittee and its collaborating organizations. The ISHPC-V program included two keynote speeches, several invited talks, two panel discussions, and technical sessions covering theoretical and applied research topics in high–performance computing and representing both academia and industry. One of the regular sessions highlighted the research results of the ITBL project (IT–based research laboratory, http://***/). ITBL is a Japanese national project started in 2001 with the objective of re- izing a virtual joint research environment using information technology. ITBL aims to connect 100 supercomputers located in main Japanese scienti?c research laboratories via high–speed networks. A total of 58 technical contributions from 11 countries were submitted to ISHPC-V. Each paper received at least three peer reviews. After a thorough evaluation process, the program committee selected 14 regular (12-page) papers for presentation at the symposium. In addition, several other papers with fav- able reviews were recommended for a poster session presentation. They are also included in the proceedings as short (8-page) papers. Theprogramcommitteegaveadistinguishedpaperawardandabeststudent paper award to two of the regular papers. The distinguished paper award was given for “Code and Data Transformations for Improving Shared Cache P- formance on SMT Processors” by Dimitrios S. Nikolopoulos. The best student paper award was given for “Improving Memory Latency Aware Fetch Policies for SMT Processors” by Francisco J. Cazorla.
暂无评论