4485 search results - page 54 / 897 » Equivalences on Observable Processes |
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Evolutionary Algorithms (EAs) can be used for designing Particle Swarm Optimization (PSO) algorithms that work, in some cases, considerably better than the human-designed ones. By...
LREC
2010
13 years 10 months ago
2010
This paper discusses our ongoing work on constructing an annotated corpus of children's stories for further studies on the linguistic, computational, and cognitive aspects of...
AAAI
1994
13 years 10 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
ICASSP
2011
IEEE
13 years 13 days ago
2011
IEEE
A great deal of interest has been paid to the estimation of time-varying autoregressive (TVAR) parameters. However, when the observations are disturbed by an additive white measur...