13791 search results - page 2345 / 2759 » Modeling Web Interactions |
188
click to vote
AIPS
1994
15 years 8 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
143
click to vote
AIPS
1996
15 years 8 months ago
1996
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
171
click to vote
COOTS
1996
15 years 8 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
162
click to vote
AMW
2009
15 years 8 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
192
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...