7075 search results - page 259 / 1415 » Models and heterogeneous reasoning |
160
click to vote
WAIM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
122
click to vote
CRIWG
2004
15 years 8 months ago
2004
In a cluster of many servers containing heterogeneous multimedia learning material and serving users with different backgrounds (e.g. language, interests, previous knowledge, hardw...
171
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
153
click to vote
WSC
1997
15 years 8 months ago
1997
Simulating how the global Internet data network behaves is an immensely challenging undertaking because of the network’s great heterogeneity and rapid change. The heterogeneity ...
188
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...