Presents the latest developments in a branch of artificial intelligence which is concerned with the computational study and emulation of human behaviour with respect to music. The volume explores the electronic representation of musical knowledge and computational models.
Presents the latest developments in a branch of artificial intelligence which is concerned with the computational study and emulation of human behavio...
This volume contains papers from the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 September 1993. The workshop addressed the issue of how to introduce an acceptable level of security into object-oriented systems, as the use of such systems becomes increasingly widespread. The topic is approached from two different, but complementary, viewpoints: the incorporation of security into object-oriented systems, and the use of object-oriented design and modelling techniques for designing secure applications. The papers cover a variety of...
This volume contains papers from the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 Septembe...
The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing...
The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and...
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and...
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide ...
The objective of this book is two-fold. Firstly, it is aimed at bringing to gether key research articles concerned with methodologies for knowledge discovery in databases and their applications. Secondly, it also contains articles discussing fundamentals of rough sets and their relationship to fuzzy sets, machine learning, management of uncertainty and systems of logic for formal reasoning about knowledge. Applications of rough sets in different areas such as medicine, logic design, image processing and expert systems are also represented. The articles included in the book are based on...
The objective of this book is two-fold. Firstly, it is aimed at bringing to gether key research articles concerned with methodologies for knowledge di...
This three-part monograph addresses topics in the areas of control systems, signal processing and neural networks. Procedures and results are determined which constitute the first successful synthesis procedure for associative memories by means of artificial neural networks with arbitrarily pre-specified full or partial interconnecting structure and with or without symmetry constraints for the connection matrix.
This three-part monograph addresses topics in the areas of control systems, signal processing and neural networks. Procedures and results are determin...
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring together researchers who share a concern for issues of incompleteness and uncertainty. The workshop attracted people doing fundamental research and industry oriented research in databases, software engineering and AI from North America, Europe and Asia. The workshop program featured six invited...
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organ...
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and...
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asy...
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of...
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em ...
A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user interfaces but little sense of being swept along with the general advances in DBMS technology and Hel. New data models have evolved to meet the needs of different application domains; persistent programming languages are blurring the traditional distinction between data definition and application programming languages; distribution and inter-operability have become issues as have the storage of heterogeneous media types; yet it is still rare to read...
A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user inter...