4513 search results - page 730 / 903 » Logic programming with satisfiability |
123
Voted
WIOPT
2006
IEEE
15 years 9 months ago
2006
IEEE
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
102
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
115
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Content-targeted advertising, the task of automatically associating ads to a Web page, constitutes a key Web monetization strategy nowadays. Further, it introduces new challenging...
94
Voted
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
138
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...