Sciweavers

901 search results - page 76 / 181
» Analyzing linear mergers
Sort
View
ISQED
2007
IEEE
106views Hardware» more  ISQED 2007»
15 years 5 months ago
Passive Modeling of Interconnects by Waveform Shaping
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
Boyuan Yan, Pu Liu, Sheldon X.-D. Tan, Bruce McGau...
TABLEAUX
2007
Springer
15 years 5 months ago
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
ENC
2005
IEEE
15 years 4 months ago
Basis Pursuit Based Algorithm for Intra-Voxel Recovering Information in DW-MRI.
In this work we apply the Basis Pursuit (BP) methodology for recovering the intra-voxel information in Diffusion Weighted MR Images (DW-MRI). We compare the BP approach with a Dif...
Alonso Ramirez-Manzanares, Mariano Rivera
ICNP
2005
IEEE
15 years 4 months ago
The Fundamental Role of Hop Distance in IEEE802.11 Multi-Hop Ad Hoc Networks
In wireless networks, it is well understood what throughput can be achieved by nodes who can hear each other (i.e. nodes within a single cell)[1, 3]. The effects of nodes beyond t...
Yan Gao, Dah-Ming Chiu, John C. S. Lui
PCM
2005
Springer
123views Multimedia» more  PCM 2005»
15 years 4 months ago
Adaptive Vertex Chasing for the Lossless Geometry Coding of 3D Meshes
We present a new lossless geometry coding method for 3D triangle-quad meshes, Adaptive Vertex Chasing. Previous localized geometry coding methods have demonstrated better compressi...
Haeyoung Lee, Sujin Park