3130 search results - page 378 / 626 » Design Correctness of Digital Systems |
183
click to vote
DASC
2006
IEEE
15 years 10 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
171
click to vote
BNCOD
2007
15 years 8 months ago
2007
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
128
click to vote
LREC
2008
15 years 8 months ago
2008
In the Autonomata project we have collected a corpus of spoken name utterances with manually corrected phonemic transcriptions of these utterances. The corpus was designed with th...
145
click to vote
ACL
2006
15 years 8 months ago
2006
Speech recognition problems are a reality in current spoken dialogue systems. In order to better understand these phenomena, we study dependencies between speech recognition probl...
205
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a pilot-assisted method for estimating the frequency selective channel in a MIMO-OFDM system. The pilot sequence is designed using the DFT of the Golay complementary se...