Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 495 dokumen yang sesuai dengan query
cover
Roger Lee, editor
The purpose of the 9th International Conference on Software Engineering Research, Management and Applications(SERA 2011) held on August 10-12, 2011 in Baltimore, Maryland was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and...
Berlin: [, Springer], 2012
e20418202
eBooks  Universitas Indonesia Library
cover
Toyohide Watanabe, editor
The present volume includes the recent advances in intelligent paradigms and innovative applications such as document processing, language translation, English academic writing, crawling system for web pages, web-page retrieval technique, aggregate k-Nearest Neighbour for answering queries, context-aware guide, recommendation system for museum, meta-learning environment, case-based reasoning approach for adaptive modelling...
Berlin: [, Springer], 2012
e20418204
eBooks  Universitas Indonesia Library
cover
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
cover
cover
Leak detection is always interesting research topic,where leak location and leak rate are two pipeline leaking parameters that should be detewrmined......
ITJOICT
Artikel Jurnal  Universitas Indonesia Library
cover
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
cover
This volume of the book contains a collection of chapters selected from the papers which originally (in shortened form) have been presented at the 3rd International Conference on Human-Systems Interaction held in Rzeszow, Poland, in 2010. The chapters are divided into five sections concerning. IV. Environment monitoring and robotic systems,...
Berlin : Springer, 2012
e20425839
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20410409
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Computational Intelligence, AICI 2012, held in Chengdu, China, in October 2012. The 163 revised full papers presented were carefully reviewed and selected from 724 submissions. The papers are organized in topical sections on applications of artificial...
Berlin: Springer-Verlag, 2012
e20408432
eBooks  Universitas Indonesia Library
cover
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in...
Berlin: Springer-Verlag, 2012
e20410262
eBooks  Universitas Indonesia Library