Sciweavers

2819 search results - page 424 / 564
» Automatic Structures
Sort
View
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
15 years 8 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni
ICDCS
2007
IEEE
15 years 8 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
ICDE
2007
IEEE
209views Database» more  ICDE 2007»
15 years 8 months ago
Hierarchical Temporal Association Mining for Video Event Detection in Video Databases
With the proliferation of multimedia data and evergrowing requests for multimedia applications, new challenges are emerged for efficient and effective managing and accessing large...
Min Chen, Shu-Ching Chen, Mei-Ling Shyu
ICRA
2007
IEEE
136views Robotics» more  ICRA 2007»
15 years 8 months ago
Automated Nanomanipulation with Atomic Force Microscopes
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
Babak Mokaberi, Jaehong Yun, Michael Wang, Aristid...
ICRA
2007
IEEE
146views Robotics» more  ICRA 2007»
15 years 8 months ago
Interactive Motion Control of Deformable Objects Using Localized Optimal Control
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...
Hongjun Jeon, Min-Hyung Choi