809 search results - page 108 / 162 » Requirements by Contracts allow Automated System Testing |
133
click to vote
ILP
2004
Springer
15 years 5 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
FLAIRS
2007
15 years 2 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Collaborative or “Social” filtering has been successfully deployed over the years as a technique for analysing large amounts of user-preference knowledge to predict...
115
click to vote
KDD
2002
ACM
16 years 6 days ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
111
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...