Sciweavers

6274 search results - page 305 / 1255
» From query complexity to computational complexity
Sort
View
CINQ
2004
Springer
180views Database» more  CINQ 2004»
15 years 10 months ago
Interactivity, Scalability and Resource Control for Efficient KDD Support in DBMS
The conflict between resource consumption and query performance in the data mining context often has no satisfactory solution. This not only stands in sharp contrast to the need of...
Matthias Gimbel, Michael Klein, Peter C. Lockemann
ENTCS
2002
143views more  ENTCS 2002»
15 years 6 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
APCSAC
2007
IEEE
16 years 17 days ago
A Power-Aware Alternative for the Perceptron Branch Predictor
Abstract. The perceptron predictor is a highly accurate branch predictor. Unfortunately this high accuracy comes with high complexity. The high complexity is the result of the larg...
Kaveh Aasaraai, Amirali Baniasadi
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 11 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ICCV
2003
IEEE
15 years 11 months ago
Reinforcement Learning for Combining Relevance Feedback Techniques
Relevance feedback (RF) is an interactive process which refines the retrievals by utilizing user’s feedback history. Most researchers strive to develop new RF techniques and ign...
Peng-Yeng Yin, Bir Bhanu, Kuang-Cheng Chang, Anlei...