1096 search results - page 121 / 220 » Type inference for atomicity |
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
This study shows an effective way to explore and visualize the structure-activity relationships (SARs) of flavonoids with antioxidant activity using structure- activity maps (SAMs...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...