6020 search results - page 401 / 1204 » A New Approach to Model Counting |
186
click to vote
HIS
2004
15 years 8 months ago
2004
In this work, we proposed to use the Zoomed Ranking approach to rank and select time series models. Zoomed Ranking, originally proposed to generate a ranking of candidate algorith...
164
click to vote
AAAI
2010
15 years 4 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
187
click to vote
ICWSM
2009
15 years 4 months ago
2009
The advent of social tagging systems has enabled a new community-based view of the Web in which objects like images, videos, and Web pages are annotated by thousands of users. Und...
249
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Hand gesture interpretation is an open research problem in Human Computer Interaction (HCI), which involves locating gesture boundaries (Gesture Spotting) in a continuous video se...
191
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
Many interactive image segmentation approaches use an objective function which includes appearance models as an unknown variable. Since the resulting optimization problem is NP-har...