Sciweavers

850 search results - page 55 / 170
» heuristics 2006
Sort
View
ICASSP
2009
IEEE
14 years 5 months ago
An EM algorithm for SCFG in formal syntax-based translation
In this paper, we investigate the use of bilingual parsing on parallel corpora to better estimate the rule parameters in a formal syntax-based machine translation system, which ar...
Songfang Huang, Bowen Zhou
IPPS
2006
IEEE
14 years 5 months ago
Parallelizing post-placement timing optimization
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
Jiyoun Kim, Marios C. Papaefthymiou, José N...
ACMSE
2006
ACM
14 years 5 months ago
Support vector machines for collaborative filtering
Support Vector Machines (SVMs) have successfully shown efficiencies in many areas such as text categorization. Although recommendation systems share many similarities with text ca...
Zhonghang Xia, Yulin Dong, Guangming Xing
ACMSE
2006
ACM
14 years 5 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
CC
2006
Springer
132views System Software» more  CC 2006»
14 years 2 months ago
Register Allocation for Programs in SSA-Form
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...
Sebastian Hack, Daniel Grund, Gerhard Goos