12981 search results - page 393 / 2597 » Model Checking (Abstract) |
133
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
147
Voted
BILDMED
2008
15 years 6 months ago
2008
Abstract. Segmentation of the left ventricle (LV) is required to quantify LV remodeling after myocardial infarction. Therefore spatiotemporal Cine MR sequences including longaxis a...
147
Voted
IJCAI
1993
15 years 5 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...
141
click to vote
FUIN
2008
15 years 4 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
120
click to vote
ENTCS
2006
15 years 4 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...