1211 search results - page 107 / 243 » Computing Manipulations of Ranking Systems |
FCSC
2007
13 years 9 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
MM
2010
ACM
13 years 9 months ago
2010
ACM
FACT is an interactive paper system for fine-grained interaction with documents across the boundary between paper and computers. It consists of a small camera-projector unit, a la...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
Over the last two decades FPGAs have become central components for many advanced digital systems, e.g., video signal processing, network routers, data acquisition and military sys...
LAWEB
2003
IEEE
14 years 2 months ago
2003
IEEE
Research on buying behavior indicates that buying guides perform an important role in the overall buying process. However, while many buying guides can be found on the Web, findin...