4609 search results - page 22 / 922 » Automatic Generation of Sigma-Protocols |
123
click to vote
ET
1998
15 years 4 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
142
click to vote
TSMC
2002
15 years 4 months ago
2002
A fuzzy knowledge-based network is developed based on the linguistic rules extracted from a fuzzy decision tree. A scheme for automatic linguistic discretization of continuous attr...
109
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
While automatic methods for phonetic segmentation of speech can help with rapid annotation of corpora, most methods rely either on manually segmented data to initially train the p...
126
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
Update of acoustic and language models is vital to maintain performance of automatic speech recognition (ASR) systems. To alleviate efforts for updating models, we propose a "...
184
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...