1127 search results - page 137 / 226 » Theory Extension in ACL2(r) |
184
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Principal component analysis (PCA) has been extensively applied in data mining, pattern recognition and information retrieval for unsupervised dimensionality reduction. When label...
147
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
176
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
145
click to vote
NDSS
2007
IEEE
16 years 17 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
180
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...