729 search results - page 59 / 146 » A practical method for courseware evaluation |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
DILS
2006
Springer
13 years 11 months ago
2006
Springer
Public biological databases contain vast amounts of rich data that can also be used to create and evaluate new biological hypothesis. We propose a method for link discovery in biol...
IEICET
2007
13 years 7 months ago
2007
There have been many theoretical and experimental investigations on polarization diversity reception characteristics at base stations. The diversity gain was evaluated based on th...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
There has been a great deal of work in recent years on processing and optimizing queries against XML data. Typically in these previous works, schema information is not considered,...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...