6253 search results - page 338 / 1251 » Use Case Modeling Guidelines |
133
click to vote
CHARME
2005
Springer
15 years 9 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 ...
116
click to vote
ICCBR
2005
Springer
15 years 9 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...
124
click to vote
COLT
2005
Springer
15 years 9 months ago
2005
Springer
A general model is proposed for studying ranking problems. We investigate learning methods based on empirical minimization of the natural estimates of the ranking risk. The empiric...
157
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
138
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...