138 search results - page 22 / 28 » The Complexity of Quickly ORM-Decidable Sets |
CSFW
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
ICS
2010
Tsinghua U.
14 years 2 months ago
2010
Tsinghua U.
Because of their tremendous computing power and remarkable cost efficiency, GPUs (graphic processing unit) have quickly emerged as an influential computing platform for a broad ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
BMCBI
2005
13 years 9 months ago
2005
Background: High throughput microarray analyses result in many differentially expressed genes that are potentially responsible for the biological process of interest. In order to ...