Sciweavers

3897 search results - page 333 / 780
» complexity 2010
Sort
View
KR
2010
Springer
15 years 11 months ago
From Preference Logics to Preference Languages, and Back
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
Meghyn Bienvenu, Jérôme Lang, Nic Wil...
PAKDD
2010
ACM
178views Data Mining» more  PAKDD 2010»
15 years 11 months ago
SkyDist: Data Mining on Skyline Objects
The skyline operator is a well established database primitive which is traditionally applied in a way that only a single skyline is computed. In this paper we use multiple skylines...
Christian Böhm, Annahita Oswald, Claudia Plan...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 11 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 11 months ago
Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint
In this paper, we consider energy minimization for multiprocessor system-on-a-chip (MPSoC) under lifetime reliability constraint of the system, which has become a serious concern ...
Lin Huang, Qiang Xu
ICIAR
2010
Springer
15 years 10 months ago
A Geometric Data Structure Applicable to Image Mining and Retrieval
Abstract. Due to improvements in image acquisition and storage technology, terabyte-sized databases of images are nowadays common. This abundance of data leads us to two basic prob...
T. Iwaszko, Mahmoud Melkemi, Lhassane Idoumghar