337 search results - page 59 / 68 » Type Classes for Mathematics in Type Theory |
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. However, many si...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We present a novel method for analyzing reflections on arbitrary surfaces. We model reflections using a broader than usual class of imaging models, which include both perspective ...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...