Sökt på: Serie workshops in computing
totalt 68 träffar
Building Interactive Systems
Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of …
East/West Database Workshop
This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Austria, continuing a …
AI and Cognitive Science ’91
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University …
Modelling Database Dynamics
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, …
Designing Correct Circuits
These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 …
Interfaces to Database Systems (IDS92)
Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. The …
Formal Aspects of Measurement
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British …
Rules in Database Systems
This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the …
Algebraic Methodology and Software Technology (AMAST’93)
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives …
Neural Computation and Psychology
The papers that appear in this volume are refereed versions of presenta tions made at the third Neural Computation and Psychology Workshop, held at Stirling University, Scotland, …
Specifications of Database Systems
Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on …
Deontic Logic, Agency and Normative Systems
This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents …