Sciweavers

7167 search results - page 327 / 1434
» Answer Set Programming
Sort
View
SEKE
2007
Springer
15 years 9 months ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias
ICTAI
2005
IEEE
15 years 8 months ago
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
Geoffroy Aubry, Vincent Risch
AWIC
2005
Springer
15 years 8 months ago
Specifying Schema Mappings for Query Reformulation in Data Integration Systems
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
Tadeusz Pankowski
ESA
2004
Springer
98views Algorithms» more  ESA 2004»
15 years 8 months ago
Competitive Online Approximation of the Optimal Search Ratio
How efficiently can we search an unknown environment for a goal in unknown position? How much would it help if the environment were known? We answer these questions for simple poly...
Rudolf Fleischer, Thomas Kamphans, Rolf Klein, Elm...
IWCIA
2004
Springer
15 years 8 months ago
Shape Preserving Sampling and Reconstruction of Grayscale Images
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...
Peer Stelldinger