2038 search results - page 335 / 408 » Loops under Strategies |
139
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
142
click to vote
ICDM
2010
IEEE
15 years 1 months ago
2010
IEEE
We study the retrieval task that ranks a set of objects for a given query in the pairwise preference learning framework. Recently researchers found out that raw features (e.g. word...
114
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Unlike most previous manifold-based data classification algorithms assume that all the data points are on a single manifold, we expect that data from different classes may reside ...
129
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
244
click to vote
ACL
2009
15 years 1 months ago
2009
In text categorization, feature selection (FS) is a strategy that aims at making text classifiers more efficient and accurate. However, when dealing with a new task, it is still d...