5302 search results - page 832 / 1061 » Learning How to Separate |
167
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
There are many reasons why reverse engineering research tools often fail to be evaluated or adopted in industry. Their rough user interfaces and poor interoperability are just two...
168
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
200
click to vote
VRML
2003
ACM
15 years 12 months ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
191
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
Ranking a set of retrieved documents according to their relevance to a given query has become a popular problem at the intersection of web search, machine learning, and informatio...
172
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...