The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
Many speaker verification (SV) systems combine multiple classifiers using score-fusion to improve system performance. For SVM classifiers, an alternative strategy is to combine...
Abstract. Critiquing techniques provide an easy way for users to feedback their preferences over one or several attributes of the products in a conversational recommender system. W...
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...