5550 search results - page 349 / 1110 » Different Approaches to Proof Systems |
181
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
208
click to vote
EKAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
166
click to vote
COLCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express con...
304
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
213
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
The annotation of web sites in social bookmarking systems has become a popular way to manage and find information on the web. The community structure of such systems attracts spam...