Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 5th International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction, held in College Park, MD, USA, in April 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. The papers cover a wide range of topics including economics, public health, and terrorist activities, as well as utilize a broad variety of methodologies, e.g., machine learning, cultural modeling and cognitive modeling."

"This book constitutes the refereed proceedings of the 8th International Conference on Data Integration in the Life Sciences, DILS 2012, held in College Park, MD, USA, on June 28-29, 2012. The 11 revised papers included in this volume were carefully reviewed and selected. The papers cover the following topics, foundations of data integration, new paradigms for data integration, and integrating clinical data"

"This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques."

"The main focus of this book has been to explore how ambient intelligence can contribute towards smarter but still more sustainable environments. Beyond sustainable computing the proceedings also include research work describing progress on other key research topics for AmI such as human environment mobile-mediated (through NFC or AR) interaction, artificial intelligence techniques to foster user- and context-aware environment adaptation, future internet trends such as social networks analysis, linked data or crowd-sourcing applied to AmI, internet-connected object ecosystems collaborating to give place to smarter environments."

"This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2012, held in New Rochelle, NY, USA, in May/June 2012. The event was co-organized by the AMSE Association and Iona College. The 27 full papers in this book were carefully reviewed and selected from 78 submissions. In addition to these papers a summary of the plenary presentation given by Ronald R. Yager is also included. The book mainly focuses on the field of intelligent systems and its application to economics and business administration. Some papers have a stronger orientation towards modeling and simulation in these fields."

"The two-volume set LNAI 7267 and LNCS 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 submissions. The papers are organized in topical sections on neural networks and their applications, computer vision, image and speech analysis, data mining, hardware implementation, bioinformatics, biometrics and medical applications, concurrent parallel processing, agent systems, robotics and control, artificial intelligence in modeling and simulation, various problems od artificial intelligence."

"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 submissions. The papers are organized in topical sections on neural networks and their applications, computer vision, image and speech analysis, data mining, hardware implementation, bioinformatics, biometrics and medical applications, concurrent parallel processing, agent systems, robotics and control, artificial intelligence in modeling and simulation, various problems od artificial intelligence."

"This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 invited papers were carefully reviewed and selected from 62 submissions. The papers cover the analysis of biological systems, networks, and data ranging from intercellular to multiscale. Topics included high-performance computing, and for the first time papers on synthetic biology."

"The 14 revised full papers presented were carefully reviewed and selected from numerous submissions. This volume includes complete research work organised in five groups as follows, keynote speech, reviews, policy consultations, case studies, and techniques and analysis."

"This book constitutes the refereed conference proceedings of the 9th International Conference on Advances in Computer Entertainment, ACE 2012, held in Kathmandu, Nepal, in November 2012. The 10 full paper and 19 short papers presented together with 5 papers from the special track Arts and Culture and 35 extended abstracts were carefully reviewed and selected from a total of 140 submissions in all categories. The papers cover topics across a wide spectrum of disciplines including computer science, design, arts, sociology, anthropology, psychology, and marketing. Focusing on all areas related to interactive entertainment they aim at stimulating discussion in the development of new and compelling entertainment computing and interactive art concepts and applications."