6045 search results - page 8 / 1209 » Computable Linearizations of Well-partial-orderings |
ECCC
2000
14 years 11 months ago
2000
Computing the Hermite Normal Form of an n
101
Voted
ASM
2005
ASM
15 years 5 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
121
Voted
IACR
2011
13 years 11 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...
WAW
2004
Springer
15 years 5 months ago
2004
Springer
ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa
CSB
2003
IEEE
15 years 5 months ago
2003
IEEE
