5622 search results - page 457 / 1125 » Solving architectural modelling problems using knowledge |
182
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
181
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
206
click to vote
EVOW
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...
191
click to vote
EVOW
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a new evolutionary region merging method to improve segmentation quality result on oversegmented images. The initial segmented image is described by a modified ...
175
click to vote
WSC
1998
15 years 9 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...