814 search results - page 34 / 163 » Generic Model Abstraction from Examples |
220
click to vote
CALCO
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
175
click to vote
AAAI
2007
15 years 8 months ago
2007
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
168
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
159
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
144
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...