378 search results - page 42 / 76 » Automating Coinduction with Case Analysis |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...
CRITICAL
2005
14 years 28 days ago
2005
This paper considers multiple meanings of dependability as part of a project investigating home based assistive and smart home technology for older people. It argues that because ...
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
Case-based problem-solving systems reason and learn from experiences, building up case libraries of problems and solutions to guide future reasoning. The expected bene ts of this l...
ICCBR
1995
Springer
14 years 2 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
KDD
2007
ACM
14 years 11 months ago
2007
ACM
The kernel function plays a central role in kernel methods. In this paper, we consider the automated learning of the kernel matrix over a convex combination of pre-specified kerne...