9405 search results - page 162 / 1881 » Computing a Model of Set Theory |
132
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...
110
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
We advocate the use of Scaled Gaussian Process Latent Variable Models (SGPLVM) to learn prior models of 3D human pose for 3D people tracking. The SGPLVM simultaneously optimizes a...
132
Voted
FOCS
1993
IEEE
15 years 7 months ago
1993
IEEE
: Weprove tight bounds on the time needed to solve k-set agreement, a natural generalization of consensus. We analyze this problem in a synchronous, message-passing model where pro...
120
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
— Geometric Type-2 Fuzzy sets allow us to model type-2 fuzzy sets using geometry providing significant improvement in speed of computation. This paper explores in detail how wel...
124
click to vote
AIEDU
2008
15 years 3 months ago
2008
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer dialogue system for educational debate. In part...