Sciweavers

6293 search results - page 1069 / 1259
» Information Flow Testing
Sort
View
LDTA
2010
15 years 4 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju
CCS
2010
ACM
15 years 4 months ago
On verifying stateful dataflow processing services in large-scale cloud systems
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
Juan Du, Xiaohui Gu, Ting Yu
SOFTVIS
2010
ACM
15 years 4 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
ICASSP
2010
IEEE
15 years 4 months ago
The effect of lattice pruning on MMIE training
In discriminative training, such as Maximum Mutual Information Estimation (MMIE) training, a word lattice is usually used as a compact representation of many different sentence hy...
Long Qin, Alexander I. Rudnicky
ICASSP
2010
IEEE
15 years 4 months ago
Characterization of movie genre based on music score
While it is clear that the full emotional effect of a movie scene is carried through the successful interpretation of audio and visual information, music still carries a significa...
Aida Austin, Elliot Moore II, Udit Gupta, Parag Ch...
« Prev « First page 1069 / 1259 Last » Next »