378 search results - page 5 / 76 » Automating Coinduction with Case Analysis |
RE
2005
Springer
14 years 28 days ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
EWCBR
2004
Springer
14 years 25 days ago
2004
Springer
Because of the volume of spam email and its evolving nature, any deployed Machine Learning-based spam filtering system will need to have procedures for case-base maintenance. Key t...
IEAAIE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...