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, 2022
Gopika Ajaykumar, Chien-Ming Huang
exaly  

Programming languages and logics of programs

1983
We 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, 2022
Benoit Eynard, Yicha Zhang
exaly  

Program

Innovations: Technology and Techniques in Cardiothoracic and Vascular Surgery, 2022
openaire   +2 more sources

Program

Hepatology Research, 2008
openaire   +2 more sources

The Art of Programming or Programs as Art

2009
The 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

Program

Asia-Pacific Journal of Clinical Oncology, 2014
openaire   +2 more sources

Home - About - Disclaimer - Privacy