Sciweavers

2059 search results - page 323 / 412
» A Directed Threshold - Signature Scheme
Sort
View
INFOCOM
2006
IEEE
15 years 10 months ago
A Locating-First Approach for Scalable Overlay Multicast
— Recent proposals in multicast overlay construction have demonstrated the importance of exploiting underlying network topology. However, these topology-aware proposals often rel...
Mohamed Ali Kâafar, Thierry Turletti, Walid ...
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
15 years 10 months ago
Plural Wheels Control based on Slip Estimation
- In our current research, we are developing a holonomic mobile system which is capable of running over the step. This system realizes omni-directional motion on flat floor using s...
Daisuke Chugo, Hajime Asama, Kuniaki Kawabata, Hay...
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
15 years 10 months ago
Locomotion Imitation of Humanoid Using Goal-directed Self-adjusting Adaptor
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
Woosung Yang, Nak Young Chong, ChangHwan Kim, Bum-...
ISQED
2006
IEEE
118views Hardware» more  ISQED 2006»
15 years 10 months ago
Localized On-Chip Power Delivery Network Optimization via Sequence of Linear Programming
— In this paper, we propose an efficient algorithm to reduce the voltage noises for on-chip power/ground (P/G) networks of VLSI. The new method is based on the sequence of linea...
Jeffrey Fan, I-Fan Liao, Sheldon X.-D. Tan, Yici C...
ACL2
2006
ACM
15 years 10 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis