کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876207 689991 2014 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
ترجمه فارسی عنوان
مقایسه درهم آمیختگی و مجموعه های فراوان در زمان شاخه ای احتمالاتی و غیر احتمالاتی
کلمات کلیدی
کاهش تقارن، کاهش سفارش جزئی، مجموعه های فراوان، زمان انشعاب احتمالی، فرایندهای تصمیم گیری مارکوف،
ترجمه چکیده
برای بحث در مورد کاربرد عملی نتایج ما، ما تکنیک نسبی تولید فضایی دولتی را براساس حالت نماینده، که قبلا در ترکیب با کاهش تلفات شناخته شده است، تطبیق می دهیم، به همین ترتیب می توان آن را به مجموعه های فراوان اعمال کرد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
مقایسه درهم آمیختگی و مجموعه های فراوان در زمان شاخه ای احتمالاتی و غیر احتمالاتی
چکیده انگلیسی
To discuss the practical applicability of our results, we adapt a state space generation technique based on representative states, already known in combination with confluence reduction, so that it can also be applied to ample sets.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 538, 12 June 2014, Pages 103-123
نویسندگان
, ,