Sciweavers

1789 search results - page 182 / 358
» Extending the Choquet integral
Sort
View
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
DKE
2006
99views more  DKE 2006»
15 years 6 months ago
How to act on inconsistent news: Ignore, resolve, or reject
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
Anthony Hunter
DKE
2006
138views more  DKE 2006»
15 years 6 months ago
Using the uni-level description (ULD) to support data-model interoperability
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...
Shawn Bowers, Lois M. L. Delcambre
ISM
2006
IEEE
188views Multimedia» more  ISM 2006»
15 years 6 months ago
Networked Experiments and Scientific Resource Sharing in Cooperative Knowledge Spaces
Cooperative knowledge spaces create new potentials for the experimental fields in natural sciences and engineering because they enhance the accessibility of experimental setups th...
Sabine Cikic, Sabina Jeschke, Thomas Richter, Uwe ...
JNW
2008
149views more  JNW 2008»
15 years 6 months ago
Improving Semantic Web Service Discovery
Semantic Web Services (SWS) propose to extend the traditional Web Services technologies on the way to consolidate ontologies and semantics. This makes it possible to select, integr...
J. Javier Samper, F. Javier Adell, Leo van den Ber...