Sciweavers

2516 search results - page 104 / 504
» Integrity Constraints for XML
Sort
View
CP
2010
Springer
14 years 8 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...
CAISE
2005
Springer
15 years 3 months ago
Computing the Relevant Instances That May Violate an OCL Constraint
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
Jordi Cabot, Ernest Teniente
ICRA
2007
IEEE
144views Robotics» more  ICRA 2007»
15 years 4 months ago
Optimal Control Using Nonholonomic Integrators
Abstract— This paper addresses the optimal control of nonholonomic systems through provably correct discretization of the system dynamics. The essence of the approach lies in the...
Marin Kobilarov, Gaurav Sukhatme
ICDE
2010
IEEE
172views Database» more  ICDE 2010»
14 years 10 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
APWEB
2011
Springer
14 years 5 months ago
Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models
One difficulty in the design of XML Schema is the restriction that the content models should be deterministic, i. e., the Unique Particle Attribution (UPA) constraint, which means ...
Haiming Chen, Ping Lu