309 search results - page 4 / 62 » A Comparative Revisitation of Some Program Transformation Te... |
LCPC
2005
Springer
14 years 2 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ā...
ACL
1998
13 years 10 months ago
1998
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
We investigate the sparse eigenvalue problem which arises in various fields such as machine learning and statistics. Unlike standard approaches relying on approximation of the l0n...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
In this work, we present comparative evaluation of the practical value of some recently proposed speech parameterizations on the speech recognition task. Specifically, in a common...