1722 search results - page 239 / 345 » Generating Tests from Counterexamples |
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Audio-based music similarity measures can be applied to automatically generate playlists or recommendations. In this paper spectral similarity is combined with complementary infor...
ISMIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...