4166 search results - page 292 / 834 » Automating the constraining process |
141
Voted
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent improvements of fetal MRI acquisitions now allow threedimensional segmentation of fetal structures, to extract biometrical measures for pregnancy follow-up. Automation of t...
138
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
121
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
128
click to vote
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
141
Voted
UKCBR
1995
15 years 8 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...