2436 search results - page 51 / 488 » Comonadic Notions of Computation |
137
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Secure multi-party computation (MPC) is a central problem in cryptography. Unfortunately, it is well known that MPC is possible if and only if the underlying communication network...
125
Voted
TCS
2008
15 years 3 months ago
2008
The longest common subsequence(LCS) problem is one of the classical and wellstudied problems in computer science. The computation of the LCS is a frequent task in DNA sequence ana...
137
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
110
Voted
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
A new notion, that of semi-lossless text compression, is introduced, and its applicability in various settings is investigated. First results suggest that it might be hard to explo...
97
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...