1446 search results - page 56 / 290 » Local zero knowledge |
101
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
117
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper, we introduce a new approach to location estimation where, instead of locating a single client, we simultaneously locate a set of wireless clients. We present a B...
104
Voted
FOCS
2000
IEEE
15 years 6 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
143
click to vote
ICIA
2007
15 years 4 months ago
2007
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
107
click to vote
IJCAI
2001
15 years 3 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...