347 search results - page 48 / 70 » Computable Versions of Basic Theorems in Functional Analysis |
106
click to vote
SIGSOFT
2004
ACM
16 years 14 days ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
102
click to vote
NECO
1998
14 years 11 months ago
1998
We describe a new method for performing a nonlinear form of Principal Component Analysis. By the use of integral operator kernel functions, we can e ciently compute principal comp...
103
click to vote
JCC
2007
14 years 11 months ago
2007
: This paper first comments on the surprisingly poor status that Quantum Chemistry has offered to the fantastic intuition of Lewis concerning the distribution of the electrons in ...
213
click to vote
FUIN
2011
14 years 3 months ago
2011
In this article, a novel concept is introduced by using both unsupervised and supervised learning. For unsupervised learning, the problem of fuzzy clustering in microarray data as ...
108
click to vote
IJDE
2006
14 years 11 months ago
2006
Rootkits are malicious programs that silently subvert an operating system to hide an intruder's activities. Although there are a number of tools designed to detect rootkits, ...