2018 search results - page 60 / 404 » Code Normal Forms |
ISSA
2008
13 years 11 months ago
2008
Malicious software is prevalent in many forms with the potential for many types of malware to be downloaded while browsing the Internet using an unprotected system. The potential ...
MICRO
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
TIT
1998
13 years 9 months ago
1998
—We review the principles of Minimum Description Length and Stochastic Complexity as used in data compression and statistical modeling. Stochastic complexity is formulated as the...
DCC
1995
IEEE
14 years 1 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...