1810 search results - page 190 / 362 » An effective semantic search technique using ontology |
179
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
Decision trees have been successfully used for the task of classification. However, state-of-the-art algorithms do not incorporate the user in the tree construction process. This ...
160
click to vote
COR
2008
15 years 6 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
160
click to vote
ISCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
—We discuss the use of a reliable user requirements methodology for gathering essential data relating to user needs in advanced, personalised multimedia content applications. We ...
181
click to vote
AAAI
2008
15 years 9 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
193
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...