16430 search results - page 443 / 3286 » On Computable Tree Functions |
192
click to vote
COMGEO
2012
ACM
14 years 2 months ago
2012
ACM
A straight-line drawing of a plane graph G is a planar drawing of G, where each vertex is drawn as a point and each edge is drawn as a straight line segment. Given a set S of n poi...
187
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper examines secure two-party computation of functions which depend only on the Hamming distance of the inputs of the two parties. We present efficient protocols f...
172
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
167
click to vote
DIGRA
2005
Springer
16 years 12 days ago
2005
Springer
A general technique is proposed to deal with the formalization of intuition and human-oriented concepts in competition thinking games like chess, such as defensive play, attack, t...
150
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...