1187 search results - page 117 / 238 » Graph-Based Procedural Abstraction |
124
Voted
ATVA
2007
Springer
15 years 8 months 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...
90
Voted
COLT
2007
Springer
15 years 8 months 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...
110
Voted
ECSQARU
2007
Springer
15 years 8 months 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...
ECSQARU
2007
Springer
15 years 8 months 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...
136
click to vote
ESWS
2007
Springer
15 years 8 months 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 ...