Sciweavers

7766 search results - page 1350 / 1554
» Testing Nondeterminate Systems
Sort
View
ICMCS
2010
IEEE
229views Multimedia» more  ICMCS 2010»
15 years 3 months ago
Decoder-side motion vector derivation for hybrid video inter coding
The ongoing increase of computing performance facilitates a higher algorithmical complexity in video coding systems. The decoder may be able to estimate or derive prediction param...
Steffen Kamp, Mathias Wien
LDTA
2010
15 years 3 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
SIGCOMM
2010
ACM
15 years 3 months ago
Running servers around zero degrees
Data centers are a major consumer of electricity and a significant fraction of their energy use is devoted to cooling the data center. Recent prototype deployments have investigat...
Mikko Pervilä, Jussi Kangasharju
SOFTVIS
2010
ACM
15 years 3 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 3 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
« Prev « First page 1350 / 1554 Last » Next »