Sciweavers

3856 search results - page 113 / 772
» Models for Automated Earthmoving
Sort
View
ICSEA
2009
IEEE
15 years 2 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
KDD
2003
ACM
205views Data Mining» more  KDD 2003»
16 years 5 months ago
The data mining approach to automated software testing
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
Mark Last, Menahem Friedman, Abraham Kandel
150
Voted
ISSRE
2010
IEEE
15 years 3 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
ICMLA
2009
15 years 2 months ago
Automatic Feature Selection for Model-Based Reinforcement Learning in Factored MDPs
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
Mark Kroon, Shimon Whiteson
ISBI
2011
IEEE
14 years 8 months ago
An automatic feature based model for cell segmentation from confocal microscopy volumes
We present a model for the automated segmentation of cells from confocal microscopy volumes of biological samples. The segmentation task for these images is exceptionally challeng...
Diana Delibaltov, Pratim Ghosh, Michael Veeman, Wi...