4276 search results - page 316 / 856 » Techniques for Empirical Validation |
206
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
170
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper examines the problem of extracting lowdimensional manifold structure given millions of highdimensional face images. Specifically, we address the computational challenge...
160
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Many Web information services utilize techniques of information extraction (IE) to collect important facts from the Web. To create more advanced services, one possible method is t...
316
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
145
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...