882 search results - page 73 / 177 » Local Search for Very Large SAT Problems |
146
Voted
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
128
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Relational, XML and HTML data can be represented as graphs with entities as nodes and relationships as edges. Text is associated with nodes and possibly edges. Keyword search on s...
169
Voted
KDD
2004
ACM
15 years 9 months ago
2004
ACM
Semantic understanding of multimedia content is critical in enabling effective access to all forms of digital media data. By making large media repositories searchable, semantic ...
133
click to vote
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
-- A large and reliable DNA codeword library is the key to the success of DNA based computing. Searching for the set of reliable DNA codewords is an NP-hard problem, which can take...
179
Voted
ANNS
2010
14 years 11 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...