1517 search results - page 169 / 304 » On automatic knowledge validation for Bayesian knowledge bas... |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We propose a novel technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. Our technique uses a combination of harmonic content a...
IPM
2008
13 years 9 months ago
2008
In this paper, we define and present a comprehensive classification of user intent for Web searching. The classification consists of three hierarchical levels of informational, na...
MICS
2010
13 years 7 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
One of the main challenges in image segmentation is to adapt prior knowledge about the objects/regions that are likely to be present in an image, in order to obtain more precise d...