Sciweavers

2049 search results - page 164 / 410
» Normalization and Partial Evaluation
Sort
View
WM
2003
13 years 11 months ago
On the role of a Librarian Agent in Ontology-based Knowledge Management Systems
: In this paper, we present an agent-based approach for the improvement of searching in an ontology-based knowledge management system. The system implements a libraryscenario in wh...
Nenad Stojanovic
GRAPHICSINTERFACE
1997
13 years 11 months ago
A Modelling Method and User Interface for Creating Plants
We present a modelling method and graphical user interface for the creation of natural branching structures such as plants. Structural and geometric information is encapsulated in...
Oliver Deussen, Bernd Lintermann
AAAI
1996
13 years 11 months ago
Splitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
Hudson Turner
DAGSTUHL
1996
13 years 11 months ago
Program Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
Thomas W. Reps, Todd Turnidge
KI
2006
Springer
13 years 10 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...