Results 271 to 280 of about 1,077,623 (316)
Some of the next articles are maybe not open access.
1998
We are concerned with how to communicate a mathematical proof to a computer theorem prover. This can be done in many ways, while allowing the machine to generate a completely formal proof object. The most obvious choice is the amount of guidance required from the user, or from the machine perspective, the degree of automation provided.
openaire +1 more source
We are concerned with how to communicate a mathematical proof to a computer theorem prover. This can be done in many ways, while allowing the machine to generate a completely formal proof object. The most obvious choice is the amount of guidance required from the user, or from the machine perspective, the degree of automation provided.
openaire +1 more source
Style: an automated program style analyzer
ACM SIGCSE Bulletin, 1990Al Lake, Curtis Cook
openaire +1 more source
A Unified Arbitrary Style Transfer Framework via Adaptive Contrastive Learning
ACM Transactions on Graphics, 2023Yuxin Zhang, Fan Tang, Weiming Dong
exaly
A Unified Framework for Generalizable Style Transfer: Style and Content Separation
IEEE Transactions on Image Processing, 2020Ya Zhang, Wenbin Cai
exaly
2023 IEEE/CVF International Conference on Computer Vision (ICCV), 2023
Martin Nicolas Everaert +4 more
openaire +1 more source
Martin Nicolas Everaert +4 more
openaire +1 more source
Leadership style and innovation atmosphere in enterprises: An empirical study
Technological Forecasting and Social Change, 2018Yongping Xie, Ling Li, Anmin Wang
exaly
The devil in the style: Mutual fund style drift, performance and common risk factors
Economic Modelling, 2020Yezhou Sha
exaly