دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Hacène Fouchal (auth.), William I. Grosky, František Plášil (eds.) سری: Lecture Notes in Computer Science 2540 ISBN (شابک) : 9783540001454, 354000145X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 298 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب SOFSEM 2002: نظریه و عمل انفورماتیک: بیست و نهمین کنفرانس در مورد روندهای فعلی در نظریه و عمل انفورماتیک Milovy ، جمهوری چک ، 22-29 نوامبر مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، محاسبات با دستگاه های انتزاعی، سیستم های اطلاعات چند رسانه ای، تصویربرداری کامپیوتری، بینایی، تشخیص الگو و گرافیک
در صورت تبدیل فایل کتاب SOFSEM 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب SOFSEM 2002: نظریه و عمل انفورماتیک: بیست و نهمین کنفرانس در مورد روندهای فعلی در نظریه و عمل انفورماتیک Milovy ، جمهوری چک ، 22-29 نوامبر مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
برای بیست و نهمین بار، SOFSEM (SOFtwareSEMinar) شسته شد. پس از تبدیل شدن سالها از یک رویداد محلی به یک کنفرانس کاملاً بین المللی، c- موقت SOFSEM ترکیبی از یک مدرسه زمستانی و یک کنفرانس است که برای چند رشته ای در علوم رایانه همراه با کارگاه های آموزشی اختصاص داده شده است. به یک منطقه باریک (امسال چند رسانه ای و محاسبات نرم افزاری) و یک انجمن دانشجویی. این جلد مجموعه مقالات SOFSEM 2002 است که در میلووی، جمهوری چک، 22 تا 29 نوامبر 2002 برگزار شد. در این سال، 23 مقاله از 11 کشور ارائه شد. انتخاب 11 مقاله برتر پذیرفته شده توسط کمیته برنامه بر اساس سهم آنها در وضعیت هنر، سلامت فنی، وضوح ارائه، و مرتبط بودن کتابشناسی بود. کمیته راهبری با حمایت هیئت مشورتی 12 گفتگوی دعوت شده را با تمرکز بر موضوعات کلیدی زیر توصیه کرد: توزیع شده و سیستم های موازی، طراحی و آزمایش سیستم، پایگاه های داده و سیستم های اطلاعاتی، و اصول. SOFSEM نتیجه تلاش قابل توجهی توسط تعدادی از افراد است. خوشحالیم که تشکر خود را از هیئت مشورتی برای حمایت آن، از کمیته راهبری برای راهنمایی کلی و کمیته سازماندهی برای تحقق SOFSEM 2002 ثبت کنیم. همکاری با اعضای کمیته برنامه و سایر داوران که تلاش زیادی برای بررسی مقالات ارسالی کردند برای ما افتخار بوده است.
Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.
Database Support for Multisource Multiresolution Scientific Data....Pages 94-114
Semantic Annotation and Indexing of News and Sports Videos....Pages 115-131
Multimedia Presentations Databases (Extended Abstract)....Pages 132-134
Interactive Indexing and Retrieval of Multimedia Content....Pages 135-148
A Model-Based Approach to Semantic-Based Retrieval of Visual Information....Pages 149-167
Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract)....Pages 168-173
Conformance Testing Techniques for Timed Systems....Pages 1-19
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies....Pages 20-40
Equivalence-Checking with Infinite-State Systems: Techniques and Results....Pages 41-73
On Functions and Types: A Tutorial....Pages 74-93
Data Management Challenges for GRID Computing....Pages 174-180
Hungarian Speech Synthesis Using a Phase Exact HNM Approach....Pages 181-185
Modelling Resource Transitions in Constraint-Based Scheduling....Pages 186-194
A Specification Framework for Real-Time Scheduling....Pages 195-207
String Transformation for n -Dimensional Image Compression....Pages 208-217
Validation and Decomposition of Partially Occluded Images....Pages 218-230
Solving Conflicts of Agent Knowledge States in Multiagent Systems....Pages 231-239
Specification and Verification of Secure Business Transaction Systems....Pages 240-252
Agent-Oriented Model of Simulated Evolution....Pages 253-261
The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections....Pages 262-272
The Complexity of Probabilistic versus Quantum Finite Automata....Pages 273-278
Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties....Pages 279-287