Results 261 to 270 of about 2,622,475 (296)
Some of the next articles are maybe not open access.
A Survey on End-User Robot Programming
ACM Computing Surveys, 2022Gopika Ajaykumar, Chien-Ming Huang
exaly
Programming languages and logics of programs
1983We prove the completeness theorem for a class of logics of programs. As corollaries of our result, we obtain the completeness theorem for a large class of extensions of PDL.
openaire +1 more source
Hybrid offline programming method for robotic welding systems
Robotics and Computer-Integrated Manufacturing, 2022Benoit Eynard, Yicha Zhang
exaly
Innovations: Technology and Techniques in Cardiothoracic and Vascular Surgery, 2022
openaire +2 more sources
openaire +2 more sources
The Art of Programming or Programs as Art
2009The paper reviews developments in the implications of software programming in art practice whilst pointing to a recognition of the art in programming. The concerns in software-based art are significantly more conceptual than was often the case before. Following the Russian constructivist artists, the software artist is more concerned with the plan for ...
openaire +2 more sources

