1009 search results - page 72 / 202 » Correlations of Partial Words |
155
click to vote
FPCA
1987
15 years 9 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...
181
click to vote
ISCAPDCS
2004
15 years 7 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...
175
click to vote
ADCM
2010
15 years 6 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 ...
169
click to vote
CORR
2008
Springer
15 years 6 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...
147
click to vote
SCN
2008
Springer
15 years 6 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...