9405 search results - page 1281 / 1881 » Computing a Model of Set Theory |
193
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
219
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic relational models are an efficient way to learn and represent the dynamics in realistic environments consisting of many objects. Autonomous intelligent agents that gr...
208
click to vote
MMM
2005
Springer
16 years 21 days ago
2005
Springer
Three-dimensional model acquisition of an object is essential in many multimedia applications. Constructing three-dimensional models of objects from two-dimensional images is an o...
205
click to vote
MIRRORBOT
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
206
click to vote
CHARME
2003
Springer
16 years 10 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...