2398 search results - page 145 / 480 » Constraint Programming and Graph Algorithms |
237
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
136
click to vote
DAC
2009
ACM
15 years 12 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
153
click to vote
ICASSP
2010
IEEE
15 years 5 months 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...
136
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
161
click to vote
STOC
2006
ACM
16 years 5 months ago
2006
ACM
Unique games are constraint satisfaction problems that can be viewed as a generalization of Max-Cut to a larger domain size. The Unique Games Conjecture states that it is hard to ...