4341 search results - page 287 / 869 » Quantitative Model checking |
167
click to vote
EDM
2008
15 years 8 months ago
2008
We present text replays, a method for generating labels that can be used to train classifiers of student behavior. We use this method to label data as to whether students are gamin...
170
click to vote
IEAAIE
2003
Springer
15 years 12 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
165
click to vote
FLAIRS
2001
15 years 8 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
181
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
206
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...