8337 search results - page 71 / 1668 » Reasoning With Characteristic Models |
126
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
119
click to vote
MPC
1998
Springer
15 years 8 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
173
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
117
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
116
click to vote
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...