2470 search results - page 93 / 494 » Liveness-Preserving Simulation Relations |
120
Voted
GRAPHITE
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes the work-in-progress of creating an artificial 3D environment and robot, suitable for educational simulation. A visual 3D vehicle robot, equipped with a monoc...
100
click to vote
ISPD
2000
ACM
15 years 5 months ago
2000
ACM
500+ MHz designs using deep-submicron (DSM) copper interconnects require accurate and efficient modeling of cladding-metals’ frequency-dependent impedance [1]. In this paper, fo...
114
Voted
TKDE
1998
15 years 8 days ago
1998
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
117
Voted
SSDBM
2011
IEEE
14 years 4 months ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...