1596 search results - page 91 / 320 » Quantum property testing |
IJCAI
1997
14 years 16 days ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
ICST
2008
IEEE
14 years 5 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
ACSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...
ISSRE
2007
IEEE
14 years 22 days ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
KDD
2002
ACM
14 years 11 months ago
2002
ACM
This paper promotes the use of supervised machine learning in laboratory settings where chemists have a large number of samples to test for some property, and are interested in id...