533 search results - page 3 / 107 » A Very Mathematical Dilemma |
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Capturing the context of a user's query from the previous queries and clicks in the same session may help understand the user's information need. A context-aware approac...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
TPHOL
1996
IEEE
13 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
KDD
2000
ACM
13 years 11 months ago
2000
ACM
The grand tour, one of the most popular methods for multidimensional data exploration, is based on orthogonally projecting multidimensional data to a sequence of lower dimensional...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Current work in object categorization discriminates
among objects that typically possess gross differences
which are readily apparent. However, many applications
require making ...