225 search results - page 13 / 45 » Reasoning About Synchronic Groups |
TIME
1994
IEEE
13 years 11 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...
LOGCOM
2002
13 years 7 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
AIED
2007
Springer
13 years 11 months ago
2007
Springer
Previous research on the use of diagrams for argumentation instruction has highlighted, but not conclusively demonstrated, their potential benefits. We examine the relative benefit...
CMPB
2010
13 years 6 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...