11121 search results - page 1959 / 2225 » Computing with Continuous Change |
153
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
133
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Indexing high-dimensional data for efficient nearest-neighbor searches poses interesting research challenges. It is well known that when data dimension is high, the search time can...
132
click to vote
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...
142
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...
121
click to vote
CISSE
2008
Springer
15 years 6 months ago
2008
Springer
With the improvement of computer network and the growth of bandwidth, the types of Internet traffic have been changed. The P2P file sharing application became the significant sour...