1090 search results - page 95 / 218 » Type-Directed Partial Evaluation |
124
Voted
WM
2003
15 years 2 months ago
2003
: 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...
120
click to vote
GRAPHICSINTERFACE
1997
15 years 2 months ago
1997
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...
138
Voted
AAAI
1996
15 years 2 months ago
1996
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...
98
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
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...
93
Voted
KI
2006
Springer
15 years 20 days ago
2006
Springer
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...