8587 search results - page 170 / 1718 » Interactive dynamic abstraction |
146
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a computational framework for studying the influence of learning on the evolution of avian communication. We conducted computer simulations for explo...
138
click to vote
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
114
Voted
NECO
2007
15 years 4 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...
136
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
131
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: We show how an application of central importance to computational biochemistry can be implemented efficiently on an FPGA. This requires reformulating the algorithm and ta...