12052 search results - page 2016 / 2411 » computing 2010 |
156
Voted
ISNN
2010
Springer
15 years 6 months ago
2010
Springer
Brain computer interface (BCI) is a communication pathway between brain and peripheral devices, which is promising in the field of rehabilitation and helps to improve the life qual...
140
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
132
Voted
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Recent advances in linear classification have shown that for applications such as document classification, the training can be extremely efficient. However, most of the existing t...
102
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
The fused Lasso penalty enforces sparsity in both the coefficients and their successive differences, which is desirable for applications with features ordered in some meaningful w...
144
click to vote
MCS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In adversarial classification tasks like spam filtering, intrusion detection in computer networks and biometric authentication, a pattern recognition system must not only...