This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Financial Cryptography and Data Security, FC 2010, held in Tenerife, Canary Islands, Spain in January 2010. The 19 revised full papers and 15 revised short papers presented together with 1 panel report and 7 poster papers were carefully reviewed and selected from 130 submissions. The papers cover all aspects ofsecuring transactions and systems and feature current research focusing on both fundamental and applied real-world deployments on all aspects surrounding commerce security.

14,995円

Financial Cryptography and D…

This book constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2009.

14,995円

Trusted Systems: First Inter…

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.

30,008円

Automata, Languages and Prog…

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

14,995円

Deontic Logic in Computer Sc…

14,995円

Theory and Applications of S…

30,008円

Automated Reasoning: 5th Int…

14,995円

Detection of Intrusions and …

30,008円

Case-Based Reasoning: 18th I…

46,376円

Advances in Wireless Sensors…

30,008円

Computing and Combinatorics:…

30,008円

Interactive Theorem Proving:…

30,008円

Information Processing and M…

14,995円

Articulated Motion and Defor…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

14,995円

Haptics: Generating and Perc…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

14,995円

Haptics: Generating and Perc…

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010.All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication.The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

14,995円

Intelligent Computer Mathema…

14,995円

Artificial Evolution: 9th In…

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.

30,008円

Automata, Languages and Prog…

30,008円

Networked Digital Technologi…

30,008円

Computer Aided Verification:…

Data hiding has been proposed as an enabling technology for securing multimedia communication. This book publishes both original and archival research results from these emerging fields. It contains a section on forensic image analysis for crime prevention.

14,995円

Transactions on Data Hiding …

14,995円

Algorithmic Number Theory: 9…

14,995円

Frontiers in Algorithms: 4th…

14,995円

Conceptual Structures: From …

30,008円

Web-Age Information Manageme…

This book constitutes the refereed proceedings of the 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in Salamanca, Spain, in November 2009, in conjunction with the Workshop on Artificial Intelligence Technology Transfer, TTIA 2009.The 31 revised full papers presented were carefully selected from 125 submissions. The papers address the following topics: machine learning, multiagents, natural language, planning, diagnosis, evolutive algorithms and neural networks, knowledge representation and engineering, tutoring systems, uncertainty bayesian networks, vision, and applications.

14,995円

Current Topics in Artificial…

14,995円

Privacy Enhancing Technologi…

This book constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. The 32 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 6 invited speakers, as well as a 2-page abstract for each of the 6 poster papers. The topics addressed are formal languages, automata theory, computability, complexity, logic, petri nets and related areas.

14,995円

Developments in Language The…

This book constitutes the refereed proceedings of the 5th AnnualInternational Conference on Wireless Algorithms, Systems, andApplications, WASA 2010, held in Beijing, China, in August 2010.The 19 revised full papers and 10 revised short papers presentedtogether with 18 papers from 4 workshops were carefully reviewed andselected from numerous submissions. The papers are organized in topicasections on topology control and coverage, theoretical foundations, energy-aware algorithms and protocol design, wireless sensor networksand applications, applications and experimentation, scheduling andchannel assignment, coding, information theory and security, security ofwireless and ad-hoc networks, data management and network control inwireless networks, radar and sonar sensor networks, as well ascompressive sensing for communications and networking.

14,995円

Wireless Algorithms, Systems…

This book constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recognition in Istanbul, Turkey, on August 22, 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions.The papers are organized in topical sections on analysis of human activities; non-verbal action dynamics; visual action recognition; and social signals.

14,995円

Human Behavior Understanding

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