Sciweavers

853 search results - page 132 / 171
» From Data Privacy to Location Privacy: Models and Algorithms
Sort
View
CSFW
1999
IEEE
15 years 10 months ago
Athena: A New Efficient Automatic Checker for Security Protocol Analysis
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
Dawn Xiaodong Song
STOC
2005
ACM
132views Algorithms» more  STOC 2005»
16 years 6 months ago
Concurrent general composition of secure protocols in the timing model
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakar...
158
Voted
AGENTS
1997
Springer
15 years 10 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso
188
Voted
NIPS
2003
15 years 7 months ago
Factorization with Uncertainty and Missing Data: Exploiting Temporal Coherence
The problem of “Structure From Motion” is a central problem in vision: given the 2D locations of certain points we wish to recover the camera motion and the 3D coordinates of ...
Amit Gruber, Yair Weiss
JSAC
2010
146views more  JSAC 2010»
15 years 20 days ago
NLOS identification and mitigation for localization based on UWB experimental data
Abstract--Sensor networks can benefit greatly from locationawareness, since it allows information gathered by the sensors to be tied to their physical locations. Ultra-wide bandwid...
Stefano Maranò, Wesley M. Gifford, Henk Wym...