755 search results - page 47 / 151 » Sequential Diagnosis by Abstraction |
XPU
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. User participation is still a difficult topic in software development. Based on the results of the Oregon experiment in construction we propose a novel development proces...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. Th...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract: Non-linear state estimation and some related topics, like parametric estimation, fault diagnosis, and perturbation attenuation, are tackled here via a new methodology in ...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
EUROGP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...