4850 search results - page 256 / 970 » Proof and Computation in Geometry |
177
click to vote
MST
2008
15 years 6 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
236
click to vote
ESA
2011
Springer
14 years 6 months ago
2011
Springer
Over the past several decades, many combinatorial measures have been devised for capturing the statistical data depth of a set of n points in R2 . These include Tukey depth [15], O...
168
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
190
click to vote
SIGECOM
2006
ACM
16 years 18 days ago
2006
ACM
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
171
Voted
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...