9405 search results - page 1049 / 1881 » Computing a Model of Set Theory |
211
click to vote
ICMI
2009
Springer
15 years 5 months ago
2009
Springer
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
242
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
We present a Bayesian framework for content-based image retrieval which models the distribution of color and texture features within sets of related images. Given a userspecified ...
212
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we disprove the belief widespread within the computer graphics community that Catmull-Clark subdivision surfaces cannot be evaluated directly without explicitly subd...
248
click to vote
CRYPTO
2011
Springer
14 years 7 months ago
2011
Springer
We consider the problem of delegating computation, where the delegator doesn’t even know the input to the function being delegated, and runs in time significantly smaller than ...
195
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...