274 search results - page 42 / 55 » Variants of the Event Calculus |
IJCAI
1993
13 years 10 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
We study properties of multidomain proteins from a graph theoretical perspective. In particular, we demonstrate connections between properties of the domain overlap graph and certa...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
FAW
2008
Springer
13 years 10 months ago
2008
Springer
We propose path-merging as a refinement of techniques used to make linked data structures partially persistent. Path-merging supports bursts of operations between any two adjacent ...
SPRINGSIM
2008
2008
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
13 years 10 months ago
We have used the synthetic modeling method to construct a multilevel, agent oriented, in silico analogue of an in vitro experimental system for studying leukocyte rolling, activat...