Sciweavers

10891 search results - page 171 / 2179
» Combining Model Reductions
Sort
View
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
15 years 5 months ago
A wideband hierarchical circuit reduction for massively coupled interconnects
— We develop a realizable circuit reduction to generate the interconnect macro-model for parasitic estimation in wideband applications. The inductance is represented by VPEC (vec...
Hao Yu, Lei He, Zhenyu Qi, Sheldon X.-D. Tan
145
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 3 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
155
Voted
TOG
2012
170views Communications» more  TOG 2012»
13 years 5 months ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
JCSS
2010
111views more  JCSS 2010»
15 years 1 months ago
Reduction rules for reset/inhibitor nets
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van ...
ICPR
2008
IEEE
15 years 9 months ago
Edge-preserving unscented Kalman filter for speckle reduction
We propose a recursive spatial-domain speckle reduction algorithm for synthetic aperture radar (SAR) imagery based on the unscented Kalman filter (UKF) with a discontinuity-adapt...
Gorthi R. K. Sai Subrahmanyam, A. N. Rajagopalan, ...