8266 search results - page 308 / 1654 » Information About the Journal |
166
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This paper considers learner misconceptions information which is presented to the learner in an open learner model. We suggest that specific information about misconceptions may be...
187
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
190
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
168
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
Medical practitioners who treat cancer patients have crucial decisions to make about the best course of action for individual patients, but limited time in which to make those dec...
165
click to vote
CLEF
2007
Springer
16 years 26 days ago
2007
Springer
The objective of the Answer Validation Exercise (AVE) 2007 is to develop systems able to decide if the answer to a question is correct or not. Since it is expected that a high per...