2540 search results - page 167 / 508 » Abstract Logics as Dialgebras |
182
click to vote
GCC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
199
click to vote
GFKL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...
229
click to vote
IDA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
142
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
148
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...