860 search results - page 57 / 172 » A Process Algebra Based Verification of a Production System |
ASE
2004
13 years 8 months ago
2004
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 ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Many speaker verification (SV) systems combine multiple classifiers using score-fusion to improve system performance. For SVM classifiers, an alternative strategy is to combine...
AH
2006
Springer
14 years 23 days ago
2006
Springer
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...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
—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...
CONCUR
2006
Springer
14 years 22 days ago
2006
Springer
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...