1187 search results - page 117 / 238 » Graph-Based Procedural Abstraction |
177
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
154
click to vote
COLT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
165
click to vote
ECSQARU
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
133
click to vote
ECSQARU
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
196
click to vote
ESWS
2007
Springer
16 years 15 days ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...