Sciweavers

1580 search results - page 174 / 316
» Non-Interference Through Determinism
Sort
View
132
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
A Joint Design of Distributed QoS Scheduling and Power Control for Wireless Networks
— The capacity of a power controlled wireless network can be changing due to user’s mobility, fading or shadowing effects. As a result, the quality of service (QOS) of users ac...
Chun-Chia Chen, Duan-Shin Lee
139
Voted
IPPS
2006
IEEE
15 years 9 months ago
Pipelined broadcast on Ethernet switched clusters
We consider unicast-based pipelined broadcast schemes for clusters connected by multiple Ethernet switches. By splitting a large broadcast message into segments and broadcasting t...
Pitch Patarasuk, Ahmad Faraj, Xin Yuan
IROS
2006
IEEE
127views Robotics» more  IROS 2006»
15 years 9 months ago
Path Following Control with Slip Compensation on Loose Soil for Exploration Rover
— In this paper, a path following control strategy for lunar/planetary exploration rovers is described, taking into account slip motion of the rover. It is determined that the sl...
Genya Ishigami, Keiji Nagatani, Kazuya Yoshida
96
Voted
ACCV
2006
Springer
15 years 9 months ago
Object Detection Using a Cascade of 3D Models
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
Hon-Keat Pong, Tat-Jen Cham
159
Voted
ACL2
2006
ACM
15 years 9 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.