2470 search results - page 69 / 494 » Liveness-Preserving Simulation Relations |
129
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
In functional Magnetic Resonance Imaging (fMRI), recent works have addressed the non parametric estimation of the Hemodynamic Response Function (HRF) under linearity and stationar...
140
click to vote
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...
134
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
122
click to vote
WSC
2007
15 years 6 months ago
2007
A complex, stochastic simulation model of Colorectal Cancer (CRC) is examined through factor screening to determine which factors in the model are important. The factor screening ...
123
click to vote
DAGSTUHL
2010
15 years 5 months ago
2010
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...