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.
Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming i...
详细信息
ISBN:
(数字)9781484229194
ISBN:
(纸本)9781484229187
Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and shows you how to use and apply R in an object-oriented manner. You will then be able to use this powerful programming style in your own statistical programming projects to write flexible and extendable software.;After reading;, you'll come away with a practical project that you can reuse in your own analytics coding endeavors. You’ll then be able to visualize your data as objects that have state and then manipulate those objects with polymorphic or generic methods. Your projects will benefit from the high degree of flexibility provided by polymorphism, where the choice of concrete method to execute depends on the type of data being manipulated.;Experienced programmers and for those with at least some prior experience with R programming language.
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworks...
详细信息
ISBN:
(数字)9783540451488
ISBN:
(纸本)9783540676287
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR’99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR’s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.
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.
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.
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.
This book constitutes the refereed proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments, ISCOPE '97, held in Marina del Rey, California, in December 19...
详细信息
ISBN:
(数字)9783540696568
ISBN:
(纸本)9783540638278
This book constitutes the refereed proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments, ISCOPE '97, held in Marina del Rey, California, in December 1997. The volume presents 36 revised papers carefully selected for inclusion in the book. The papers address run-time performance optimization at several levels, new language programming paradigms, applications of Java-based technology, direct applications in various areas, object-oriented libraries, and new ideas and approaches to parallel scientific computing. All in all, this is an up-to-date presentation of the state-of-the-art in the application of object-oriented methods in scientific and engineering applications.
暂无评论