Sciweavers

3233 search results - page 12 / 647
» Validation Method for Intelligent Systems
Sort
View
FLAIRS
1998
13 years 8 months ago
Fundamental Considerations of Competence Assessment for Validation
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...
ICDE
2007
IEEE
179views Database» more  ICDE 2007»
14 years 1 months ago
A New ILP-based Concept Discovery Method for Business Intelligence
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, ...
TPLP
2002
99views more  TPLP 2002»
13 years 6 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
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...
FDL
2008
IEEE
13 years 8 months ago
Scenario-based Validation of Embedded Systems
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...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
WIA
2000
Springer
13 years 10 months ago
Regional Least-Cost Error Repair
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...