733 search results - page 55 / 147 » Private inference control |
115
click to vote
IJFCS
2007
15 years 3 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
122
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
With the increasing popularity of digital multimedia such as images and videos and the advent of the cloud computing paradigm, a fast growing amount of private and sensitive multi...
124
click to vote
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The present study considers a fuzzy color system in which three membership functions are constructed on the RGB color triangle. This system can process a fuzzy input (as the mem...
140
click to vote
AGI
2008
15 years 4 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
110
click to vote
SLP
1989
15 years 4 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...