1009 search results - page 72 / 202 » Correlations of Partial Words |
FPCA
1987
15 years 1 months ago
1987
: Categorical Multi-Combinators form a rewriting system developed with the aim of providing efficient implementations of lazy functional languages. The core of the system of Catego...
83
Voted
ISCAPDCS
2004
14 years 11 months ago
2004
Protection of agent data state and partial results in mobile agent systems continues to draw research interest. Current solutions to integrity attacks are geared at detection of m...
91
Voted
ADCM
2010
14 years 10 months ago
2010
The total variation model of Rudin, Osher, and Fatemi for image denoising is considered to be one of the best denoising models. In the past, its solutions were based on nonlinear ...
72
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
73
Voted
SCN
2008
Springer
14 years 10 months ago
2008
Springer
While recent timed-release encryption (TRE) schemes are implicitly supported by a certificateless encryption (CLE) mechanism, the security models of CLE and TRE differ and there is...