Sciweavers

4666 search results - page 691 / 934
» Equations on Timed Languages
Sort
View
TSD
2004
Springer
15 years 10 months ago
Towards Lower Error Rates in Phoneme Recognition
We investigate techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database. The baseline phoneme recognizer is based on...
Petr Schwarz, Pavel Matejka, Jan Cernocký
FDL
2003
IEEE
15 years 10 months ago
Dynamic Power Management of an AMBA-based Platform in SystemC
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
Massimo Conti, Marco Caldari, Simone Orcioni
FDL
2003
IEEE
15 years 10 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
FDL
2003
IEEE
15 years 10 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
ELPUB
2003
ACM
15 years 10 months ago
Layout Design Principles for Cross Platform Publications
Design is a way of communication and expression. Words, shapes and images are a language and all together contribute to an effective communication. Designers and creative media la...
Angeliki Tevekeli