4502 search results - page 761 / 901 » Regular Model Checking |
168
click to vote
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
Many data mining applications can benefit from adapting existing classifiers to new data with shifted distributions. In this paper, we present Adaptive Support Vector Machine (Ada...
209
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
120
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
136
click to vote
BALT
2006
15 years 8 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
138
click to vote
EGH
2004
Springer
15 years 8 months ago
2004
Springer
Utilizing graphics hardware for general purpose numerical computations has become a topic of considerable interest. The implementation of streaming algorithms, typified by highly ...