Sciweavers

4451 search results - page 606 / 891
» On Random Ordering Constraints
Sort
View
TROB
2002
138views more  TROB 2002»
15 years 6 months ago
Interference-free polyhedral configurations for stacking
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
Venkateswara R. Ayyadevara, David A. Bourne, Kenji...
PVLDB
2008
128views more  PVLDB 2008»
15 years 6 months ago
Hexastore: sextuple indexing for semantic web data management
Despite the intense interest towards realizing the Semantic Web vision, most existing RDF data management schemes are constrained in terms of efficiency and scalability. Still, th...
Cathrin Weiss, Panagiotis Karras, Abraham Bernstei...
RV
2010
Springer
127views Hardware» more  RV 2010»
15 years 5 months ago
You Should Better Enforce Than Verify
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
Yliès Falcone
BMCBI
2011
14 years 10 months ago
Structator: fast index-based search for RNA sequence-structure patterns
Background: The secondary structure of RNA molecules is intimately related to their function and often more conserved than the sequence. Hence, the important task of searching dat...
Fernando Meyer, Stefan Kurtz, Rolf Backofen, Sebas...
JCPHY
2011
89views more  JCPHY 2011»
14 years 9 months ago
Numerically stable fluid-structure interactions between compressible flow and solid structures
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
Jón Tómas Grétarsson, Nipun K...