Ditemukan 1130 dokumen yang sesuai dengan query
Bariqi Abdillah, author
ABSTRAK
Pelacakan multi objek merupakan salah satu topik penting pada bidang ilmu komputer yang memiliki banyak aplikasi, diantaranya adalah sebagai sistem pengawasan, navigasi robot, analisis bidang olahraga, autonomous driving car, dan lain-lain. Salah satu permasalahan utama pelacakan multi objek adalah oklusi. Oklusi adalah objek yang tertutupi oleh objek lainnya. Oklusi dapat...
2018
T52044
UI - Tesis (Membership) Universitas Indonesia Library
Andrew M. Dienstfrey, editor
This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections...
Heidelberg : Springer, 2012
e20406417
eBooks Universitas Indonesia Library
Ben Juurlink, editor
The book presents a detailed methodology for parallelization of this type of applications. It begins with a description of the algorithm, an analysis of the data dependencies and an evaluation of the different parallelization strategies. Then the design and implementation of a novel parallelization approach is presented that is scalable...
New York: Springer, 2012
e20407646
eBooks Universitas Indonesia Library
Luc Steels, editor
This volume presents contributions establishing the feasibility of human language-like communication with robots. The book explores the use of language games for structuring situated dialogues in which contextualized language communication and language acquisition can take place. Within the text are integrated experiments demonstrating the extensive research which targets artificial language...
New York: Springer, 2012
e20407651
eBooks Universitas Indonesia Library
This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated...
Berlin: Springer-Verlag, 2011
e20407983
eBooks Universitas Indonesia Library
Michael J. Dinneen, editor
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation....
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks Universitas Indonesia Library
The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for...
Berlin: Springer-Verlag, 2012
e20410265
eBooks Universitas Indonesia Library
Mehler, Alexander, editor
The book focuses on theoretical foundations of representing natural language texts as well as on concrete operations of automatic text processing. The present volume includes contributions to a wide range of topics in the context of processing of textual data. This relates to the learning of ontologies from natural language...
Berlin: Springer, 2011
e20418145
eBooks Universitas Indonesia Library
Heterogeneous computing with OpenCL teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs) such as AMD Fusion technology. Designed to work on multiple platforms and with wide industry support, OpenCL will help you more...
Waltham, MA: Morgan Kaufmann, 2013
e20427043
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers...
Heidelberg : Springer, 2012
e20406300
eBooks Universitas Indonesia Library
