15 search results - page 2 / 3 » Improving Strategies via SMT Solving |
IWINAC
2007
Springer
13 years 10 months ago
2007
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is firs...
AINA
2004
IEEE
13 years 8 months ago
2004
IEEE
As the wireless technology evolves, one can access the Internet almost everywhere via many wireless access networks such as wireless LAN and GPRS. People would like to use the wir...
ECIR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Learning ranking functions is crucial for solving many problems, ranging from document retrieval to building recommendation systems based on an individual user’s prefer...
ESWA
2008
13 years 4 months ago
2008
The proportionate flow shop (PFS) is considered as a unique case of the flow shop problem in which the processing times of the operations belonging to the same job are equal. A pr...
SDM
2012
SIAM
11 years 6 months ago
2012
SIAM
Multiple data sources containing different types of features may be available for a given task. For instance, users’ profiles can be used to build recommendation systems. In a...