15792 search results - page 32 / 3159 » Computational Abstraction Steps |
DSVIS
2003
Springer
14 years 1 months ago
2003
Springer
AAAI
2006
13 years 9 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces a three and a four order explicit time stepping method. These methods have high stage order and favorable monotonicity properties. The proposed methods are ba...
BIRTHDAY
2000
Springer
14 years 5 days ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
SCAI
2001
13 years 9 months ago
2001
We apply evolutionary algorithm (EA) to the design of controller for adaptive robots. EAs can be successful for more complicated tasks, where traditional engineering methods strugg...