1727 search results - page 167 / 346 » A Technique for Large Automated Mechanism Design Problems |
175
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Collaborative recommender systems are highly vulnerable to attack. Attackers can use automated means to inject a large number of biased profiles into such a system, resulting in r...
169
click to vote
CN
2007
15 years 6 months ago
2007
Worms are self-replicating malicious programs that represent a major security threat for the Internet, as they can infect and damage a large number of vulnerable hosts at timescal...
160
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
143
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Logic decomposition has been extensively used to optimize the worst-case delay and the area in the technology independent phase. Bi-decomposition is one of the state-of-art techni...
155
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...