Results 221 to 230 of about 3,368 (267)
Some of the next articles are maybe not open access.
Style: an automated program style analyzer
ACM SIGCSE Bulletin, 1990Al Lake, Curtis Cook
openaire +1 more source
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
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
The current practices of food and beverage photography and styling in food business
Journal of Hospitality and Tourism Technology, 2021Duran Cankul, Bendegul Okumus
exaly