› › Pricai 96 Topics In Artificial Intelligence

PRICAI '96: Topics in Artificial Intelligence

Author : Norman Foo

Publisher : Springer Science & Business Media

Page : 694 pages

File Size : 38,7 MB

Release : 1996

Category : Artificial intelligence

ISBN : 9783540615323

Get eBook

Book Description

This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996. The 56 revised full papers included in the book were carefully selected for presentation at the conference from a total of 175 submissions. The topics covered are machine learning, interactive systems, knowledge representation, reasoning about change, neural nets and uncertainty, natural language, constraint satisfaction and optimization, qualitative reasoning, automated deduction, nonmonotonic reasoning, intelligent agents, planning, and pattern recognition.



Case-Based Reasoning Research and Development

Author : David B. Leake

Publisher : Springer Science & Business Media

Page : 668 pages

File Size : 46,4 MB

Release : 1997-07-09

Category : Business & Economics

ISBN : 9783540632337

Get eBook

Book Description

This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, in July 1997. The volume presents 39 revised full scientific papers selected from a total of 102 submissions; also included are 20 revised application papers. Among the topics covered are representation and formalization, indexing and retrieval, adaptation, learning, integrated approaches, creative reasoning, CBR and uncertainty. This collection of papers is a comprehensive documentation of the state of the art in CBR research and development.



Formal Techniques in Real-Time and Fault-Tolerant Systems

Author : Bengt Jonsson

Publisher : Springer Science & Business Media

Page : 500 pages

File Size : 28,54 MB

Release : 1996-08-21

Category : Computers

ISBN : 9783540616481

Get eBook

Book Description

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.



Foundations of Software Technology and Theoretical Computer Science

Author : Vijay Chandru

Publisher : Springer Science & Business Media

Page : 408 pages

File Size : 28,41 MB

Release : 1996-11-27

Category : Computers

ISBN : 9783540620341

Get eBook

Book Description

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.



The Design of Intelligent Agents

Author : Jörg P. Müller

Publisher : Springer Science & Business Media

Page : 256 pages

File Size : 21,28 MB

Release : 1996-11-27

Category : Computers

ISBN : 9783540620037

Get eBook

Book Description

This monograph presents a comprehensive state-of-the-art survey on approaches to the design of intelligent agents. On the theoretical side, the author identifies a set of general requirements for autonomous interacting agents and provides an essential step towards understanding the principles of intelligent agents. On the practical side, the novel agent architecture InteRRaP is introduced: the detailed description and evaluation of this architecture is an ideal guideline and case study for software engineers or researchers faced with the task of building an agent system. The book uniquely bridges the gap between theory and practice; it addresses active and novice researchers as well as practitioners interested in applicable agent technology.



Advances in Case-Based Reasoning

Author : Ian Smith

Publisher : Springer Science & Business Media

Page : 548 pages

File Size : 40,70 MB

Release : 1996-10-23

Category : Computers

ISBN : 9783540619550

Get eBook

Book Description

This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996. Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and applications.



Discrete Geometry for Computer Imagery

Author : Serge Miguet

Publisher : Springer Science & Business Media

Page : 372 pages

File Size : 17,9 MB

Release : 1996-11-06

Category : Computers

ISBN : 9783540620051

Get eBook

Book Description

This book constitutes the refereed proceedings of the 6th International Workshop on Discrete Geometry for Computer Imagery, DGCI'96, held in Lyon, France, in November 1996. Computer imaging essentially depends on discrete models for coding, processing, recognition, representation, etc. The volume presents 24 revised full papers selected from 41 submissions together with 3 invited contributions and a tutorial paper, which bridges the gap between theory and practice. The issues addressed are topology, geometry, shape representation, 3D surfaces and volumes, models for discrete space, image transformation and generation.



Concurrency and Parallelism, Programming, Networking, and Security

Author : Joxan Jaffar

Publisher : Springer Science & Business Media

Page : 420 pages

File Size : 46,60 MB

Release : 1996-11-19

Category : Computers

ISBN : 9783540620310

Get eBook

Book Description

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.



Software Configuration Management

Author : Ian Sommerville

Publisher : Springer Science & Business Media

Page : 308 pages

File Size : 40,9 MB

Release : 1996-10-30

Category : Business & Economics

ISBN : 9783540619642

Get eBook

Book Description

Content Description #Includes bibliographical references and index.



LUCAS Associative Array Processor

Author : Christer Fernstrom

Publisher : Springer Science & Business Media

Page : 760 pages

File Size : 28,76 MB

Release : 1986-03

Category : Computers

ISBN : 9783540164456

Get eBook

Book Description

After historical introduction, the aspiration technique and imaging modalities are described. Thereafter, the use of aspiration cytology in the diagnosis and mainly in the sta- ging of urologic cancers is on still not well known appli- cations of the procedure in the staging of some organs (bladder, adrenals, penis, testis and secondary ureteral strictures) are reported.