This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Comput...
详细信息
ISBN:
(数字)9783540693536
ISBN:
(纸本)9783540645702
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.;The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.
This book constitutes the refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.
ISBN:
(数字)9783030380434
ISBN:
(纸本)9783030380427
This book constitutes the refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.
This book constitutes selected papers from the Second International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and First International Workshop on IoT, Edge, and Mobile for ...
详细信息
ISBN:
(数字)9783030667702
ISBN:
(纸本)9783030667696
This book constitutes selected papers from the Second International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and First International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning, ITEM 2020, co-located with ECML/PKDD 2020 and held in September 2020. Due to the COVID-19 pandemic the workshops were held online.;The 21 full papers and 3 short papers presented in this volume were thoroughly reviewed and selected from 35 submissions and are organized according to the workshops and their topics:;Stream Learning; Feature Learning;;Unsupervised Machine Learning; Hardware; Methods; Quantization.
Für euch, Kinder der Wissenschaft und der Weisheit, haben wir dieses geschrieben. Erforschet das Buch und suchet euch unsere Ansicht zusammen, die wir verstreut und an mehreren Orten dargetan haben; was euch an e...
详细信息
ISBN:
(数字)9783709140543
Für euch, Kinder der Wissenschaft und der Weisheit, haben wir dieses geschrieben. Erforschet das Buch und suchet euch unsere Ansicht zusammen, die wir verstreut und an mehreren Orten dargetan haben; was euch an einem Orte verborgen bleibt, das haben wir an einem anderen offenge/egt, damit es faßbar werde für eure Weisheit. Heinrich Cornelius Agrippa von Nettesheim, "De occulta philosophia". Angesichts einer wahren Flut von Büchern über Informatik erhebt sich die berechtig te Frage, was vier in der Informatiker-Ausbildung an der Technischen Universität Wien tätige Autoren veranlaßt, beinahe ein ganzes Jahr ihrer ohnedies knappen Zeit zu opfern und ein weiteres zu schreiben H ••• damit es faßbar werde für eure Weisheit"? Initiales Moment für die Beschäftigung mit dieser Idee war das Problem, den Hörern der für das erste Semester vorgesehenen Vorlesung "Einführung in die Informa tik I" geeignete schriftliche Unterlagen empfehlen zu müssen. Die Ziele dieser insge samt sechsstündigen Lehrveranstaltung haben, im Gegensatz zu der parallel stattfin denden "Einführung in das Programmieren", jedoch kaum etwas mit der Entwicklung von Software zu tun. Vielmehr werden hier gen au jene Aspekte der Informatik abge deckt, die nicht die eigentliche Programmierung betreffen. Nun erwies sich aber ein Großteil der in der letzten Zeit erschienenen (guten) Bücher über Informatik als zu anspruchsvoll beziehungsweise zu spezialisiert; etwa 80% der in technischen Buchhandlungen zu findenden Werke sind eigentlich Pro gramm- oder Hardware-Beschreibungen.
This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA...
详细信息
ISBN:
(数字)9783030611330
ISBN:
(纸本)9783030611323
This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020. Due to the COVID-19 pandemic the conference was held online.;The 11 full papers and 4 short papers were thoroughly reviewed and selected from 38 submissions. The volme presents original research and application papers on the development of novel graph analytics models, scalable graph analytics techniques and systems, data integration, and data exchange.
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1...
详细信息
ISBN:
(数字)9783540454069
ISBN:
(纸本)9783540419501
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.;This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.
ISBN:
(数字)9783031258039
ISBN:
(纸本)9783031258022
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.
The IBM project LILOG presented in this volume represents afundamental stepbeyond computer science as hithertounderstood. It was a successful project in every respect andhas shed light on conjectured basic interrelati...
详细信息
ISBN:
(数字)9783540384939
ISBN:
(纸本)9783540545941
The IBM project LILOG presented in this volume represents a
fundamental stepbeyond computer science as hitherto
understood. It was a successful project in every respect and
has shed light on conjectured basic interrelations between
knowledge processing and language definition. Knowledge
processing is strongly coupled to the natural language used,
and for applied knowledge processing an information base is
neededwhich defines the semantic contents and
interrelations of the language.
The LILOG project was an implementation of an information
basein the German language. A set of tools was also
developed to work with the system, including structured
man-machine interfaces using natural language, inference
algorithms, and a complete subsystem to acquire and store
the required knowledge.
The LILOG project started in 1985 and a functional system
was demonstrated in 1991. The project involved approximately
200 of the scientists working in Germany in the fields of
computational linguistics, natural language understanding
systems, and artificial intelligence. The project proves
that a cooperative project between universities and industry
can produce useful results both in pure research and in
implemented methods and tools.
暂无评论