This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 4...
详细信息
ISBN:
(数字)9783319041322
ISBN:
(纸本)9783319041315
This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation.
Dieses Buch führt in den Bereich der Rechnerunterstützung von zeitlich und räumlich verteilter Gruppenarbeit (Computer Supported Cooperative Work, CSCW) ein. Es behandelt zunächst Grundlagen vertei...
详细信息
ISBN:
(数字)9783642975813
Dieses Buch führt in den Bereich der Rechnerunterstützung von zeitlich und räumlich verteilter Gruppenarbeit (Computer Supported Cooperative Work, CSCW) ein. Es behandelt zunächst Grundlagen verteilter Systeme wie Transparenz, Kommunikationsmechanismen und das Client-Server-Modell. Verschiedene Arten der Kooperation werden vorgestellt:;- bei der asynchronen Kooperation die Verteilung von Informationseinheiten, die Gruppeninteraktion, das Konversationsmodell und das auf dem Austausch semi-strukturierter Nachrichten basierende Kontraktnetz-Protokoll;- bei der synchronen Kooperation werden Verfahren zur Nebenläufigkeitskontrolle, Modellarchitekturen für elektronische Konferenzen und Konzepte für Mehrbenutzereditoren.;Das Buch wendet sich an Studenten und Wissenschaftler der Informatik, Wirtschaftsinformatik, Telematik und der Kommunikationswissenschaften
These are the proceedings of the third Internationalconference on ExtendingDatabase Technology (EDBT) held inVienna in March 1992. The success of the 1988 and 1990conferences held in Venice suggested that there is roo...
详细信息
ISBN:
(数字)9783540470038
ISBN:
(纸本)9783540552703
These are the proceedings of the third International
conference on ExtendingDatabase Technology (EDBT) held in
Vienna in March 1992. The success of the 1988 and 1990
conferences held in Venice suggested that there is room for
a major international database conference in Europe every
two years,to serve as a forum for presentation of new
results in research, developmentand applications extending
the state of the art in database technology.
The 1992 EDBT conference has attracted a lot of interest.
This volume contains 33 papers selected from 220 papers
submitted by authors from more than 30 countries, including
invited papers by F. Bancilhon and R. Reiter.
The volume is organized into sections on: visual interfaces
and multimedia techniques, deductive databases, schema
updatability, object-oriented databases, updating in
deductive databases and knowledge bases, indexing
techniques, parallel processing, distributed databases,
knowledge bases, transaction processing, and query
processing.
This book constitutes the refereed proceedings of the 10th International Symposium on programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on A...
详细信息
ISBN:
(数字)9783540497660
ISBN:
(纸本)9783540650126
This book constitutes the refereed proceedings of the 10th International Symposium on programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic programming, ALP'98, in Pisa, Italy, in September 1998.;The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.
The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000). The conference took place on March 1-3, 2000, in Rome (Italy), at the conference center of the Univer...
详细信息
ISBN:
(数字)9783540465218
ISBN:
(纸本)9783540671596
The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000). The conference took place on March 1-3, 2000, in Rome (Italy), at the conference center of the University of Rome \La Sapienza". This conference was born in 1990 as a national meeting to be held every three years for Italian researchers in algorithms, data structures, complexity, and parallel and distributed computing. Due to a signi cant participation of foreign reaserchers, starting from the second conference, CIAC evolved into an international conference. In response to the call for papers for CIAC 2000, there were 41 subm- sions, from which the program committee selected 21 papers for presentation at the conference. Each paper was evaluated by at least three program committee members. In addition to the selected papers, the organizing committee invited Giorgio Ausiello, Narsingh Deo, Walter Ruzzo, and Shmuel Zaks to give plenary lectures at the conference. We wish to express our appreciation to all the authors of the submitted papers, to the program committee members and the referees, to the organizing committee, and to the plenary lecturers who accepted our invitation.
Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms. Distributed memory...
详细信息
ISBN:
(数字)9783642580666
ISBN:
(纸本)9783540562955;9783642634604
Advances in microelectronic technology have made massively
parallel computing a reality and triggered an outburst of
research activity in parallel processing architectures and
algorithms. Distributed memory multiprocessors - parallel
computers that consist of microprocessors connected in a
regular topology - are increasingly being used to solve
large problems in many application areas. In order to use
these computers for a specific application, existing
algorithms need to be restructured for the architecture and
new algorithms developed. The performance of a computation
on a distributed memory multiprocessor is affected by the
node and communication architecture, the interconnection
network topology, the I/O subsystem, and the parallel
algorithm and communication protocols. Each of these
parametersis a complex problem, and solutions require an
understanding of the interactions among them.
This book is based on the papers presented at the NATO
Advanced Study Institute held at Bilkent University, Turkey,
in July 1991. The book is organized in five parts: Parallel
computing structures and communication, Parallel numerical
algorithms, Parallel programming, Fault tolerance, and
Applications and algorithms.
The IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields to interact with each other and with leading academics and industries i...
详细信息
ISBN:
(数字)9783642153815
ISBN:
(纸本)9783642153808
The IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields to interact with each other and with leading academics and industries in the areas of machine learning, information processing, data mining, knowledge management, bio-informatics, neu- informatics, bio-inspired models, agents and distributed systems, and hybrid systems. This volume contains the papers presented at the 11th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2010), which was held September 1–3, 2010 in the University of the West of Scotland, on its Paisley campus, 15 kilometres from the city of Glasgow, Scotland. All submissions were strictly pe- reviewed by the Programme Committee and only the papers judged with sufficient quality and novelty were accepted and included in the proceedings. The IDEAL conferences continue to evolve and this year’s conference was no exc- tion. The conference papers cover a wide variety of topics which can be classified by technique, aim or application. The techniques include evolutionary algorithms, artificial neural networks, association rules, probabilistic modelling, agent modelling, particle swarm optimization and kernel methods. The aims include regression, classification, clustering and generic data mining. The applications include biological information processing, text processing, physical systems control, video analysis and time series analysis.
Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher M...
详细信息
ISBN:
(数字)9783322894243
ISBN:
(纸本)9783528045708
Die folgenden Motivationen haben zu dem vorliegenden Buch geführt: Da ist zunächst einmal die eigene Unzufriedenheit mit derzeit verfügbaren Büchern, die sich mit der gleichen oder ähnlicher Materie befassen. Sowohl theoretische Abhandlungen über das Thema ,Künstliche Intelligenz', Einführungen in moderne Programmiertechniken oder den Umgang mit Computersystemen scheinen sich heutzutage fast ausschließlich an Mathematiker, Physiker oder Informatiker zu wenden, an potentielle Computerbenutzer also, die mit vielen Aspekten der Materie bereits vertraut sind. Dies mußte ich beim Studium von Programmiersprachen wie LISP oder PROLOG schnell erkennen. Entnervt von mathematischen Problemen wie etwa dem Errechnen der Fakultät natürlicher Zahlen oder allgemeinen Problemlösungsverfahren wie etwa dem Turm von Hanoi dachte ich so manchmal daran, das Studium der jeweiligen Programmierhandbücher aufzugeben. Dabei wollte ich mich doch als Linguist mit den Problemen der natürlichen Sprache auseinander setzen und nicht etwa mit dem Lösen algebraischer Probleme. Das allerdings, so wurde mir bald klar, war nicht vorgesehen. Also machte ich mich selbst ans Werk. Über das Studium der elektronischen Datenver arbeitung allgemein, ersten Schritten mit einem Betriebssystem, dem Verstehen des Zusammenwirkans der Komponenten eines Computersystems bis hin zum Erlernen der Programmiersprachen BASIC, LISP und PROLOG gelang es mir, mich in die Geheimnisse moderner Computertechnologie einzuarbeiten. Schon bald wurde mir die Relevanz der Informationsverarbeitung auf einem Computer für mein Hauptarbeitsgebiet, die Lin guistik, klar. Geht es doch heute der modernen Linguistik u. a. darum, die Regeln der natürlichen Sprache auf Computersystemen zu implementieren.
暂无评论