The IST Polymnia project aims to create a fully automated system for personalised video generation. Film production involves content creation, selection and composition. Technolog...
Freddy Choi, Richard Beales, Jonathan Hearn, Stuar...
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
Marcos Vinicius Linhares, Alexandre Jose da Silva,...
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...