Sciweavers

8132 search results - page 1209 / 1627
» Dependability, Abstraction, and Programming
Sort
View
ECAI
2008
Springer
15 years 8 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
ECAI
2008
Springer
15 years 8 months ago
Solving Necklace Constraint Problems
Abstract. Some constraint problems have a combinatorial structure where the constraints allow the sequence of variables to be rotated (necklaces), if not also the domain values to ...
Pierre Flener, Justin Pearson
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
Textual Modelling Embedded into Graphical Modelling
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
Markus Scheidgen
EUROPAR
2008
Springer
15 years 8 months ago
A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
Hinde-Lilia Bouziane, Christian Pérez, Thie...
EUROPAR
2008
Springer
15 years 8 months ago
Parallel Lattice Boltzmann Flow Simulation on Emerging Multi-core Platforms
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
Liu Peng, Ken-ichi Nomura, Takehiro Oyakawa, Rajiv...
« Prev « First page 1209 / 1627 Last » Next »