1687 search results - page 201 / 338 » Light Functional Interpretation |
167
click to vote
IWFM
1998
15 years 7 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
160
click to vote
NIPS
2000
15 years 7 months ago
2000
Non-negative matrix factorization (NMF) has previously been shown to be a useful decomposition for multivariate data. Two different multiplicative algorithms for NMF are analyzed....
137
click to vote
IJCAI
1997
15 years 7 months ago
1997
We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis...
142
click to vote
WCE
2007
15 years 7 months ago
2007
–—Wavelet expansions and wavelet transforms have proven to be very efficient and effective in analyzing a very wide class of signals and phenomena. Wavelet expansion allows a m...
157
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...