2436 search results - page 474 / 488 » Comonadic Notions of Computation |
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
In many applications it is often desirable to maintain a valid mesh within a certain domain that deforms over time. During a period for which the underlying mesh topology remains ...
120
Voted
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
124
click to vote
EJC
2008
15 years 3 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
121
click to vote
SDM
2008
SIAM
15 years 3 months ago
2008
SIAM
Most clustering algorithms produce a single clustering for a given data set even when the data can be clustered naturally in multiple ways. In this paper, we address the difficult...
OPODIS
2007
15 years 3 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...