338 search results - page 57 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
IUI
2000
ACM
14 years 1 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
UMUAI
2008
13 years 8 months ago
2008
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...
DAC
2007
ACM
14 years 20 days ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
FTCS
1998
13 years 10 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
AAAI
1990
13 years 10 months ago
1990
Programs such as Bacon, Abacus, Coper, Kepler and others are designed to find functional relationships of scientific significance in numerical data without relying on the deep dom...