Sciweavers

12745 search results - page 328 / 2549
» Automating test automation
Sort
View
199
Voted
AXMEDIS
2006
IEEE
231views Multimedia» more  AXMEDIS 2006»
16 years 1 months 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...
191
Voted
DELTA
2006
IEEE
16 years 1 months 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
209
Voted
ETFA
2006
IEEE
16 years 1 months 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 1 months 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 28 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