3690 search results - page 367 / 738 » Computation with classical sequents |
173
click to vote
VISAPP
2007
15 years 8 months ago
2007
We consider the problem of image deconvolution. We foccus on a Bayesian approach which consists of maximizing an energy obtained by a Markov Random Field modeling. MRFs are classi...
177
click to vote
WCE
2007
15 years 8 months ago
2007
Abstract— In this survey we take a look at different approaches proposed in the literature for addressing the privacy and security issues derived from the Radio-Frequency IDenti...
177
click to vote
APCCM
2009
15 years 8 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...
195
click to vote
ADCM
2007
15 years 7 months ago
2007
In this paper, we are interested in the analysis of regularized online algorithms associated with reproducing kernel Hilbert spaces. General conditions on the loss function and st...
206
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...