1145 search results - page 161 / 229 » The Correctness of an Optimized Code Generation |
COLING
2008
15 years 1 months ago
2008
We propose an efficient dialogue management for an information navigation system based on a document knowledge base with a spoken dialogue interface. In order to perform robustly ...
ICASSP
2010
IEEE
15 years 1 days ago
2010
IEEE
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
107
click to vote
TKDE
2010
14 years 10 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...
119
click to vote
PADL
2012
Springer
13 years 7 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
IESS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...