Sciweavers

313 search results - page 32 / 63
» Automated Qualitative Domain Abstraction
Sort
View
EVOW
2005
Springer
15 years 3 months ago
Developing Fitness Functions for Pleasant Music: Zipf's Law and Interactive Evolution Systems
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
Bill Z. Manaris, Penousal Machado, Clayton McCaule...
XPU
2004
Springer
15 years 3 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
CCL
1994
Springer
15 years 1 months ago
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
Tomás E. Uribe, Mark E. Stickel
DLOG
2007
15 years 4 days ago
Contextualization of a DL Knowledge Base
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
EWCBR
2008
Springer
14 years 11 months ago
Understanding Dubious Future Problems
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
Oguz Mülâyim, Josep Lluís Arcos