Sciweavers

2211 search results - page 226 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ICPR
2004
IEEE
16 years 4 days ago
A Deformable Model Driven Method for Handling Clothes
A model-driven method for handling clothes by two manipulators based on observation with stereo cameras is proposed. The task considered in this paper is to hold up a specific par...
Yasuyo Kita, Fuminori Saito, Nobuyuki Kita
DAC
2005
ACM
16 years 6 hour ago
IODINE: a tool to automatically infer dynamic invariants for hardware designs
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
Sudheendra Hangal, Naveen Chandra, Sridhar Narayan...
ICML
2008
IEEE
15 years 12 months ago
ICA and ISA using Schweizer-Wolff measure of dependence
We propose a new algorithm for independent component and independent subspace analysis problems. This algorithm uses a contrast based on the Schweizer-Wolff measure of pairwise de...
Barnabás Póczos, Sergey Kirshner
ISBI
2006
IEEE
15 years 11 months ago
Preliminary testing of sensitivity to input data quality in an elastographic reconstruction method
An elastographic reconstruction method has been developed to recover the material properties of soft tissue by modelbased analysis of image data acquired at different states of me...
Jao J. Ou, Stephanie L. Barnes, Michael I. Miga
ICCAD
2006
IEEE
138views Hardware» more  ICCAD 2006»
15 years 8 months ago
Analytical modeling of SRAM dynamic stability
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
Bin Zhang, Ari Arapostathis, Sani R. Nassif, Micha...