2152 search results - page 354 / 431 » A Comparative Study of 2QBF Algorithms |
155
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
141
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
150
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Many social Web sites allow users to annotate the content with descriptive metadata, such as tags, and more recently to organize content hierarchically. These types of structured ...
145
click to vote
INFOCOM
1995
IEEE
15 years 8 months ago
1995
IEEE
Establishing a multicast tree in a point-to-point network of switch nodes, such as a wide-area ATM network, is often modeled as the NP-complete Steiner problem in networks. In thi...
160
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...