Sciweavers

12745 search results - page 328 / 2549
» Automating test automation
Sort
View
AXMEDIS
2006
IEEE
231views Multimedia» more  AXMEDIS 2006»
16 years 23 days ago
A Feature-Augmented Grammar for Automated Media Production
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...
DELTA
2006
IEEE
16 years 22 days ago
Automation Integration with UPnP Modules
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...
Swee M. Mok, Chi-haur Wu
ETFA
2006
IEEE
16 years 22 days ago
Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit
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,...
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
16 years 7 days ago
Automated tutoring for a database skills training environment
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...
Claire Kenny, Claus Pahl
LPAR
2005
Springer
16 years 5 days ago
Automating Coherent Logic
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...
Marc Bezem, Thierry Coquand