33 search results - page 3 / 7 » From Livingstone to SMV |
NECO
2007
13 years 9 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...
CIG
2005
IEEE
14 years 3 months ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
We define a rotation field by extending the notion of a vector field to rotations. A vector field has a vector as a value at each point of its domain; a rotation field has a ...
ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...