This volume constitutes the refereed proceedings of the Joint IAPR International Workshop, SSPR & SPR 2010, held in Cesme, Izmir, Turkey, in August 2010.

37,510円

Structural, Syntactic, and S…

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference, SENSAPPEAL 2009, held in Athens, Greece, in September 2009. The 12 revised full papers were carefully reviewed and selected from 24 submissions. The papers cover various topics such as WSN for fire hazard detection and monitoring, WSN for precision horticulture, a nephelometric turbidity system for monitoring residential drinking water quality, deployment of a wireless ultrasonic sensor array for psychological monitoring, WISEBED: an open large-scale wireless sensor network testbed, SmartEN: a Marie Curie research framework for WSN in smart management of the human environment, embedded web server for the AVR butterfly enabling immediate access to wireless sensor node readings, as well as TinySPOTComm: facilitating communication over IEEE 802.15.4 between Sun SPOTs and TinyOS-based motes.

18,744円

Sensor Applications, Experim…

Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

18,744円

Specification and Verificati…

This book constitutes the proceedings of the First International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2010, held in Puebla, Mexico, on August 8-11, 2010. The 19 papers presented together with four invited talks were carefully reviewed and selected from 62 submissions. The topics covered are encryption, elliptic curves, implementation of pairings, implementation of cryptographic algorithms, cryptographic protocols and foundations, cryptanalysis of symmetric primitives, post-quantum cryptography, and side-channel attacks.

18,744円

Progress in Cryptology - LAT…

This book constitutes the thoroughly refereed post-conference proceedings of the Second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming, MTPP 2010, held in Vladivostok, Russia in May 2010. The 33 revised full papers were carefully selected from a large number of submissions and cover the many dimensions of methods and tools of parallel programming, algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental approaches as well as commercial components and systems.

18,744円

Methods and Tools of Paralle…

This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007.The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school 's attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.

18,744円

Testing Techniques in Softwa…

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, , in August 2010. The 22 revised papers and 23 poster papers presented together with 3 invited talks and 2 tutorial papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on Euler and Venn diagrams, formal aspects of diagrams, reasoning with diagrams, interacting with diagrams, constructing diagrams, and understanding diagrams and text.

18,744円

Diagrammatic Representation …

Data compression is vital to modern computing, and this comprehensive reference covers the many different types and methods of compression. It includes a detailed taxonomy, analysis of the most common methods, and detailed descriptions of how to use them.

68,200円

Handbook of Data Compression

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2009, held in Lyon, France, in August 2009, in conjunction with VLDB 2009, the International Conference on Very Large Data Bases.The volume contains the carefully reviewed selected papers from the workshop, including one of the two keynotes, the six research, two industrial, and one experimental paper, and also the basic statements from the panel discussion on Merging OLTP and OLAP . The topical focus is on models and concepts, architectures, case-studies, and applications of technologies for real-time enterprise business intelligence.

18,744円

Enabling Real-Time Business …

This book constitutes the thoroughly refereed post-conferenceproceedings of the 2nd International Conference on Object Databases, ICOODB 2009, held in Zurich, Switzerland, in July 2009.The 6 revised full papers presented together with 3 invited papers werecarefully reviewed and selected from the presentations at the researchtrack during two rounds of reviewing and improvement. These papersaddress a wide range of issues related to object databases, includingtopics such as applications, methodologies, design tools, frameworks andstandards as well as core object database technologies.

18,744円

Object Databases

Under the auspices of the Association of Logic, Language and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place during two weeks in the European summer and hosts approximately 50 different courses at both introductory and advanced level. With its focus on the large interdisciplinary area where linguistics, logic and computation converge, it has become very popular since it started in 1989, attracting large numbers of students.ESSLLI Student Sessions were first held in 1996; they are organized along the lines of a conference. Their intention is to provide a forum where promising work by Master or PhD students can be presented.This book constitutes 12 selected contributions from the Student Sessions held in 2008 and 2009. The papers are organized in four sections: semantics and pragmatics, mathematical linguistics, applied computational linguistics, and logic and computation.

18,744円

Interfaces: Explorations in …

37,510円

Advanced Intelligent Computi…

37,510円

Advanced Intelligent Computi…

18,744円

Unifying Theories of Program…

7,480円

Structures of Participation …

This volume constitutes the refereed proceedings of the 6th International Workshop on Adaptive Multimedia Retrieval, AMR 2008, held in Berlin, Germany, in June 2008.

18,744円

Adaptive Multimedia Retrieva…

This book constitutes the refereed proceedings of 4 workshops held at the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2009.The 24 revised full papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the workshop sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Knowledge Collaboration in Software Development (KCSD), and Learning with Logics and Logics for Learning (LLLL).

18,744円

New Frontiers in Artificial …

This book constitutes the refereed proceedings of the 10th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2010, held in conjunction with the Third Conference on Smart Spaces, ruSMART 2009 in St. Petersburg, Russia, in August 2010.The 27 revised NEW2AN full papers are organized in topical sections on performance evaluation; performance modeling; delay-/disruption-tolerant networking and overlay systems; integrated wireless networks; resource management; and multimedia communications. The 14 revised ruSMART full papers are about smart spaces use cases; smart-M3 platform; and smart spaces solutions.

18,744円

Smart Spaces and Next Genera…

This work constitutes the proceedings of the Second International Workshop on Advances in Social Network and Analysis, held in Las Vegas, NV, USA in August 2008.

18,744円

Advances in Social Network M…

This book constitutes the proceedings of the Second Future Internet Symposium, held in Berlin, Germany in September 2009. The ten papers accepted for presentation were carefully reviewed and selected from many submissions.The included papers propose novel ideas and results related to the Future Internet infrastructure and its virtualization, the Internet of services and of things, the problem of accessing the resources available on the Future Internet, the applications that will be available in the Future Internet.

18,744円

Future Internet--FIS 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2009.

18,744円

Coordination, Organizations,…

This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.

18,744円

Computational Logic in Multi…

This book constitutes the thoroughly refereed post-conference proceedings of the Sixth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2009, held in Genova, Italy, in October 2009. The revised 23 full papers presented were carefully reviewed and selected from 57 submissions. The main goal of the CIBB meetings is to provide a forum open to researchers from different disciplines to present and discuss problems concerning computational techniques in tools for bioinformatics, gene expression analysis and new perspectives in bioinformatics together with 4 special sessions on using game-theoretical tools in bioinformatics, combining Bayesian and machine learning approaches in bioinformatics: state of the art and future perspectives, data clustering and bioinformatics (DCB 2009) and on intelligent systems for medical decisions support (ISMDS 2009).

18,744円

Computational Intelligence M…

This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich 's multiple areas of interest.

37,510円

Fields of Logic and Computat…

This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. The 11 papers presented together with 3 invited talks were carefully revised and selected for inclusion in the book. This third conference is part of the Verified Software Initiative (VSI), which is a 15 year international project that focuses on the scientific and technical challenges of producing verified software. The goal of VSTTE 2010 was to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. The accepted papers represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, software design methods, reusable components, refinement methodologies, and requirements modeling.

18,744円

Verified Software: Theories,…

This book contains selected papers from the e-Commerce and e-Business (SIGeBIZ) track at the 16th Americas Conference on Information Systems, AMCIS 2010, held in Lima, Peru, August 12-15, 2010.The 13 papers presented here were selected from 48 submissions and have been organized into three research lines: e-business models and information systems in financial markets, e-commerce use and design, and e-business research issues and methods.

18,744円

Sustainable e-Business Manag…

This volume constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luc, France, in August 2010.The articles cover all main areas in animat research, including perception and motor control, action selection, motivation and emotion, internal models and representation, collective behavior, language evolution, evolution and learning. The authors focus on well-defined models, computer simulations or robotic models, that help to characterize and compare various organizational principles, architectures, and adaptation processes capable of inducing adaptive behavior in real animals or synthetic agents, the animats.

37,510円

From Animals to Animats 11: …

This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2010, held in Toronto, China, in August 2010.The 60 revised full papers presented were carefully reviewed and selected from 222 submissions. The papers are organized in topical sections on cognitive computing; data brain and analysis; neuronal modeling and brain modeling; perception and information processing; learning; cognition-inspired applications; and WICI perspectives on brain informatics.

18,744円

Brain Informatics: Internati…

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Entertainment Computing, ICEC 2010, held in Seoul, Korea, in August 2010, under the auspices of IFIP. The 19 revised long papers, 27 short papers and 33 poster papers and demos presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover all main domains of entertainment computing, from interactive music to games, taking a wide range of scientific domains from aesthetic to computer science.

37,510円

Entertainment Computing: ICE…

This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa on July 2009. In total 21 papers were submitted and of those papers 13 were accepted as regular papers and a further 6 as extended abstracts. The papers are devoted to computational morphology, natural language processing, finite-state methods, automata, and related formal language theory.

18,744円

Finite-State Methods and Nat…

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