Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 495 dokumen yang sesuai dengan query
cover
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
cover
Thomas Agotnes, editor
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning,...
Berlin: [Springer-Verlag, ], 2012
e20410210
eBooks  Universitas Indonesia Library
cover
Nick Bezhanishvili, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin: [, Springer-Verlag], 2012
e20410243
eBooks  Universitas Indonesia Library
cover
Michail Salampasis, editor
This book constitutes the proceedings of the 5th International Information Retrieval Facility Conference, IRFC 2012, held in Vienna, Austria, July 2-3, 2012. The 12 papers presented were carefully reviewed and selected from 17 high-quality submissions. IRF conferences wish to bring young researchers into contact with industry at an early stage....
Berlin : [, Springer-Verlag], 2012
e20410423
eBooks  Universitas Indonesia Library
cover
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410561
eBooks  Universitas Indonesia Library
cover
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410562
eBooks  Universitas Indonesia Library
cover
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410563
eBooks  Universitas Indonesia Library
cover
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
cover
Tauseef Gulrez, editor
The book covers robotics role in medicine, space exploration and also explains the role of virtual reality as a non-destructive test bed which constitutes a premise of further advances towards new challenges in robotics...
Berlin: [, Springer], 2012
e20418129
eBooks  Universitas Indonesia Library
cover
Ferrante Neri, editor
Memetic Algorithms (MAs) are computational intelligence structures combining multiple and various operators in order to address optimization problems. The combination and interaction amongst operators evolves and promotes the diffusion of the most successful units and generates an algorithmic behavior which can handle complex objective functions and hard fitness landscapes....
Berlin: [Springer, ], 2012
e20418137
eBooks  Universitas Indonesia Library