157 search results - page 19 / 32 » Compositional Control Synthesis for Partially Observable Sys... |
HCI
2007
14 years 11 months ago
2007
In this paper we present a stable automatic system for image composition, which can well control the color difference between two images, and produce a seamless composite image wit...
67
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper describes an evolutionary music composition system that combines trainable music critics with a bag of notes constraint. Unlike many evolutionary composition systems,...
113
click to vote
AUTOMATICA
2011
14 years 4 months ago
2011
We present a framework to solve a finite-time optimal control problem for parabolic partial differential equations (PDEs) with diffusivity-interior actuators, which is motivate...