780 search results - page 8 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
FASE
2000
Springer
14 years 19 days ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
EURODAC
1995
IEEE
14 years 18 days ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
In sensory data fusion and integration consideration, sensor independence is a common assumption. In this paper, we demonstrated the impact of including dependent information in s...
ICECCS
1997
IEEE
14 years 1 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...