4513 search results - page 730 / 903 » Logic programming with satisfiability |
166
click to vote
WIOPT
2006
IEEE
16 years 10 days 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...
142
click to vote
ASPDAC
2006
ACM
16 years 9 days 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...
159
click to vote
SIGIR
2006
ACM
16 years 8 days 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...
122
click to vote
CEC
2005
IEEE
15 years 12 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...
169
click to vote
DATE
2005
IEEE
15 years 12 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...