Sciweavers

2863 search results - page 314 / 573
» Computer modelling and natural phenomena
Sort
View
DAC
1999
ACM
16 years 7 months ago
Equivalent Elmore Delay for RLC Trees
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
Eby G. Friedman, José Luis Neves, Yehea I. ...
ISBI
2006
IEEE
16 years 7 months ago
A tightly coupled region-shape framework for 3D medical image segmentation
Most hybrid 3D segmentation methods either heuristically couple the respective algorithm or combine a true 3D with a 2D algorithm due to computational considerations. In this pape...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
LCN
2005
IEEE
16 years 9 days ago
On Reorder Density and its Application to Characterization of Packet Reordering
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
Nischal M. Piratla, Anura P. Jayasumana, Tarun Ban...
FOSSACS
2005
Springer
16 years 7 days ago
From Separation Logic to First-Order Logic
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
Cristiano Calcagno, Philippa Gardner, Matthew Hagu...
IJCNLP
2004
Springer
16 years 3 days ago
Improving Back-Transliteration by Combining Information Sources
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...
Slaven Bilac, Hozumi Tanaka