89 search results - page 3 / 18 » An Efficient Micropayment System Based on Probabilistic Poll... |
INFOCOM
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
ISRR
2001
Springer
13 years 10 months ago
2001
Springer
Most of current machine vision systems suffer from a lack of flexibility to account for the high variability of unstructured environments. Here, as the state of the world evolves ...
TACAS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
SRDS
2008
IEEE
14 years 19 days ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
APBC
2004
13 years 7 months ago
2004
Subcellular localization is a key functional characteristic of proteins. An automatic, reliable and efficient prediction system for protein subcellular localization is needed for ...