6113 search results - page 1000 / 1223 » Learning Features for Tracking |
FMCAD
2006
Springer
13 years 12 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
FLAIRS
2010
13 years 10 months ago
2010
When data instances are inter-related, as are nodes in a social network or hyperlink graph, algorithms for collective classification (CC) can significantly improve accuracy. Recen...
FLAIRS
2008
13 years 10 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...
FLAIRS
2008
13 years 10 months ago
2008
When a user is served with a ranked list of relevant documents by the standard document search engines, his search task is usually not over. He has to go through the entire docume...
AIRWEB
2008
Springer
13 years 10 months ago
2008
Springer
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...