2840 search results - page 385 / 568 » Learning Phrasal Categories |
182
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
157
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—It is well known that Web users create links with different intentions. However, a key question, which is not well studied, is how to categorize the links and how to quantify th...
151
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
225
click to vote
AIRWEB
2009
Springer
16 years 1 months ago
2009
Springer
The popularity of social bookmarking sites has made them prime targets for spammers. Many of these systems require an administrator’s time and energy to manually filter or remo...
180
click to vote
AIRWEB
2009
Springer
16 years 1 months ago
2009
Springer
Web spamming techniques aim to achieve undeserved rankings in search results. Research has been widely conducted on identifying such spam and neutralizing its influence. However,...