357 search results - page 35 / 72 » Algorithms for the coalitional manipulation problem |
78
Voted
DAC
1998
ACM
15 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
JAIR
2010
14 years 8 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
66
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
112
Voted
SSIAI
2002
IEEE
15 years 3 months ago
2002
IEEE
Motion-based segmentation of image sequences is an important problem of image analysis, with numerous applications to image coding and image manipulation. We present a novel algor...
ICANN
2001
Springer
15 years 2 months ago
2001
Springer
In manipulating data such as in supervised learning, we often extract new features from original features for the purpose of reducing the dimensions of feature space and achieving ...