Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 13672 dokumen yang sesuai dengan query
cover
Horimoto, Katsuhisa, editor
"This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods."
Berlin: [Springer-Verlag, ], 2012
e20408806
eBooks  Universitas Indonesia Library
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. The papers represent the diversity and vitality in present ILP research including ILP theory, implementations, probabilistic ILP, biological applications, sub-group discovery, grammatical inference, relational kernels, learning of Petri nets, spatial learning, graph-based learning, and learning of action models."
Berlin: [, Springer-Verlag], 2012
e20410170
eBooks  Universitas Indonesia Library
cover
Till Mossakowski, editor
"This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification, other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven development, graph transformations, term rewriting and proof systems, integration of formal specification techniques, formal testing and quality assurance validation, and verification."
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks  Universitas Indonesia Library
cover
Rajkumar Kannan, editor
"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Data Engineering and Management, ICDEM 2010, held in Tiruchirappalli, India, in July 2010. The 46 revised full papers presented together with 1 keynote paper and 2 tutorial papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Digital Library; Knowledge and Mulsemedia; Data Management and Knowledge Extraction; Natural Language Processing; Workshop on Data Mining with Graphs and Matrices."
Berlin: Springer-Verlag, 2012
e20408166
eBooks  Universitas Indonesia Library
cover
"The publication contains a selection of the best double-blind reviewed papers presented, discussed and revised by participants of the 1st International Conference on Value Chain Management in Austria, Steyr, May 2011. The Value Chain Management (VCM) Conference presents scientific insights relevant to management as well as their translation into the practice of management. The conference focus is on the demand chain i.e. sales, production, purchasing, logistics, performance measurement and customer value management. The authors present analytical and conceptual articles as well as empirical studies showing multidisciplinary and intercultural approaches towards solving relevant open problems.;"
Berlin: [Springer, ], 2012
e20397154
eBooks  Universitas Indonesia Library
cover
"The present book includes a set of selected extended papers from the second International Joint Conference on Computational Intelligence (IJCCI 2010), held in Valencia, Spain, from 24 to 26 October 2010. The conference was composed by three co-located conferences: The International Conference on Fuzzy Computation (ICFC), the International Conference on Evolutionary Computation (ICEC), and the International Conference on Neural Computation (ICNC). Recent progresses in scientific developments and applications in these three areas are reported in this book. IJCCI received 236 submissions, from 49 countries, in all continents. After a double blind paper review performed by the Program Committee, only 30 submissions were accepted as full papers and thus selected for oral presentation, leading to a full paper acceptance ratio of 13%. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of IJCCI 2010."
New York: Springer, 2012
e20395520
eBooks  Universitas Indonesia Library
cover
cover
"This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference, eHealth 2010, held in Casablanca, Morocco, in December 2010. The 30 revised full papers presented along with 12 papers from 2 collocated workshops were carefully reviewed and selected from 70 submissions in total and cover a wide range of topics including web intelligence, privacy, trust and security, ontologies and knowledge management, eLearning and education, Web 2.0 and online communications of practice, and performance monitoring and evaluation frameworks for healthcare."
Heidelberg: Springer, 2011
e20410775
eBooks  Universitas Indonesia Library
cover
"This book constitutes the refereed proceedings of the 8th International Joint Conference on E-Business and Telecommunications, ICETE 2011, held in Seville, Spain in July 2011. The 118 revised full papers presented were carefully reviewed and selected from 409 submissions. The topics covered are data communication networking, e-business, optical communication systems, security and cryptography, signal processing and multimedia applications, and wireless networks and information systems. These are the main knowledge areas that define the six component conferences, namely: DCNET, ICE-B, OPTICS, SECRYPT, SIGMAP, and WINSYS which together form the ICETE joint conference."
Berlin: Springer-Verlag, 2012
e20408165
eBooks  Universitas Indonesia Library
cover
"This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces"
Berlin: Springer-Verlag, 2012
e20410291
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>