4609 search results - page 337 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
177
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...
167
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
Formulating and executing queries over distributed, autonomous and heterogeneous resources is an important research area. The advent of the Internet and the Web and their inherent...
190
click to vote
GI
2007
Springer
16 years 26 days ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
165
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
Proceedings of IEEE Data Mining, IEEE Press, pp. 581-584, 2002. We describe an interactive way to generate a set of clusters for a given data set. The clustering is done by constr...