Последние добавленные видео:
doi:10.1145
-
11 месяцев назад
5 11 месяцев назад 13:42SolMover:
-
2 года назад
27 2 года назад 2:05DOI：
-
2 года назад
45 2 года назад 6:35HRI2023 Presentation Video
-
6 месяцев назад
11 6 месяцев назад 19:1810.1145/3185517 - A Review of User Interface Design for Interactive Machine Learning
-
8 месяцев назад
91 8 месяцев назад 28:35[Haskell24] Functional Reactive Programming, Rearranged
-
1 год назад
22 1 год назад 18:00[SOAP24] ValBench: Benchmarking exact value analysis
-
4 года назад
181 4 года назад 12:20Gleipnir: toward practical error analysis for Quantum programs
-
3 года назад
254 3 года назад 4:56Relational E-Matching (Teaser)
-
3 года назад
178 3 года назад 21:41[POPL'22] Dependently-Typed Data Plane Programming
-
4 года назад
34050 4 года назад 52:04Thinking in Events: From Databases to Distributed Collaboration Software (ACM DEBS 2021)
-
1 день назад
3 1 день назад 8:24Knowing You Don’t Know - Linda presenting at SIGIR 2025
-
3 года назад
425 3 года назад 25:50[POPL'22] Relational E-matching
-
2 года назад
7885 2 года назад 2:46New programming tool turns sketches, handwriting into code
-
4 года назад
126 4 года назад 21:24Removing Spurious Features can Hurt Accuracy and Affect Groups Disproportionately
-
3 года назад
178 3 года назад 21:08CASE STUDY: No Door Handle, No Entry! Expressing Cues through a Shape-Changing Door
-
2 года назад
291 2 года назад 15:48[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection
-
3 года назад
220 3 года назад 4:51Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differenti (Teaser)
-
3 года назад
1574 3 года назад 11:48Symbolic and Automatic Differentiation of Languages
-
3 года назад
134 3 года назад 2:22Safe, Modular Packet Pipeline Programming (Teaser)