Sciweavers

9412 search results - page 251 / 1883
» An aspect-oriented generative approach
Sort
View
ICALT
2006
IEEE
16 years 20 days ago
Hybrid System for Generating Learning Object Metadata
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
Olivier Motelet, Nelson A. Baloian
FATES
2003
Springer
15 years 12 months ago
Mutually Enhancing Test Generation and Specification Inference
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Tao Xie, David Notkin
IWANN
2009
Springer
16 years 1 months ago
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
Karnig Derderian, Mercedes G. Merayo, Robert M. Hi...
IEEEARES
2007
IEEE
16 years 28 days ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...
SCIA
2007
Springer
124views Image Analysis» more  SCIA 2007»
16 years 22 days ago
Novel Stereoscopic View Generation by Image-Based Rendering Coordinated with Depth Information
Abstract. This paper describes a method of stereoscopic view generation by image-based rendering in wide outdoor environments. The stereoscopic view can be generated from an omnidi...
Maiya Hori, Masayuki Kanbara, Naokazu Yokoya