Sciweavers

4341 search results - page 706 / 869
» Quantitative Model checking
Sort
View
IJON
2006
71views more  IJON 2006»
15 years 6 months ago
A segmentation algorithm for zebra finch song at the note level
Songbirds have been widely used as a model for studying neuronal circuits that relate to vocal learning and production. An important component of this research relies on quantitat...
Ping Du, Todd W. Troyer
ENGL
2007
71views more  ENGL 2007»
15 years 6 months ago
The Development of a Generic Technique for Flow Line Monitoring
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
C. S. Tang, C. Y. Chan, Kai-Leung Yung
PAMI
2008
132views more  PAMI 2008»
15 years 6 months ago
Trajectory Association across Multiple Airborne Cameras
A camera mounted on an aerial vehicle provides an excellent means to monitor large areas of a scene. Utilizing several such cameras on different aerial vehicles allows further flex...
Yaser Sheikh, Mubarak Shah
NN
2006
Springer
141views Neural Networks» more  NN 2006»
15 years 6 months ago
Encoding uncertainty in the hippocampus
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...
Lee M. Harrison, Andrew Duggins, Karl J. Friston
NN
2006
Springer
234views Neural Networks» more  NN 2006»
15 years 6 months ago
Attention in natural scenes: Neurophysiological and computational bases
How does attention operate in natural scenes? We show that the receptive fields of inferior temporal cortex neurons that implement object representations become small and located ...
Edmund T. Rolls, Gustavo Deco