4290 search results - page 656 / 858 » Formal Approaches to Teamwork |
166
click to vote
BROADNETS
2005
IEEE
16 years 6 days ago
2005
IEEE
— Networks employ link protection to achieve fast recovery from link failures. While the first link failure can be protected using link protection, there are several alternative...
171
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
186
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
In a variety of applications ranging from optimizing queries on alphanumeric attributes to providing approximate counts of documents containing several query terms, there is an in...
159
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
172
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...