Sciweavers

212 search results - page 27 / 43
» Rapid Abstract Control Model for Signal Processing Implement...
Sort
View
ICRA
2009
IEEE
137views Robotics» more  ICRA 2009»
15 years 6 months ago
Continuous vocal imitation with self-organized vowel spaces in Recurrent Neural Network
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
Hisashi Kanda, Tetsuya Ogata, Toru Takahashi, Kazu...
FCCM
2009
IEEE
170views VLSI» more  FCCM 2009»
14 years 9 months ago
Generic Software Framework for Adaptive Applications on FPGAs
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
Suhaib A. Fahmy, Jorg Lotze, Juanjo Noguera, Linda...
MABS
2004
Springer
15 years 5 months ago
A Hybrid Micro-Simulator for Determining the Effects of Governmental Control Policies on Transport Chains
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
Markus Bergkvist, Paul Davidsson, Jan A. Persson, ...
SPIN
2000
Springer
15 years 3 months ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann
CORR
2000
Springer
104views Education» more  CORR 2000»
14 years 11 months ago
ATLAS: A flexible and extensible architecture for linguistic annotation
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
Steven Bird, David Day, John S. Garofolo, John Hen...