Sciweavers

2272 search results - page 211 / 455
» Validity Invariants and Effects
Sort
View
HAPTICS
2006
IEEE
14 years 4 months ago
A Limit-Curve Based Soft Finger god-object Algorithm
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
Antonio Frisoli, Emanuele Ruffaldi, Massimo Bergam...
ICPP
2006
IEEE
14 years 4 months ago
False Rate Analysis of Bloom Filter Replicas in Distributed Systems
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
Yifeng Zhu, Hong Jiang
ICRA
2006
IEEE
165views Robotics» more  ICRA 2006»
14 years 4 months ago
Trajectory Tracking and Balance Stabilization Control of Autonomous Motorcycles
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...
ICRA
2006
IEEE
82views Robotics» more  ICRA 2006»
14 years 4 months ago
Highly Articulated Robotic Probe for Minimally Invasive Surgery
- We have developed a novel highly articulated robotic probe (HARP) that can thread through tightly packed volumes without disturbing the surrounding tissues and organs. We use car...
Amir Degani, Howie Choset, Alon Wolf, Marco A. Zen...
INFOCOM
2006
IEEE
14 years 4 months ago
TCP NewReno Throughput in the Presence of Correlated Losses: The Slow-but-Steady Variant
— This paper presents an analytical model of steady state throughput of the Slow-but-Steady variant of TCP NewReno as a function of loss event rate, average number of segments lo...
Roman Dunaytsev, Yevgeni Koucheryavy, Jarmo Harju