Sciweavers

4 search results - page 1 / 1
» The Albert Nonassociative Algebra System: A Progress Report
Sort
View
ISSAC
1994
Springer
136views Mathematics» more  ISSAC 1994»
13 years 7 months ago
The Albert Nonassociative Algebra System: A Progress Report
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
David Pokrass Jacobs
ENTCS
2006
113views more  ENTCS 2006»
13 years 3 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
SWS
2004
ACM
13 years 9 months ago
Creating non-decomposable stream bundles in multimedia web services using uSMIL
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
Naren Kodali, Csilla Farkas, Duminda Wijesekera
ICMCS
2006
IEEE
136views Multimedia» more  ICMCS 2006»
13 years 9 months ago
Towards the Application of a Handwriting Interface for Mathematics Learning
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger