Sciweavers

1992 search results - page 361 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
JCNS
2008
78views more  JCNS 2008»
15 years 27 days ago
A computational study of synaptic mechanisms of partial memory transfer in cerebellar vestibulo-ocular-reflex learning
There is a debate regarding whether motor memory is stored in the cerebellar cortex, or the cerebellar nuclei, or both. Memory may be acquired in the cortex and then be transferred...
Naoki Masuda, Shun-ichi Amari
ICMCS
2005
IEEE
158views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Processor Load Analysis for Mobile Multimedia Streaming: The Implication of Power Reduction
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
Min Li, Xiaobo Wu, Zihua Guo, Richard Yao, Xiaolan...
INFOSCALE
2007
ACM
15 years 3 months ago
A model-based WiFi localization method
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
Dik Lun Lee, Qiuxia Chen
133
Voted
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 2 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...
FMCAD
2006
Springer
15 years 6 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar