Sciweavers

2002 search results - page 244 / 401
» Interactive technical illustration
Sort
View
DATE
2005
IEEE
164views Hardware» more  DATE 2005»
15 years 11 months ago
Automated Synthesis of Assertion Monitors using Visual Specifications
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
Ambar A. Gadkari, S. Ramesh
HAPTICS
2005
IEEE
15 years 11 months ago
Increasing the Impedance Range of a Haptic Display by Adding Electrical Damping
This work examines electrical damping as a means for improving haptic display performance. Specifically, electrical damping, like its mechanical counterpart, can significantly red...
Joshua Mehling, J. Edward Colgate, Michael A. Pesh...
ICPADS
2005
IEEE
15 years 11 months ago
An Architecture for Multi-Agent COTS Software Integration Systems
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
Guo-Ming Fang, Jim-Min Lin
ICRA
2005
IEEE
170views Robotics» more  ICRA 2005»
15 years 11 months ago
Bilateral Teleoperation of Multiple Cooperative Robots over Delayed Communication Networks: Application
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...
Dongjun Lee, Oscar Martinez-Palafox, Mark W. Spong
164
Voted
WIOPT
2005
IEEE
15 years 11 months ago
A Novel Framework for Radio Resource Management in IEEE 802.11 Wireless LANs
In this paper we address the need to characterize and quantify resource usage in IEEE 802.11 WLANs in order to support radio resource management. We present a compact and intuitiv...
Mark Davis, Tristan Raimondi