417 search results - page 9 / 84 » Results on Reasoning about Updates in Transaction Logic |
123
click to vote
IVC
2008
14 years 12 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
112
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
109
click to vote
PODS
1990
ACM
15 years 4 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
120
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
81
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...