Sciweavers

4346 search results - page 367 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
JCP
2008
121views more  JCP 2008»
15 years 6 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
APIN
2004
97views more  APIN 2004»
15 years 6 months ago
FSfRT: Forecasting System for Red Tides
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
Florentino Fdez-Riverola, Juan M. Corchado
NAACL
1994
15 years 8 months ago
Tree-Based State Tying for High Accuracy Modelling
The key problem to be faced when building a HMM-based continuous speech recogniser is maintaining the balance between model complexity and available training data. For large vocab...
S. J. Young, J. J. Odell, Philip C. Woodland
ICASSP
2011
IEEE
14 years 10 months ago
A simplified Subspace Gaussian Mixture to compact acoustic models for speech recognition
Speech recognition applications are known to require a significant amount of resources (memory, computing power). However, embedded speech recognition systems, such as in mobile p...
Mohamed Bouallegue, Driss Matrouf, Georges Linares
ICCD
1995
IEEE
109views Hardware» more  ICCD 1995»
15 years 10 months ago
Verifying the performance of the PCI local bus using symbolic techniques
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
Sérgio Vale Aguiar Campos, Edmund M. Clarke...