1528 search results - page 175 / 306 » Performance Assertion Checking |
ICTAI
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
111
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose a novel method for automatic evaluation of conversational agents. The method is based on analyzing the user’s affect conveyed in utterances. From analyz...
157
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—We present a blind turbo equalizer for QAM signals that exploits the statistics that a channel code imposes on the transmitted signal. The receiver is an adaptation of previous ...
128
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
111
click to vote
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a novel method for automatic evaluation of conversational agents. In the method, information about users’ attitudes and sentiments to conversational agents a...