1806 search results - page 44 / 362 » Some Functions Computable with a Fused-Mac |
105
click to vote
MCU
1998
15 years 1 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
116
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
In the setting of multiparty computation, a set of parties wish to jointly compute a function of their inputs, while preserving security in the case that some subset of them are co...
124
click to vote
CORR
2010
Springer
15 years 21 days ago
2010
Springer
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic programming s...
109
Voted
COMPSAC
1996
IEEE
15 years 4 months ago
1996
IEEE
Mobile clients have unusual needs for sending and receiving multimedia data. The traditional client/server paradigm does not take into account variable network conditions; thus tr...
120
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...