3573 search results - page 322 / 715 » Reasoning about Codata |
120
Voted
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a methodology for automatically customizing a scenario to suit a learner’s abilities, needs, or goals. Training scenarios are often utilized to give...
145
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
141
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
175
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
154
Voted
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...