279 search results - page 47 / 56 » Testing for Refinement in CSP |
118
click to vote
MODELS
2010
Springer
14 years 9 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
101
click to vote
CAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
108
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
138
click to vote
CCIA
2010
Springer
14 years 6 months ago
2010
Springer
Locally weighted as well as Gaussian mixtures learning algorithms are suitable strategies for trajectory learning and skill acquisition, in the context of programming by demonstrat...
212
click to vote
ICIAR
2011
Springer
14 years 3 months ago
2011
Springer
Producing consistent segmentations of lung nodules in CT scans is a persistent problem of image processing algorithms. Many hard-segmentation approaches are proposed in the literat...