Model ChangeLists: Characterizing Updates to ML Models
Abstract
References
Index Terms
- Model ChangeLists: Characterizing Updates to ML Models
Recommendations
Betrayed by updates: how negative experiences affect future security
CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing SystemsInstalling security-relevant software updates is one of the best computer protection mechanisms. However, users do not always choose to install updates. Through interviewing non-expert Windows users, we found that users frequently decide not to install ...
Characterizing the Expressivity of Game Description Languages
PRICAI 2019: Trends in Artificial IntelligenceAbstractBisimulations are a key notion to study the expressive power of a modal language. This paper studies the expressiveness of Game Description Language (GDL) and its epistemic extension EGDL through a bisimulations approach. We first define a notion ...
Characterizing contextual equivalence in calculi with passivation
We study the problem of characterizing contextual equivalence in higher-order languages with passivation. To overcome the difficulties arising in the proof of congruence of candidate bisimilarities, we introduce a new form of labeled transition ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/5f3abf2f-cc42-4d38-b25b-ea1039605e08/3630106.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 156Total Downloads
- Downloads (Last 12 months)156
- Downloads (Last 6 weeks)4
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format