Sciweavers

539 search results - page 46 / 108
» On Modelling User Observations in the UTP
Sort
View
MVA
2007
13 years 9 months ago
Semi-supervised Incremental Learning of Manipulative Tasks
For a social robot, the ability of learning tasks via human demonstration is very crucial. But most current approaches suffer from either the demanding of the huge amount of label...
Zhe Li, Sven Wachsmuth, Jannik Fritsch, Gerhard Sa...
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
14 years 21 days ago
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
ISCIS
2004
Springer
14 years 29 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
CAISE
2009
Springer
13 years 11 months ago
Configurable Process Models: Experiences from a Municipality Case Study
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
Florian Gottschalk, Teun A. C. Wagemakers, Monique...
MICCAI
2008
Springer
14 years 8 months ago
A Discriminative Model-Constrained Graph Cuts Approach to Fully Automated Pediatric Brain Tumor Segmentation in 3-D MRI
In this paper we present a fully automated approach to the segmentation of pediatric brain tumors in multi-spectral 3-D magnetic resonance images. It is a top-down segmentation app...
Michael Wels, Gustavo Carneiro, Alexander Aplas,...