86 search results - page 11 / 18 » Automatic generation of suggestions for program investigatio... |
LREC
2010
14 years 11 months ago
2010
Creating more fine-grained annotated data than previously relevent document sets is important for evaluating individual components in automatic question answering systems. In this...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
We investigate the performance of two machine learning algorithms in the context of antispam filtering. The increasing volume of unsolicited bulk e-mail (spam) has generated a nee...
FGR
2008
IEEE
15 years 3 months ago
2008
IEEE
Emotional contagion refers to the tendency to automatically mimic and synchronize our facial expressions with those of another person. Recent EMG studies have shown that emotional...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
125
click to vote
JSC
2010
14 years 4 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...