Sciweavers

1011 search results - page 25 / 203
» Numerical Constraints for XML
Sort
View
JCPHY
2011
89views more  JCPHY 2011»
13 years 20 days 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...
CONSTRAINTS
1999
105views more  CONSTRAINTS 1999»
13 years 9 months ago
Algorithmic Power from Declarative Use of Redundant Constraints
Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...
Maarten H. van Emden
ICDE
2008
IEEE
193views Database» more  ICDE 2008»
14 years 11 months ago
DescribeX: Interacting with AxPRE Summaries
DescribeX is a visual, interactive tool for exploring the underlying structure of an XML collection. DescribeX implements a framework for creating XML summaries described using axi...
Mir Sadek Ali, Mariano P. Consens, Shahan Khatchad...
ECAI
2000
Springer
14 years 2 months ago
Extensions of Constraint Solving for Proof Planning
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
Erica Melis, Jürgen Zimmer, Tobias Mülle...
ADC
2005
Springer
124views Database» more  ADC 2005»
14 years 3 months ago
Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
Junhu Wang, Rodney W. Topor