359 search results - page 9 / 72 » Abstract Patterns of Compositional Reasoning |
ALP
1994
Springer
14 years 25 days ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ECML
2007
Springer
14 years 19 days ago
2007
Springer
Mining frequent patterns is a major topic in data mining research, resulting in many seminal papers and algorithms on item set and episode discovery. The combination of these, call...
CSUR
2000
13 years 8 months ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
UML
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
ECAI
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...