10 search results - page 2 / 2 » Intelligent understanding of handwritten geometry theorem pr... |
AISC
2004
Springer
13 years 9 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
ICRA
1994
IEEE
13 years 9 months ago
1994
IEEE
The efficient planning ofcontact tasks for intelligent robotic systems requires a thorough understanding of the kinematic constraints im on the system by C l J -form analyticeolut...
COGSYS
2005
Springer
13 years 7 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
HT
2011
ACM
12 years 8 months ago
2011
ACM
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
MOC
2011
13 years 10 days ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...