259 search results - page 9 / 52 » Modalities Over Actions, I. Model Theory |
CGF
2007
13 years 6 months ago
2007
This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D s...
IPL
2010
13 years 5 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
STACS
2010
Springer
14 years 1 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
ICIAP
2009
ACM
14 years 1 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...