3142 search results - page 420 / 629 » Solving Hierarchical Optimization Problems Using MOEAs |
117
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
143
click to vote
CVPR
2008
IEEE
15 years 21 days ago
2008
IEEE
Learning a robust projection with a small number of training samples is still a challenging problem in face recognition, especially when the unseen faces have extreme variation in...
TCAD
2008
15 years 13 days ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
100
Voted
TWC
2010
14 years 7 months ago
2010
We consider a multiuser two-way relay network where multiple pairs of users exchange information with the assistance of a relay node, using orthogonal channels per pair. For a vari...
119
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...