2470 search results - page 70 / 494 » Liveness-Preserving Simulation Relations |
86
Voted
WSC
2004
15 years 1 months ago
2004
The distribution of possible future losses for a portfolio of credit risky corporate assets, such as bonds or loans, shows strongly asymmetric behavior and a fat tail as the conse...
131
click to vote
CBMS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
79
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
TCC
2005
Springer
15 years 6 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
64
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Efficient iterative time preconditioners for Krylovbased harmonic balance circuit simulators are proposed. Some numerical experiments assess their performance relative to the well...