4366 search results - page 739 / 874 » Learning and Smoothed Analysis |
ITICSE
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
Long queries frequently contain many extraneous terms that hinder retrieval of relevant documents. We present techniques to reduce long queries to more effective shorter ones tha...
UIST
2009
ACM
14 years 3 months ago
2009
ACM
We explore the use of modern recommender system technology to address the problem of learning software applications. Before describing our new command recommender system, we first...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Many source separation algorithms fail to deliver robust performance when applied to signals recorded using highdensity microphone arrays where distance between sensor elements is...