1054 search results - page 210 / 211 » A Formalization of the Turing Test |
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Ranking Web search results has long evolved beyond simple bag-of-words retrieval models. Modern search engines routinely employ machine learning ranking that relies on exogenous r...
SPEECH
2010
14 years 8 months ago
2010
In this paper we investigate the modulation domain as an alternative to the acoustic domain for speech enhancement. More specifically, we wish to determine how competitive the mo...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
107
click to vote
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...