780 search results - page 8 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
125
click to vote
FASE
2000
Springer
15 years 6 months 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...
115
Voted
EURODAC
1995
IEEE
15 years 6 months 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...
121
Voted
CORR
2004
Springer
15 years 2 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...
108
Voted
ICRA
1998
IEEE
15 years 7 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...
112
Voted
ICECCS
1997
IEEE
15 years 7 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...