1633 search results - page 251 / 327 » On the Verification of Temporal Properties |
104
Voted
CGF
1999
15 years 10 days 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...
90
Voted
NN
2002
Springer
15 years 9 days 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
15 years 5 days 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...
95
Voted
INFOCOM
2010
IEEE
14 years 11 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....
98
Voted
ICASSP
2011
IEEE
14 years 4 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...