2780 search results - page 442 / 556 » Learning to Order Things |
90
Voted
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
84
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
92
Voted
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
Numerical multilinear (tensor) algebra is a principled mathematical approach to disentangling and explicitly and parsimoniously representing the essential factors or modes of imag...
102
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
In this work, we propose a multi-relational concept discovery method for business intelligence applications. Multi-relational data mining finds interesting patterns that span ove...
115
Voted
ICON
2007
IEEE
15 years 7 months ago
2007
IEEE
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...