Sciweavers

2075 search results - page 195 / 415
» aime 2007
Sort
View
IICAI
2007
15 years 2 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
IJCAI
2007
15 years 2 months ago
Optimal Soft Arc Consistency
The Valued (VCSP) framework is a generic optimization framework with a wide range of applications. Soft arc consistency operations transform a VCSP into an equivalent problem by s...
Martin C. Cooper, Simon de Givry, Thomas Schiex
IJCAI
2007
15 years 2 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup
IM
2007
15 years 2 months ago
A decision support tool to optimize scheduling of IT changes
— Change management is one of the most critical processes in IT management. Some of the reasons are the sheer number of changes and the difficulty of evaluating the impact of cha...
Rodrigo Rebouças, Jacques Philippe Sauv&eac...
INTERACT
2007
15 years 2 months ago
Meta-design: Expanding Boundaries and Redistributing Control in Design
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
Gerhard Fischer