1076 search results - page 144 / 216 » Operations on proofs and labels |
117
Voted
IPL
2008
15 years 25 days ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
ISCI
2007
15 years 22 days ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
101
Voted
PAMI
2011
14 years 7 months ago
2011
—Subspaces offer convenient means of representing information in many pattern recognition, machine vision, and statistical learning applications. Contrary to the growing populari...
131
Voted
TNN
2010
14 years 7 months ago
2010
In this paper, a novel real-time online network model is presented. It is derived from the hierarchical radial basis function (HRBF) model and it grows by automatically adding unit...
101
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The notion of the 1-D analytic signal is well understood and has found many applications. At the heart of the analytic signal concept is the Hilbert transform. The problem in exte...