908 search results - page 41 / 182 » Generating maximal models using the stable model semantics |
160
click to vote
WIDM
2003
ACM
15 years 9 months ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
186
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
144
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
126
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a method for constructing ensembles from libraries of thousands of models. Model libraries are generated using different learning algorithms and parameter settings. For...
141
click to vote
FORTE
2008
15 years 5 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...