Sciweavers

5314 search results - page 595 / 1063
» Hybrid Dynamic Programming
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 1 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ICRA
2006
IEEE
107views Robotics» more  ICRA 2006»
16 years 1 months ago
Improving Telerobotic Touch via High-frequency Acceleration Matching
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...
Katherine J. Kuchenbecker, Günter Niemeyer
VTC
2006
IEEE
101views Communications» more  VTC 2006»
16 years 1 months ago
A Virtual Slot Multiple Access for IEEE 802.15.3 High-Rate Wireless Personal Area Networks
—The IEEE 802.15.3 has introduced a type of time division multiple access (TDMA) which allocates the variable length of timeslot within a constant time interval. However, it need...
Do-Youn Hwang, Eui Hyeok Kwon, Jae-Sung Lim
ICNP
2005
IEEE
16 years 1 months ago
Landmark Guided Forwarding
In this paper we focus on the problems of maintaining Ad Hoc network connectivity in the presence of node mobility whilst providing globally efficient and robust routing. The com...
Menghow Lim, Adam Chesterfield, Jon Crowcroft, Jul...
ICRA
2005
IEEE
152views Robotics» more  ICRA 2005»
16 years 1 months ago
An Incremental Harmonic Function-based Probabilistic Roadmap Approach to Robot Path Planning
— A new hybrid motion planning technique based on Harmonic Functions (HF) and Probabilistic Roadmaps (PRM) is presented. The proposed approach consists of incrementally building ...
Moslem Kazemi, Mehran Mehrandezh, Kamal K. Gupta