This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010.The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.

14,995円

Trustworthy Global Computing…

The three-volume set LNCS 6361, 6362 and 6363 constitutes the refereed proceedings of the 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, held in Beijing, China, in September 2010. Based on rigorous peer reviews, the program committee carefully selected 251 revised papers from 786 submissions for presentation in three volumes. The third volume includes 83 papers organized in topical sections on segmentation and modeling, robotics, motion modeling and computer-assisted interventions, image reconstruction, enhancement and representation, and computer-aided diagnosis.

30,008円

Medical Image Computing and …

This book constitutes the proceedings of the 16th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Maastricht, The Netherlands, in September 2010. The 27 revised papers presented were carefully reviewed and selected from numerous submissions. They are grouped into seven themes that represent current areas of interest in groupware research: knowledge elicitation, construction and structuring, collaboration and decision making, collaborative development, awareness, support for groupware design, social networking and mobile collaboration.

14,995円

Collaboration and Technology…

The three-volume set LNCS 6361, 6362 and 6363 constitutes the refereed proceedings of the 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, held in Beijing, China, in September 2010. Based on rigorous peer reviews, the program committee carefully selected 251 revised papers from 786 submissions for presentation in three volumes. The second volume includes 84 papers organized in topical sections on ultrasound imaging, neuroimage analysis, simulation of anatomical structures, endoscopic and microscopic imaging, and image registration.

32,454円

Medical Image Computing and …

This book constitutes the refereed proceedings of the 13th International Conference on Text, Speech and Dialogue, TSD 2010, held in Brno, Czech Republic, September 2010. The 71 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 144 submissions. The topics of the conference include, but are not limited to text corpora and tagging, transcription problems in spoken corpora, sense disambiguation, links between text and speech oriented systems, parsing issues, multi-lingual issues, information retrieval and information extraction, text/topic summarization, machine translation, semantic web, speech modeling, speech recognition, search in speech for IR and IE, text-to-speech synthesis, emotions and personality modeling, user modeling, knowledge representation in relation to dialogue systems, assistive technologies based on speech and dialogue, applied systems and software, facial animation, as well as visual speech synthesis.

30,008円

Text, Speech and Dialogue: 1…

This book constitutes the refereed proceedings of the 7th European Performance Engineering Workshop, EPEW 2010, held in Bertinoro, Spain, in September 2010.The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on network and software performance; timed models and model checking; case studies; model solutions and bounds; and compositional analysis.

14,995円

Computer Performance Enginee…

This book constitutes the proceedings of the 15th Robot World Cup and Congress on Trends in Intelligent Robotics held in Bangalore, India, in September 15-19,2010.

14,995円

Trends in Intelligent Roboti…

This three volume set LNCS 6352, LNCS 6353, and LNCS 6354 constitutes the refereed proceedings of the 20th International Conference on Artificial Neural Networks, ICANN 2010, held in Thessaloniki, Greece, in September 20010. The 102 revised full papers, 68 short papers and 29 posters presented were carefully reviewed and selected from 241 submissions. The third volume is divided in topical sections on classification pattern recognition, learning algorithms and systems, computational intelligence, IEM3 workshop, CVA workshop, and SOINN workshop.

14,995円

Artificial Neural Networks -…

This book constitutes the refereed proceedings of the First Joint International Workshop on Statistical Atlases and Computational Models of the Heart and Cardiac Electrophysiological Simulation Challenge, STACOM-CESC 2010, held in conjunction with MICCAI 2010, in Beijing, China, in September 2010. The 27 revised full papers presented together with 3 keynote presentations were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on methods and infrastructure for atlas construction, structure and flow, mechanics and motion, electrophysiology and electrical activation, and computational electrophysiological simulation challenge.

14,995円

Statistical Atlases and Comp…

This book constitutes the proceedings of the 6th Italian Research Conference on Digital Libraries held in Padua, Italy, in January 2010.

14,995円

Digital Libraries: 6th Itali…

This book constitutes the proceedings of the Third Future Internet Symposium, FIS, held in Berlin, Germany in September 2010.The aim of this symposium was to bring together scientists and engineers from academia and industry and from various disciplines to exchange and discuss their ideas, views, and research results towards a consolidated, converged and sustainable future internet. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics such as future internet architectures and protocols; semantic technologies; and internet of services, things and content.

14,995円

Future Internet - FIS 2010: …

This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2010, held in Barcelona, Spain, in September 2010. The 120 revised full papers presented in three volumes, together with 12 demos (out of 24 submitted demos), were carefully reviewed and selected from 658 paper submissions. In addition, 7 ML and 7 DM papers were distinguished by the program chairs on the basis of their exceptional scientific quality and high impact on the field. The conference intends to provide an international forum for the discussion of the latest high quality research results in all areas related to machine learning and knowledge discovery in databases. A topic widely explored from both ML and DM perspectives was graphs, with motivations ranging from molecular chemistry to social networks.

30,008円

Machine Learning and Knowled…

This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2010, held in Barcelona, Spain, in September 2010. The 120 revised full papers presented in three volumes, together with 12 demos (out of 24 submitted demos), were carefully reviewed and selected from 658 paper submissions. In addition, 7 ML and 7 DM papers were distinguished by the program chairs on the basis of their exceptional scientific quality and high impact on the field. The conference intends to provide an international forum for the discussion of the latest high quality research results in all areas related to machine learning and knowledge discovery in databases. A topic widely explored from both ML and DM perspectives was graphs, with motivations ranging from molecular chemistry to social networks.

14,995円

Machine Learning and Knowled…

This book is part II of a two-volume work that contains the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. The 95 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in three topical sections: advances in pattern recognition, machine vision and image understanding; human motion analysis and synthesis; and computer vision and graphics.

14,995円

Computer Vision and Graphics…

This book is part I of a two-volume work that contains the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. The 95 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in three topical sections: advances in pattern recognition, machine vision and image understanding; human motion analysis and synthesis; and computer vision and graphics.

14,995円

Computer Vision and Graphics…

This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2010, held in Barcelona, Spain, in September 2010. The 120 revised full papers presented in three volumes, together with 12 demos (out of 24 submitted demos), were carefully reviewed and selected from 658 paper submissions. In addition, 7 ML and 7 DM papers were distinguished by the program chairs on the basis of their exceptional scientific quality and high impact on the field. The conference intends to provide an international forum for the discussion of the latest high quality research results in all areas related to machine learning and knowledge discovery in databases. A topic widely explored from both ML and DM perspectives was graphs, with motivations ranging from molecular chemistry to social networks.

30,008円

Machine Learning and Knowled…

This book examines the role of mathematics in the design of products and the layout of production processes and supply chains. Written by experts in engineering, industry and mathematics, it's a fascinating view of the interplay of mathematics and engineering.

14,995円

Production Factor Mathematic…

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.

14,995円

Web Services and Formal Meth…

This book constitutes the thoroughly refereed post-conferenceproceedings of the 4th International Conference on Information TheoreticSecurity, held in Shizuoka, Japan, in December 2009.The 13 revised full papers presented together with 6 invited lectureswere carefully reviewed and selected from 50 submissions. The papers areorganized in topical sections on leakage resilient cryptography, quantumcryptography and indistinguishability, connection to computationalsecurity, secret sharing, key agreement from common randomness, randomgraph and group testing, reliable data transmission and computation, aswell as fingerprint and watermarking.

14,995円

Information Theoretic Securi…

This book constitutes the refereed proceedings of the 10th International Workshop on Algorithms in Bioinformatics, WABI 2010, held in Liverpool, UK, in September 2010.The 30 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on biomolecular structure: RNA, protein and molecular comparison; comparative genomics; haplotype and genotype analysis; high-throughput data analysis: next generation sequencing and flow cytometry; networks; phylogenetics; and sequences, strings and motifs.

30,008円

Algorithms in Bioinformatics…

This book constitutes the proceedings of the 7th International Conference on Security and Cryptography for Networks held in Amalfi, Italy, in September 2010.

14,995円

Security and Cryptography fo…

This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009.The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.

14,995円

Foundational and Practical A…

This book constitutes the refereed proceedings of the 10th International Colloquium on Grammatical Inference, ICGI 2010, held in Valencia, Spain, in September 2010. The 18 revised full papers and 14 revised short papers presented were carefully reviewed and selected from numerous submissions. The topics of the papers presented vary from theoretical results about the learning of different formal language classes (regular, context-free, context-sensitive, etc.) to application papers on bioinformatics, language modelling or software engineering. Furthermore there are two invited papers on the topics grammatical inference and games and molecules, languages, and automata.

14,995円

Grammatical Inference: Theor…

This book constitutes the proceedings of the 7th VLDB Workshop on Secure Data Management held in Singapore in September 17, 2010.The regular papers in the proceedings are grouped into two sections. The first section focuses on privacy. The papers in this section present a balanced mix of theoretical work on anonymity and application-oriented work. The second focuses on data security in open environments. The papers address issues related to the management of confidential data that is stored in or released to open environments, such as, for example, in cloud computing.

14,995円

Secure Data Management: 7th …

This book constitutes the refereed proceedings of the 14th East European Conference on Advances in Databases and Information Systems, ADBIS 2010, held in Novi Sad, Serbia on September 20-24, 2010. The 36 revised full papers and 14 short papers were carefully selected from 165 submissions. Tolically the papers span a wide spectrum of topics in the database and information systems field, including database theory, advanced DBMS technologies, design methods, data mining and data warehousing, spatio-temporal and graph structured data and database applications.

30,008円

Advances in Databases and In…

This volume constitutes the refereed proceedings of the 14th International Software Product Line Conference, SPLC 2010, held on Jeju Island, South Korea, in September 2010.

14,995円

Software Product Lines: Goin…

This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.

14,995円

Mathematical Software - ICMS…

This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.

14,995円

Testing: Academic and Indust…

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.The book includes 3 invited talks, 21 regular papers and 9 tool papers.

14,995円

Automated Technology for Ver…

This book constitutes the proceedings of the 29th International Conference on Computer Safety, Reliability, and Security held in Vienna, Austria in September 2010.

14,995円

Computer Safety, Reliability…

このサイトのデータは 2025/07/06 14:45:15 に楽天APIから取得しました。このサイトで掲載されている情報は shopping.ago-go.org の作成者により運営されています。 価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。