مشخصات کتاب

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Philippe Flajolet (auth.),  Michael J. Maher (eds.)  
سری: Lecture Notes in Computer Science 3321 
ISBN (شابک) : 354024087X, 9783540305026 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 529 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 مگابایت 

کلمات کلیدی مربوط به کتاب پیشرفت در علوم کامپیوتر - آسیا 2004. تصمیم گیری در سطح عالی: نهمین کنفرانس علوم محاسباتی آسیایی. تقدیم به ژان لوئیس لاسز به مناسبت پنجمین سالگرد تولد او. چیانگ مای، تایلند، 8-10 دسامبر 2004. مجموعه مقالات: تئوری محاسبات، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، رمزگذاری داده ها، ریاضیات گسسته در علوم کامپیوتر، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)

در صورت تبدیل فایل کتاب Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در علوم کامپیوتر - آسیا 2004. تصمیم گیری در سطح عالی: نهمین کنفرانس علوم محاسباتی آسیایی. تقدیم به ژان لوئیس لاسز به مناسبت پنجمین سالگرد تولد او. چیانگ مای، تایلند، 8-10 دسامبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب پیشرفت در علوم کامپیوتر - آسیا 2004. تصمیم گیری در سطح عالی: نهمین کنفرانس علوم محاسباتی آسیایی. تقدیم به ژان لوئیس لاسز به مناسبت پنجمین سالگرد تولد او. چیانگ مای، تایلند، 8-10 دسامبر 2004. مجموعه مقالات



این کتاب مجموعه مقالات داوری نهمین کنفرانس علوم محاسباتی آسیایی، ASIAN 2004 است که به مناسبت شصتمین سالگرد تولد ژان لوئیس لاسز تقدیم شده و در دسامبر 2004 در چیانگ مای، تایلند برگزار شد.

17 مقاله کامل اصلاح شده ارائه شده همراه با 3 مقاله کلیدی و 16 مقاله دعوت شده برای تجلیل از ژان لوئیس لاسز به دقت بررسی و از بین 75 مقاله ارسالی انتخاب شدند. مقالات ارائه شده بر روی تصمیم گیری در سطوح بالاتر تمرکز دارند، در حالی که مقالات دعوت شده به طیف گسترده تری از موضوعات در علوم کامپیوتر نظری می پردازند.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 9th Asian Computing Science Conference, ASIAN 2004, dedicated to Jean-Louis Lassez on the occasion of his 60th birthday and held in Chiang Mai, Thailand in December 2004.

The 17 revised full papers presented together with 3 keynote papers and 16 invited papers honouring Jean-Louis Lassez were carefully reviewed and selected from 75 submissions. The contributed papers are focusing on higher-level decision making, whereas the invited papers address a broader variety of topics in theoretical computer science.

فهرست مطالب

Front Matter....Pages -
Counting by Coin Tossings....Pages 1-12
On the Role Definitions in and Beyond Cryptography....Pages 13-32
Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments....Pages 33-47
Probabilistic Space Partitioning in Constraint Logic Programming....Pages 48-62
Chi-Square Matrix: An Approach for Building-Block Identification....Pages 63-77
Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling....Pages 78-92
 Hiord : A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction....Pages 93-108
Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum....Pages 109-127
Learnability of Simply-Moded Logic Programs from Entailment....Pages 128-141
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems....Pages 142-156
Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing....Pages 157-168
Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption....Pages 169-181
Deniable Partial Proxy Signatures....Pages 182-194
Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction....Pages 195-211
A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering....Pages 212-222
Registration of 3D Range Images Using Particle Swarm Optimization....Pages 223-235
Zero-Clairvoyant Scheduling with Inter-period Constraints....Pages 236-247
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs....Pages 248-258
Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition....Pages 259-270
Robot Visual Servoing Based on Total Jacobian....Pages 271-285
Online Stochastic and Robust Optimization....Pages 286-300
Optimal Constraint Decomposition for Distributed Databases....Pages 301-319
Adaptive Random Testing....Pages 320-329
Minimal Unsatisfiable Sets: Classification and Bounds....Pages 330-342
LPOD Answer Sets and Nash Equilibria....Pages 343-351
Graph Theoretic Models for Reasoning About Time....Pages 352-362
Rule-Based Programming and Proving: The ELAN Experience Outcomes....Pages 363-379
Towards Flexible Graphical Communication Using Adaptive Diagrams....Pages 380-394
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization....Pages 395-406
Spectral-Based Document Retrieval....Pages 407-417
Metadata Inference for Document Retrieval in a Distributed Repository....Pages 418-436
A Simple Theory of Expressions, Judgments and Derivations....Pages 437-451
Reactive Framework for Resource Aware Distributed Computing....Pages 452-467
The Feature Selection and Intrusion Detection Problems....Pages 468-482
On the BDD of a Random Boolean Function....Pages 483-493
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)....Pages 494-508
Back Matter....Pages -

نظرات کاربران

کتاب های مرتبط

دانلود کتاب Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings

دانلود کتاب Designing Interfaces in Public Settings: Understanding the Role of the Spectator in Human-Computer Interaction

دانلود کتاب Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices: 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

دانلود کتاب Detection of Intrusions and Malware, and Vulnerability Assessment: 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings

دانلود کتاب Beginning Android

دانلود کتاب Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

دانلود کتاب Advances in Computer Science and Information Technology: AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

دانلود کتاب Axiom: Volume 0: Axiom Jenks and Sutor

دانلود کتاب Virtual Reality: Simulating and Enhancing the World With Computers (Science and Technology in Focus)

دانلود کتاب Progress in Pattern Recognition, Image Analysis and Applications: 9th Iberoamerican Congress on Pattern Recognition, CIARP 2004, Puebla, Mexico, October 26-29, 2004. Proceedings