1992 search results - page 74 / 399 » Model Based Testing with Labelled Transition Systems |
108
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
134
click to vote
ICMLA
2007
15 years 3 months ago
2007
We apply a new active learning formulation to the problem of learning medical concepts from unstructured text. The new formulation is based on maximizing the mutual information th...
103
click to vote
RTCSA
2007
IEEE
15 years 8 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...
135
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
118
Voted
IJMSO
2007
15 years 2 months ago
2007
: In Japan, it is important to provide teachers of Information Technology Education (IT) with a powerful help system that can locate and provide access to a variety of useful infor...