1633 search results - page 251 / 327 » On the Verification of Temporal Properties |
CGF
1999
13 years 10 months ago
1999
This paper describes the successful combination of pre-generated and dynamically updated image-based representations to accelerate the visualization of complex virtual environment...
NN
2002
Springer
13 years 10 months ago
2002
Springer
Most of source separation methods focus on stationary sources, so higher-order statistics is necessary for successful separation, unless sources are temporally correlated. For non...
NECO
2007
13 years 10 months ago
2007
ll Text][Abstract] , October 18, 2006; 26 (42): 10826-10846.J. Neurosci. B. R. Conway and M. S. Livingstone Spatial and temporal properties of cone signals in alert macaque primary...
INFOCOM
2010
IEEE
13 years 9 months ago
2010
IEEE
—Dynamic spectrum trading amongst small cognitive users is fundamentally different along two axes: temporal variation, and spatial variation of user demand and channel condition....
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Blind extraction of quaternion-valued latent sources is addressed based on their local temporal properties. The extraction criterion is based on the minimum mean square widely lin...