9284 search results - page 110 / 1857 » Knowledge State Algorithms |
131
Voted
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
120
Voted
ICANNGA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A new Genetic Programming variant called Liquid State Genetic Programming (LSGP) is proposed in this paper. LSGP is a hybrid method combining a dynamic memory for storing...
96
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
95
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Enterprises are faced with the challenge of enabling IP multicast applications without exposing their network to multicast denial-of-service attacks. Current practice is to use ...
107
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...