Sciweavers

4981 search results - page 856 / 997
» Dependent Gaussian Processes
Sort
View
ICONIP
2010
15 years 5 months ago
Learning Shapes Bifurcations of Neural Dynamics upon External Stimuli
Memory is often considered to be embedded into one of the attractors in neural dynamical systems, which provides an appropriate output depending on the initial state specified by ...
Tomoki Kurikawa, Kunihiko Kaneko
ICONIP
2010
15 years 5 months ago
Complex Spiking Models: A Role for Diffuse Thalamic Projections in Complex Cortical Activity
Cortical activity exhibits complex, persistent self-sustained dynamics, which is hypothesised to support the brain’s sophisticated processing capabilities. Prior studies have sho...
Peter Stratton, Janet Wiles
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 5 months ago
On optimal AUV track-spacing for underwater mine detection
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
David P. Williams
ICST
2010
IEEE
15 years 5 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 5 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim