814 search results - page 34 / 163 » Generic Model Abstraction from Examples |
167
click to vote
CALCO
2011
Springer
14 years 1 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...
136
click to vote
AAAI
2007
15 years 4 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...
122
click to vote
MICCAI
2006
Springer
16 years 2 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...
124
click to vote
MODELS
2010
Springer
15 years 11 days 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...
100
click to vote
DLOG
2008
15 years 4 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...