12774 search results - page 2487 / 2555 » A Framework for Proof Systems |
189
click to vote
INFOCOM
2008
IEEE
16 years 24 days ago
2008
IEEE
—We introduce Zen, a new resource allocation framework that assigns application components to node clusters to achieve high availability for partial-fault tolerant (PFT) applicat...
144
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
—This paper presents an alternative formulation for the Bayesian feature-based simultaneous localisation and mapping (SLAM) problem, using a random finite set approach. For a fe...
185
click to vote
P2P
2008
IEEE
16 years 23 days ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
199
click to vote
TRIDENTCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
IETF Network Mobility (NEMO) Basic Support Protocol is an IP mobility management protocol designed to provide seamless IP mobility to complete networks. This protocol is of crucia...
218
click to vote
ABIALS
2008
Springer
16 years 22 days ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...