7924 search results - page 1017 / 1585 » Non-Malleable Functions and Their Applications |
177
click to vote
JAR
2008
15 years 7 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
188
Voted
JAR
2008
15 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
204
click to vote
IJRR
2006
15 years 7 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
193
click to vote
JCC
2008
15 years 7 months ago
2008
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...
203
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
It is well known that, in theory, the general secure multiparty computation problem is solvable using circuit evaluation protocols. However, the communication complexity of the re...