@article{ho2023modularity, title={Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification}, author={Ho, Son and Fromherz, Aymeric and Protzenko, Jonathan}, journal={Proceedings of the ACM on Programming Languages}, volume={7}, number={ICFP}, pages={385--416}, ...
In: Proceedings of the 5th International Conference on Intelligent User Interfaces, ACM Press. pp. 44–51 Croft B and Thompson RH (1987) I3R: A new approach to the design of document retrieval systems. Journal of the American Society for Information Science 38(6):389–404 Article Google ...
Accepted papers will be published in the Conference Proceedings which will be archived in the ACM Digital Library, and indexed by Ei Compendex and Scopus and submitted to be reviewed by Thomson Reuters Conference Proceedings Citation Index (ISI Web of Science). 4. Publication History AIEE 2022- A...
Welcome to the ACM Web Science 2014 Conference. This is the 6th conference of the series and the 3rd to be sponsored by ACM through the Special Interest Group on Hypertext, Hypermedia and the Web (SIGWEB). The Conference continues to acknowledge the centrality of the Web as a socially constr...
All accepted papers will be published in the proceedings which will be included in the digital libraries of both sponsors: ACM and IEEE Computer Society. These are also indexed through various indexes including Thomson ISI Web of Science.
In Proceedings of the 3rd international web science conference. WebSci11; 2011. Beran, T., & Li, Q. (2008). The relationship between cyberbullying and school bullying. The Journal of Student Wellbeing, 1(2), 16–33. Article Google Scholar Bessiere, K., Kiesler, S., Kraut, R., &...
In online public opinion events, key figures are crucial to the formation and diffusion of public opinion, to the evolution and dissemination of topics, and to the guidance and transformation of the direction of public opinion. Based on the four-dimensio
★Hosted by: School of computer science and engineering, Beijing Technology and Business University ★The accepted (Registered & Presented) full papers will be included to be published in the ICAIP 2023 Conference Proceedings series by ACM(ISBN:979-8-4007-0827-5). All papers will be archived in...
Tran L, Liu X Nonlinear 3D Face Morphable Model. In: Proceedings of the IEEE conference on computer vision and pattern recognition, pp 7346–7355 Egger B, Smith WAP, Tewari A et al (2020) 3D morphable face models—past, present, and future. ACM Trans Graph 39(5):1–38.https://doi....
★Venue: National University of Singapore-Shaw Foundation Alumni House ★Website: http://www.iccmb.org/ ★Publication-ACM Conference Proceedings The accepted papers after registration and presentation will be published in the ICCMB2024 ACM Conference Proceedings, and be indexed by Ei Compendex and Sco...