Sciweavers

309 search results - page 24 / 62
» Towards scalable data integration under constraints
Sort
View
ICLP
2009
Springer
14 years 8 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...
AMAI
2007
Springer
13 years 7 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
IWQOS
2001
Springer
13 years 12 months ago
Aggregation and Scalable QoS: A Performance Study
The IETF’s Integrated Services (IntServ) architecture together with reservation aggregation provide a mechanism to support the quality-of-service demands of real-time flows in a...
Huirong Fu, Edward W. Knightly
ISCAS
2006
IEEE
96views Hardware» more  ISCAS 2006»
14 years 1 months ago
Frame-level data reuse for motion-compensated temporal filtering
— Motion-compensated temporal filtering (MCTF) is an open-loop prediction scheme, so the frame-level data reuse for MCTF is possible. In this paper, we propose two general frame...
Ching-Yeh Chen, Yi-Hau Chen, Chih-Chi Cheng, Liang...
ICCAD
2009
IEEE
171views Hardware» more  ICCAD 2009»
13 years 5 months ago
A hybrid local-global approach for multi-core thermal management
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
Ramkumar Jayaseelan, Tulika Mitra