Books in category Computer Science

Advances in Petri Nets 1992

Author:
Publisher : Springer
ISBN : 9783540556107
The main aims of the series of volumes Advances in Petri Nets are: - to present to the outside scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRI

Dynamic Awareness for Shared Workspaces

Author: Wang, Yao
Publisher : VDM Verlag
ISBN : 9783836455299

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Author: Kovacs, Tim
Publisher : Springer
ISBN : 9781852337704

Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008: Ifip 20th World Computer Congress, Tc 1, Foundations of Computer Scien

Author: Ausiello, Giorgio (EDT)/ Karhumaki, Juhani (EDT)/ Mauri, Giancarlo (EDT)/ Ong, Luke (EDT)
Publisher : Springer
ISBN : 9780387096797

Invitation to Computer Science

Author: Schneider, G. Michael/ Gersting, Judith L.
Publisher : Course Technology
ISBN : 9781423901419
This new edition of Invitation to Computer Science follows the breadth-first guidelines recommended by CC2001 to teach computer science topics from the ground up. The authors begin by showing that computer science is the study of algorithms, the central theme of the book, then move up the next five levels of the hierarchy: hardware, virtual machine, software, applications, and ethics. Utilizing ri

Concur '91

Author:
Publisher : Springer
ISBN : 9783540544302
CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of th

Planning and Learning by Analogical Reasoning

Author: Veloso, Manuela M.
Publisher : Springer
ISBN : 9783540588115
This research monograph describes the integration of analogical and case-based reasoning into general problem solving and planning as a method of speedup learning. The method, based on derivational analogy, has been fully implemented in PRODIGY/ANALOGY and proven in practice to be amenable to scaling up, both in terms of domain and problem complexity.In this work, the strategy-level learning proce

On the Evolving Transformation System Representation of Fairy Tales

Author: Falconer, Sean
Publisher : VDM Verlag
ISBN : 9783639063745

Model Driven Security for the Realization of Dynamic Security Requirements

Author: Alam, Masoom
Publisher : VDM Verlag
ISBN : 9783836471343

DIY Hci

Author: Obrist, Marianna
Publisher : VDM Verlag
ISBN : 9783836462693

Reusable Mathematical Models

Author: Widmer, Tobias
Publisher : VDM Verlag
ISBN : 9783836466738

Fundamentals of Computation Theory

Author:
Publisher : Springer
ISBN : 9783540571636
This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Computational geometry, algorithmic aspects of algebra and algebraic

Algorithms and Computation

Author:
Publisher : Springer
ISBN : 9783540638902
This book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97, held in Singapore in December 1997. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole area of algorithms from discrete mathematics and complexity theory to algorithms design and evaluation in a variety of

Sarna-Predict: An Algorithm for RNA Folding

Author: Tsang, Herbert H.
Publisher : VDM Verlag
ISBN : 9783836490016

Multigrid Methods on Gpus

Author: Thoman, Peter
Publisher : VDM Verlag
ISBN : 9783836499705

Grid Computing

Author: He, Manuel
Publisher : VDM Verlag
ISBN : 9783836488662

Vision-Based Image Retrieval (Vbir)

Author: Essig, Kai
Publisher : VDM Verlag
ISBN : 9783836492416

Design and Implementation of an Object-Oriented Modeling Graphical Editor

Author: Wamatu, Wilson
Publisher : VDM Verlag
ISBN : 9783836489867

Distributed Competition in Networks

Author: Hoefer, Martin
Publisher : VDM Verlag
ISBN : 9783836494410

Automated Negotiations in Multiagent Systems

Author: Goradia, Hrishikesh
Publisher : VDM Verlag
ISBN : 9783836495738