12981 search results - page 2575 / 2597 » Model Checking (Abstract) |
JCNS
2000
14 years 9 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
IEEEMM
2002
14 years 9 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
BC
1998
14 years 9 months ago
1998
Abstract. We report on the nonlinear analysis of electroencephalogram (EEG) recordings in the rabbit visual cortex. Epileptic seizures were induced by local penicillin application ...
CORR
1999
Springer
14 years 9 months ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
SIAMCOMP
2002
14 years 9 months ago
2002
Abstract. In the multiarmed bandit problem, a gambler must decide which arm of K nonidentical slot machines to play in a sequence of trials so as to maximize his reward. This class...