Sciweavers

622 search results - page 42 / 125
» Understanding and Extending Graphplan
Sort
View
DAGSTUHL
2010
13 years 10 months ago
Modeling and Visualization of Cardiovascular Systems
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
Thomas Wischgoll
CATS
2008
13 years 10 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
DATESO
2008
133views Database» more  DATESO 2008»
13 years 10 months ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky
BXML
2004
13 years 10 months ago
Trust and context using the RDF-Source related Storage System (RDF-S3) and easy RQL (eRQL)
Abstract. There exist different ways how to understand and use context information for RDF data. This paper summarizes these different ways and concentrates on the source informati...
Karsten Tolle, Fabian Wleklinski
ESANN
2006
13 years 10 months ago
Evolving multi-segment 'super-lamprey' CPG's for increased swimming control
Abstract. `Super-lamprey' swimmers which operate over a greater control range are evolved. Propulsion in the lamprey, an eel-like fish, is governed by activity in its spinal n...
Leena N. Patel, Alan F. Murray, John Hallam