Sciweavers

148 search results - page 13 / 30
» Propagating XML Constraints to Relations
Sort
View
DEXA
2004
Springer
96views Database» more  DEXA 2004»
14 years 28 days ago
A Selective Key-Oriented XML Index for the Index Selection Problem in XDBMS
Abstract. In relational database management systems indexes are used to accelerate specific queries. The selection of indexes is an important task when tuning a database which is ...
Beda Christoph Hammerschmidt, Martin Kempa, Volker...
CJ
2004
119views more  CJ 2004»
13 years 7 months ago
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
Zhongqiang Chen, Alex Delis, Henry L. Bertoni
RTSS
1994
IEEE
13 years 11 months ago
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
Richard Gerber, Seongsoo Hong, Manas Saksena
JSAT
2006
92views more  JSAT 2006»
13 years 7 months ago
A Translation of Pseudo Boolean Constraints to SAT
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
SAT
2007
Springer
81views Hardware» more  SAT 2007»
14 years 1 months ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...