هدف این مقاله ارائه اثباتهای دیگری برای چند قضیه مقدماتی در آنالیز حقیقی است. اثبات دیگری از یک قضیه دید تازه تری  نسبت به آن ایجاد می کند که برای  توجیه آن رهیافت نو کافی است. به هر حال اثباتی تازه برای یک قضیه قدیمی  که به لحاظ مفهومی ساده تر باشد، دارای مزایای آشکاری است.

تبدیل اسناد کاغذی به صورت نسخه الکترونیکی جهت ذخیره‌سازی، بازیابی و جستجو  بر اساس محتوا مسأله مهمی در سیستم‌‌های خودکارسازی ادارای و سیستم‌هایی که وظیفه استخراج اطلاعات از مجاری اینترنت دارند، به شمار می‌رود. برای نیل به این هدف، ارائه سیستم‌هایی که بتواند محتوای تصاویر متنی1 را تجزیه‌ و‌ تحلیل کنند، ضروری به نظر می‌رسد. در این مقاله، جهت تجزیه‌ و تحلیل تصاویر متنی و دسترسی به محتوا...

امروزه با افزایش حجم داده ها امکان جمع آوری و دسته بندی سریع داده ها توسط انسان غیرممکن شده است و نیاز به دسته بندی و تحلیل دادها به صورت خودکار از جایگاه ویژه ای برخوردار است. دسته بندی داده ها عملیاتی است که ابتدا، طی یک فرایند ، نمونه های آموزشی به همراه برچسب آن ها به یک عامل یادگیر داده می شود تا ارتباط بین نمونه ها و برچسب ها را یاد بگیرد و سپس برچسب داده های آموزشی را پیش بینی کند. از ط...

در این پایان نامه، الگوریتمهای سیمپلکس دوگانه شبکه ای را مورد بحث قرار می دهیم و نشان می دهیم که برای حل مسئله ماکزیمم جریان تعریف شده روی شبکه با ‏‎n‎‏ گره و ‏‎m‎‏ یال، حداکثر ‏‎2nm‎‏ محورگیری و ‏‎o(n2m)‎‏ زمان لازم دارند. همچنین با اصلاح عملیات این الگوریتم ها، یک الگوریتم سیمپلکس دوگان ارائه می دهیم، بطوریکه مرتبه پیچیدگی آن ‏‎o(n3)‎‏ می باشد. مفاهیم پیش جریان و برچسب های گرهی، اساس کار این ...

یکی از مهم ترین روش های یادگیری ماشین، یادگیری با نظارت است که در آن برای آموزش سیستم از داده های برچسب دار استفاده می کنیم. اما گاهی اوقات تعیین برچسب تک تک نمونه های داده سخت و حتی غیر ممکن است و تنها برچسب هر مجموعه از نمونه ها مشخص است. در این مواقع از نوعی یادگیری به نام یادگیری چند نمونه ای استفاده می شود که برای کار با داده های مبهم به وجود آمده و امکان دسته بندی بدون مشخص بودن کلاس همه ...

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

Abstract: Part-Of-Speech (POS) tagging is essential work for many models and methods in other areas in natural language processing such as machine translation, spell checker, text-to-speech, automatic speech recognition, etc. So far, high accurate POS taggers have been created in many languages. In this paper, we focus on POS tagging in the Persian language. Because of problems in Persian POS t...

در پردازش زبان طبیعی سعی بر این است که کامپیوتر توانایی استخراج معنی از منابع زبان طبیعی را داشته باشد. به دلیل پیچیدگی پردازش زبان طبیعی و برای سادگی برخورد با چالش های پیش روی آن از ابزارهای مختلف و تخصصی برای مواجهه با هر یک از مشکلات استفاده شود. برچسب گذار نحوی اجزای کلام یکی از ابزارهایی است که می تواند به فرایند پردازش زبان طبیعی کمک کند. وظیفه برچسب گذار مشخص کردن نقش دستوری کلمات در جم...

جداسازی خودکار عروق از تصاویر شبکیه چشم کمک شایانی به متخصصین علوم پزشکی در تشخیص به هنگام بیماری های چشم می کند. از مشکلات اساسی استخراج عروق می توان به حضور نویز، عدم توزیع یکنواخت روشنایی تصویر چشم و تغییر در ضخامت عروق شبکیه اشاره کرد. در کنار این مشکلات تفاوت شدت روشنایی بین نقاطی از تصویر که بر روی عروق باریک قرار دارند و سایر نقاط تصویر بسیار کم است. به این جهت روش های موجود از استخراج د...