19866 search results - page 3618 / 3974 » Computing all factorizations in *** |
189
click to vote
KDD
2009
ACM
16 years 5 days ago
2009
ACM
Commercial anti-virus software are unable to provide protection against newly launched (a.k.a “zero-day”) malware. In this paper, we propose a novel malware detection techniqu...
222
click to vote
CONCUR
2001
Springer
16 years 3 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
229
click to vote
DIS
2001
Springer
16 years 3 days ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
192
click to vote
SIGGRAPH
2010
ACM
16 years 3 days ago
2010
ACM
Scenes lit with high dynamic range environment maps of real-world environments exhibit all the complex nuances of natural illumination. For applications that need lighting adjustm...
215
click to vote
ICCS
2001
Springer
16 years 1 days ago
2001
Springer
We describe a knowledge server that permits Web users to retrieve and add knowledge in a shared knowledge base. The following features distinguish WebKB-2 from other ontology serve...