445 search results - page 16 / 89 » Classifying model-theoretic properties |
WWW
2007
ACM
14 years 10 months ago
2007
ACM
In this paper, we present a novel method for the classification of Web sites. This method exploits both structure and content of Web sites in order to discern their functionality....
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
BSL
2005
13 years 10 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
KDD
2005
ACM
14 years 10 months ago
2005
ACM
We describe an algorithm for converting linear support vector machines and any other arbitrary hyperplane-based linear classifiers into a set of non-overlapping rules that, unlike...