Sciweavers

828 search results - page 108 / 166
» On Order Dependencies for the Semantic Web
Sort
View
MPC
1995
Springer
150views Mathematics» more  MPC 1995»
15 years 9 months ago
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
Klaus Achatz, Wolfram Schulte
ENTCS
2010
118views more  ENTCS 2010»
15 years 3 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra...
APAL
2002
101views more  APAL 2002»
15 years 6 months ago
The logic of tasks
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
Giorgi Japaridze
ECAI
2000
Springer
15 years 10 months ago
Logic Programs with Compiled Preferences
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
James P. Delgrande, Torsten Schaub, Hans Tompits
SAC
2002
ACM
15 years 5 months ago
Color patterns for pictorial content description
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...
Daniela Stan, Ishwar K. Sethi