2302 search results - page 442 / 461 » Testing as Abstraction |
113
click to vote
RSS
2007
15 years 1 months ago
2007
Abstract— This paper proposes a simulation-based active policy learning algorithm for finite-horizon, partially-observed sequential decision processes. The algorithm is tested i...
SE
2007
15 years 1 months ago
2007
Abstract: Studien zeigen, dass in der Industrie großer Verbesserungsbedarf im Bereich der Testprozesse besteht. Um aber die Prozesse gezielt und wirksam verbessern zu können, ist...
118
click to vote
OPODIS
2003
15 years 1 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
118
click to vote
SPLC
2000
15 years 1 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
108
click to vote
IJCAI
1989
15 years 1 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...