4595 search results - page 692 / 919 » Reasoning about Plans |
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
CRV
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
GLVLSI
2009
IEEE
14 years 5 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
IAT
2009
IEEE
14 years 5 months ago
2009
IEEE
—In decentralized settings with partial observability, agents can often benefit from communicating, but communication resources may be limited and costly. Current approaches ten...