3564 search results - page 568 / 713 » Evaluating a Formal Modelling Language |
147
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
119
Voted
OPODIS
2008
15 years 5 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...
146
Voted
AAAI
2004
15 years 5 months ago
2004
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
142
Voted
DKE
1999
15 years 3 months ago
1999
A Data Warehouse DW is a database that collects and stores data from multiple remote and heterogeneous information sources. When a query is posed, it is evaluated locally, without...
166
Voted
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a formal definition of the robustness of association rules for interestingness measures. It is a central concept in the evaluation of the rules and has only be...