Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the International Conference on Mathematical Modelling and Scientific Intelligence, ICMMSC 2012, Gandhigram, Tamil Nadu, India, in March 2012. The 62 revised full papers presented were carefully reviewed and selected from 332 submissions. The papers are organized in two topical sections on mathematical modelling and on scientific computation."

"This two-volume set, consisting of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, held in New Delhi, India, in March 2012. The total of 92 full papers were carefully reviewed and selected for inclusion in the proceedings. The contents have been ordered according to the following topical sections, NLP system architecture, lexical resources, morphology and syntax, word sense disambiguation and named entity recognition, semantics and discourse, sentiment analysis, opinion mining, and emotions, natural language generation, machine translation and multilingualism; text categorization and clustering, information extraction and text mining, information retrieval and question answering, document summarization, and applications."

"This two-volume set, consisting of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, held in New Delhi, India, in March 2012. The total of 92 full papers were carefully reviewed and selected for inclusion in the proceedings. The contents have been ordered according to the following topical sections, NLP system architecture, lexical resources, morphology and syntax, word sense disambiguation and named entity recognition, semantics and discourse, sentiment analysis, opinion mining, and emotions, natural language generation, machine translation and multilingualism; text categorization and clustering, information extraction and text mining, information retrieval and question answering, document summarization, and applications."

"This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems."

"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, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints."

"This book constitutes revised selected papers from the international conference on advanced computing, networking and security, ADCONS 2011, held in Surathkal, India, in December 2011. The 73 papers included in this book were carefully reviewed and selected from 289 submissions. The papers are organized in topical sections on distributed computing, image processing, pattern recognition, applied algorithms, wireless networking, sensor networks, network infrastructure, cryptography, web security, and application security."

"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 were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology, modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology, embedded computing and simulation technology, etc."

"This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in April 2012. The 12 papers were carefully reviewed and selected from 36 submissions and are completed by one invited keynote paper and a summary of the tutorial onsubject-oriented business process management. S-BPM as a discipline is characterized by a seamless approach toward the analysis, modeling, implementation, execution, and maintenance of business processes, with an explicit stakeholder focus. This year's contributions address all life-cycle activities, in particular analyzing business objectives, subject behavior design and integration, and automating complex work procedures."

"This book constitutes the refereed proceedings of the 24th International Conference on Scientific and Statistical Database Management, SSDBM 2012, held in Chania, Grete, Greece, in June 2012. The 25 long and 10 short papers presented together with 2 keynotes, 1 panel, and 13 demonstration and poster papers were carefully reviewed and selected from numerous submissions. The topics covered are uncertain and probabilistic data, parallel and distributed data management, graph processing, mining multidimensional data, provenance and workflows, processing scientific queries, and support for demanding applications."

"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 were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology, modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology, embedded computing and simulation technology, verification, validation and accreditation technology, networked modeling and simulation technology, modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system, high performance computing and simulation technology, cloud simulation technology, modeling and simulation technology of complex system and open, complex, huge system, simulation based acquisition and virtual prototyping engineering technology, simulator; simulation language and intelligent simulation system, parallel and distributed software, CAD, CAE, CAM, CIMS, VP, VM, and VR, visualization, computing and simulation applications in science and engineering, computing and simulation applications in management, society and economics, computing and simulation applications in life and biomedical engineering, computing and simulation applications in energy and environment, computing and simulation applications in education, computing and simulation applications in military field, computing and simulation applications in medical field."