Sciweavers

1011 search results - page 41 / 203
» Numerical Constraints for XML
Sort
View
SEBD
2003
159views Database» more  SEBD 2003»
15 years 1 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
JCAM
2010
84views more  JCAM 2010»
14 years 6 months ago
An interior-point method for large constrained discrete ill-posed problems
Ill-posed problems are numerically underdetermined. It is therefore often beneficial to impose known properties of the desired solution, such as nonnegativity, during the solution...
Serena Morigi, Lothar Reichel, Fiorella Sgallari
CP
2010
Springer
14 years 10 months ago
A Generic Visualization Platform for CP
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak...
CP
2010
Springer
14 years 10 months ago
A Box-Consistency Contractor Based on Extremal Functions
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
Gilles Trombettoni, Yves Papegay, Gilles Chabert, ...
ICDE
2010
IEEE
172views Database» more  ICDE 2010»
14 years 12 months ago
On the use of query-driven XML auto-indexing
— Autonomous index management in native XML DBMSs has to address XML’s flexibility and storage mapping features, which provide a rich set of indexing options. Change of worklo...
Karsten Schmidt 0002, Theo Härder