3995 search results - page 208 / 799 » Linearization of hybrid processes |
130
click to vote
JLP
2007
15 years 4 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
151
click to vote
ISCI
1998
15 years 4 months ago
1998
: This paper describes the successful parallel implementation of genetic programming on a network of processing nodes using the transputer architecture. With this approach, researc...
150
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...
117
click to vote
EOR
2010
14 years 11 months ago
2010
PACMAN (Passive and Active Compensability Multicriteria ANalysis) is a multiple criteria methodology based on a decision maker oriented notion of compensation, called compensabili...
172
click to vote
AAAI
2011
14 years 4 months ago
2011
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...