1399 search results - page 72 / 280 » Multi-party Finite Computations |
100
click to vote
FOCM
2008
15 years 3 months ago
2008
For an ideal I R[x] given by a set of generators, a new semidefinite characterization of its real radical I(VR(I)) is presented, provided it is zero-dimensional (even if I is not...
135
click to vote
SIGACT
2008
15 years 3 months ago
2008
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
107
click to vote
APAL
2006
15 years 3 months ago
2006
We investigate effective categoricity of computable equivalence structures A. We show that A is computably categorical if and only if A has only finitely many finite equivalence c...
125
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
112
click to vote
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...