691 search results - page 105 / 139 » Automatically Proving Linearizability |
AAAI
2010
13 years 11 months ago
2010
Interactive clustering refers to situations in which a human labeler is willing to assist a learning algorithm in automatically clustering items. We present a related but somewhat...
LREC
2010
13 years 11 months ago
2010
The LTSE-VAD is one of the best known algorithms for voice activity detection. In this paper we present a modified version of this algorithm, that makes the VAD decision not takin...
ECSCW
2007
13 years 11 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
LREC
2008
13 years 11 months ago
2008
The number and sizes of parallel corpora keep growing, which makes it necessary to have automatic methods of processing them: combining, checking and improving corpora quality, et...
ACL
2003
13 years 11 months ago
2003
Automatically acquiring synonymous collocation pairs such as <turn on, OBJ, light> and <switch on, OBJ, light> from corpora is a challenging task. For this task, we ca...