Based on big data, this paper studies the influence of new type of filling pneumonia on the
development of sports industry. When selecting the typical economic indicators that reflect …

Verification techniques play an essential role in detecting undesirable behaviors in many
applications like spectrum auctions. By verifying an auction design, one can detect the least …

Intrusion Detection Systems (IDS) are designed to provide security into computer networks.
Different classification models such as Support Vector Machine (SVM) has been …

A bad partition in an ensemble will be removed by a cluster ensemble selection framework
from the final ensemble. It is the main idea in cluster ensemble selection to remove these …

The model checking technique is a formal and effectual way in verification of software
systems. By the generation and investigation of all model states, it analyses the software …

Today, model checking is one of the essential techniques in the verification of software
systems. This technique can verify some properties such as reachability in which the entire …

Nowadays, Canny edge detector is considered to be one of the best edge detection
approaches for the images with step form. Various overgeneralized versions of these edge …

The model checking technique is a formal and effectual way in verification of software
systems. By generation and verification of all model states, it analyses the software systems …

تکنیک وارسی مدل، روشی رسمی و مؤثر جهت تأیید سیستم‌های نرم‌افزاری است که با تولید و
بررسی همه حالتهای ممکنِ مدلی از سیستم نرم‌افزار به تحلیل آن میپردازد. چالش اساسی وارسی مدل در …‎

The model checking technique is a formal and effective method for verifying software
systems, which analyses it via generating and examining all possible states of a model of …