Sciweavers

3299 search results - page 138 / 660
» A general mathematics of names
Sort
View
MKM
2009
Springer
15 years 11 months ago
Math-Literate Computers
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
Dorothea Blostein
SIGCSE
2000
ACM
121views Education» more  SIGCSE 2000»
15 years 10 months ago
Powers of 10: the case for changing the first course in computer graphics
The growing maturity of computer graphics technology now makes it possible to view the introductory graphics course in a general computer science curriculum in a new light. Instea...
Steve Cunningham
VL
1999
IEEE
120views Visual Languages» more  VL 1999»
15 years 10 months ago
Formalizing Spider Diagrams
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Joseph Gil, John Howse, Stuart Kent
ICRA
1993
IEEE
97views Robotics» more  ICRA 1993»
15 years 10 months ago
Task Space Velocity Blending for Real-Time Trajectory Generation
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...
Richard Volpe
ECAI
1994
Springer
15 years 10 months ago
Reusing Proofs
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
Thomas Kolbe, Christoph Walther