Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 211. |
Propositional Equality for Gradual Dependently-Typed
Programming.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: ICFP. Pages: 165-193. Date: August 2022. Authors: Joseph Eremondi, Ronald Garcia, Éric Tanter |
|
| 212. |
A Reasonably Gradual Type Theory.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: ICFP. Pages: 931-959. Date: August 2022. Authors: Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter |
|
| 213. |
Measuring the Local Complementarity of Population, Amenities
and
Digital Activities to Identify and Understand Urban Areas of Interest.
Journal: Environment and Planning B: Urban Analytics and City Science. Date: August 2022. Authors: Eduardo Graells, Rossano Schifanella, Daniela Opitz, Francisco Rowe |
|
| 214. |
Automatic Floor Plan Analysis and Recognition.
Journal: Automation in Construction. Volume: 140. Pages: Article 104348. Date: June 2022. Authors: Pablo Pizarro, Nancy Hitschfeld, Iván Sipirán, Jose Saavedra |
|
| 215. |
Implicit Interaction Mechanisms in VR-Controlled Interactive
Visual Novels.
Conference: Human-Computer Interaction in Games (Virtual Event). Publisher: Springer Nature Switzerland AG. Pages: 605-617. Date: 2022. Authors: Cristóbal Maldonado, Francisco Gutierrez, Victor Fajnzylber |
|
| 216. |
ALBETO and DistilBETO: Lightweight Spanish Language
Models.
Conference: International Conference on Language Resources and Evaluation. Publisher: European Language Resources Association (ELRA). Pages: 4291-4298. Date: 2022. Authors: José Cañete, Sebastián Donoso, Felipe Bravo-Marquez, Andres Carvallo, Vladimir Araujo |
|
| 217. |
Evaluation Benchmarks for Spanish Sentence Representations.
Conference: International Conference on Language Resources and Evaluation. Publisher: European Language Resources Association (ELRA). Pages: 6024-6034. Date: 2022. Authors: Vladimir Araujo, Andres Carvallo, Souvik Kundu, José Cañete, Marcelo Mendoza, Robert E. Mercer, Felipe Bravo-Marquez, Marie-Francine Moens, Alvaro Soto |
|
| 218. |
Improving Matrix-vector Multiplication via Lossless
Grammar-Compressed Matrices.
Journal: Proceedings of the VLDB Endowment. Volume: 15. Issue: 10. Pages: 2175-2187. Date: 2022. Authors: Paolo Ferragina, Giovanni Manzini, Travis Gagie, Dominik Koppl, Gonzalo Navarro, Manuel Striani, Francesco Tosoni |
|
| 219. |
Grammar Compression by Induced Suffix Sorting.
Journal: ACM Journal of Experimental Algorithmics. Volume: 27. Pages: Article 1.1. Date: 2022. Authors: Daniel S. N. Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro |
|
| 220. |
Large-scale Agent-based Simulations of Online Social
Networks.
Journal: Autonomous Agents and Multi-Agent Systems. Volume: 36. Issue: 38. Date: June 2022. Authors: Goran Murić, Alexey Tregubov, Jim Blythe, Andrés Abeliuk, Divya Choudhary, Kristina Lerman, Emilio Ferrara |
|