1044 search results - page 90 / 209 » An Active Learning Approach to Finding Related Terms |
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
RECSYS
2009
ACM
15 years 4 months ago
2009
ACM
With the exponential growth of Web contents, Recommender System has become indispensable for discovering new information that might interest Web users. Despite their success in th...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Understanding the extent to which people'ssearch behaviors differ in terms of the interaction flow and information targeted is important in designing interfaces to help World...
CVPR
2010
IEEE
14 years 8 months ago
2010
IEEE
We consider the `group motion segmentation' problem and provide a solution for it. The group motion segmentation problem aims at analyzing motion trajectories of multiple obj...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
Learning agents can improve performance cooperating with other agents, particularly learning agents forming a committee outperform individual agents. This "ensemble effect&qu...