228 search results - page 14 / 46 » Towards computer aided mathematics |
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
Information visualization, aided by ever more accessible computational resources, continues to grow in popularity and significance. The capability to generate complex imagery by ...
ISWC
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we discuss wearable interfaces for a computational memory-aid useful in everyday life. The aim of this study is to develop a Video Diary system with vision interfac...
HUC
2011
Springer
12 years 8 months ago
2011
Springer
Sports exercises are beneficial for general health and fitness. Some exercises such as weight lifting are particularly errorprone and using incorrect techniques can result in seri...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
ESA
2007
Springer
14 years 17 days ago
2007
Springer
We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, i.e. surfaces of algebraic degree 2. This is a major step t...