2448 search results - page 260 / 490 » The Octahedron Abstract Domain |
163
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
163
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents the application of a method for mining data in a multi-relational database that contains some information about patients strucked down by chronic hepa...
202
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
171
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
156
click to vote
BPM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...