Sciweavers

14386 search results - page 92 / 2878
» The Chinese Generals Problem
Sort
View
110
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
MINTS: A general framework and tool for supporting test-suite minimization
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
Hwa-You Hsu, Alessandro Orso
125
Voted
FLAIRS
2008
15 years 4 months ago
A Framework for Evaluating Semantic Knowledge in Problem-Solving-Based Intelligent Tutoring Systems
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...
Philippe Fournier-Viger, Roger Nkambou, Andr&eacut...
119
Voted
ISCIS
2009
Springer
15 years 10 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
FGCN
2008
IEEE
130views Communications» more  FGCN 2008»
15 years 9 months ago
Word Sense Disambiguation Based on Bayes Model and Information Gain
Word sense disambiguation has always been a key problem in Natural Language Processing. In the paper, we use the method of Information Gain to calculate the weight of different po...
Zhengtao Yu, Bin Deng, Bo Hou, Lu Han, Jianyi Guo
131
Voted
DEXAW
2007
IEEE
77views Database» more  DEXAW 2007»
15 years 9 months ago
Hyperlink Classification: A New Approach to Improve PageRank
Hyperlink Structure is widely used in the hypertext classification, but it has not been paid enough attention. We propose a hyperlink classification approach to improve PageRank a...
Li Cun-he, Lv Ke-qiang