1833 search results - page 108 / 367 » Mechanized Verification with Sharing |
124
click to vote
ICAI
2009
15 years 2 months ago
2009
The authors extended the idea of training multiple tasks simultaneously on a partially shared feed forward network. A shared input subvector was added to represented common inputs...
118
Voted
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
Access control (AC) technology has come a long way from its roots as the means for sharing resources between processes running on a single machine, to a mechanism for regulating t...
171
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
185
click to vote
STORAGESS
2005
ACM
15 years 10 months ago
2005
ACM
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
142
click to vote
MASCOTS
2004
15 years 5 months ago
2004
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...