1727 search results - page 89 / 346 » A Technique for Large Automated Mechanism Design Problems |
155
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
169
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Recommender systems have been widely advocated as a way of coping with the problem of information overload for knowledge workers. Given this, multiple recommendation methods have ...
149
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
201
click to vote
SIPS
2008
IEEE
16 years 22 days ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
150
click to vote
EOR
2007
15 years 6 months ago
2007
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...