12981 search results - page 2477 / 2597 » Model Checking and Abstraction |
116
click to vote
DAGSTUHL
2008
15 years 2 months ago
2008
Abstract. In this chapter, we present a new interactive procedure for multiobjective optimization, which is based on the use of a set of value functions as a preference model built...
140
click to vote
MBEES
2008
15 years 2 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
109
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
138
click to vote
RSS
2007
15 years 2 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...
129
click to vote
AAAI
2006
15 years 2 months ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...