Ditemukan 359 dokumen yang sesuai dengan query
Luis Farinas del Cerro, editor
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of...
Berlin: [, Springer-Verlag], 2012
e20409374
eBooks Universitas Indonesia Library
Stephen H. Muggleton, editor
This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are five extended abstracts and three invited talks....
Berlin: [, Springer-Verlag], 2012
e20410170
eBooks Universitas Indonesia Library
Toru Ishida, editor
Here we use the term "field" to refer to a sphere of practical operation, and correspondingly the term "field informatics" describes informatics tools and methodologies that arise in the field. The components of field informatics are description, prediction, design and transfer, and the methods for those components vary widely. For...
Berlin : [, Springer-Verlag], 2012
e20410606
eBooks Universitas Indonesia Library
Leszek Rutkowski, editor
The two-volume set LNAI 7267 and 7268 (together with LNCS 7269 ) constitutes the refereed proceedings of the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012, held in Zakopane, Poland in April/ May 2012. The 212 revised full papers presented were carefully reviewed and selected from 483...
Berlin : [, Springer-Verlag], 2012
e20410605
eBooks Universitas Indonesia Library
Creignou, Nadia, author
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442783
eBooks Universitas Indonesia Library
The book, gathering the proceedings of the Future of Information and Communication Conference (FICC) 2018, is a remarkable collection of chapters covering a wide range of topics in areas of information and communication technologies and their applications to the real world. It includes 104 papers and posters by pioneering academic...
Switzerland: Springer Nature, 2019
e20505919
eBooks Universitas Indonesia Library
Lele, Ajey, author
This book debates and discusses the present and future of Disruptive Technologies in general and military Disruptive Technologies in particular. Its primary goal is to discuss various critical and advanced elucidations on strategic technologies. The focus is less on extrapolating the future of technology in a strict sense, and more...
Singapore: Springer Nature, 2019
e20507839
eBooks Universitas Indonesia Library
The book comprises selected papers presented at the International Conference on Advanced Computing, Networking and Informatics (ICANI 2018), organized by Medi-Caps University, India. It includes novel and original research work on advanced computing, networking and informatics, and discusses a wide variety of industrial, engineering and scientific applications of the emerging...
Singapore: Springer Nature, 2019
e20509073
eBooks Universitas Indonesia Library
The main contemporary human-system interaction (H-SI) problems consist in design and/or improvement of the tools for effective exchange of information between individual humans or human groups and technical systems created for humans aiding in reaching their vital goals. This book is a second issue in a series devoted to the...
Berlin : Springer, 2012
e20425838
eBooks Universitas Indonesia Library
London: Institution of Electrical Engineering, 1997
621.399 ART
Buku Teks Universitas Indonesia Library
