1089 search results - page 92 / 218 » Oracle-Based Partial Evaluation |
109
click to vote
AAAI
1996
14 years 11 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...
DAGSTUHL
1996
14 years 11 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...
KI
2006
Springer
14 years 9 months 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...
TAPSOFT
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...