This paper deals with the very fundamentalsof a socalled TURIN(]test methodologyfor expert system validation which wasproposedby the first author (cf. (Knauf,Gonzalez,aatd Philipp...
Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez...
In this work, we propose a multi-relational concept discovery method for business intelligence applications. Multi-relational data mining finds interesting patterns that span ove...
Seda Daglar Toprak, Pinar Senkul, Yusuf Kavurucu, ...
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
Abstract. We describe an algorithm to deal with automatic error repair over unrestricted context-free languages. The method relies on a regional least-cost repair strategy with val...
Manuel Vilares Ferro, Victor M. Darriba, Francisco...