5255 search results - page 759 / 1051 » Formal Methods for Privacy |
175
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
172
click to vote
AAAI
2008
15 years 9 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
171
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
158
click to vote
CISST
2003
15 years 8 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
197
click to vote
ISSA
2004
15 years 8 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...