write-math.tex 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465
  1. \subsection{Write Math}
  2. \begin{frame}{write-math.com}
  3. \begin{itemize}
  4. \item a website where users can add labeled training data and unlabeled
  5. data which they want to classify. I call this data \enquote{recording}
  6. \begin{figure}[ht]
  7. \centering
  8. \subfloat{
  9. \includegraphics[height=0.1\textwidth]{../images/279952.pdf}
  10. }%
  11. \qquad
  12. \subfloat{
  13. \includegraphics[height=0.1\textwidth]{../images/281507.pdf}
  14. }%
  15. \qquad
  16. \subfloat{
  17. \includegraphics[height=0.1\textwidth]{../images/287612.pdf}
  18. }%
  19. \qquad
  20. \subfloat{
  21. \includegraphics[height=0.1\textwidth]{../images/292175.pdf}
  22. }%
  23. \caption*{4 recordings}
  24. \end{figure}
  25. \item works with desktop computers and touch devices
  26. \item symbol recognition can be done by multiple classifiers
  27. \item users can contribute formulas as recordings and as \LaTeX{} answers
  28. for recordings
  29. \item users can vote for \LaTeX{} answers:
  30. \Large $\leq$, $\leqq$, $\leqslant$, \dots \normalsize
  31. \item user who entered the recording can accept one answer
  32. \end{itemize}
  33. \end{frame}
  34. \framedgraphic{Classify}{../images/classify.png}
  35. \framedgraphic{Workflow}{../images/workflow.png}
  36. % \framedgraphic{User page}{../images/user-page.png}
  37. % \framedgraphic{Information about recordings}{../images/view.png}
  38. % \framedgraphic{Symbol page}{../images/symbol.png}
  39. % \framedgraphic{Training}{../images/train.png}
  40. \framedgraphic{Ranking}{../images/ranking.png}
  41. \begin{frame}[fragile]{Statistics}
  42. \begin{itemize}
  43. \item 127 users with at least 5 recordings
  44. \item $\num{1111}$ symbols, but only $\num{369}$ used for experiments
  45. \item $\num{235831}$ recordings (e.g. $\num{3489}$ times \verb+\int+, but only 50 times \verb+X+)
  46. \end{itemize}
  47. \end{frame}
  48. \begin{frame}{First classification worker}
  49. \begin{itemize}
  50. \item preprocessing: Scale to fit into unit square while keeping the aspect
  51. ratio
  52. \item applies greedy time warping
  53. \item compares a new recording with every recording
  54. in the database
  55. \item[$\Rightarrow$] Classification time is in $\mathcal{O}(\text{recordings})$,
  56. but we rather would like $\mathcal{O}(\text{symbols})$
  57. \item the current server / workflow can only handle about 4000 recordings
  58. \item[$\Rightarrow$] Another way to classify is necessary
  59. \end{itemize}
  60. \end{frame}