10790 search results - page 1817 / 2158 » Using feature models to automate model transformations |
157
click to vote
BILDMED
2006
15 years 8 months ago
2006
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
169
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
168
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
183
click to vote
NIPS
2004
15 years 8 months ago
2004
Spike sorting involves clustering spike trains recorded by a microelectrode according to the source neuron. It is a complicated problem, which requires a lot of human labor, partl...
171
click to vote
SCS
2004
15 years 8 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...