5255 search results - page 797 / 1051 » Formal Methods for Privacy |
151
click to vote
CCA
2000
Springer
15 years 11 months ago
2000
Springer
Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them su...
179
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
We give the first rigorous upper bounds on the error of temporal difference (td) algorithms for policy evaluation as a function of the amount of experience. These upper bounds pr...
176
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
167
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
159
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...