7167 search results - page 1379 / 1434 » A Technique for Invariant Generation |
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Although CMOS feature size scaling has been the source of dramatic performance gains, it has lead to mounting reliability concerns due to increasing power densities and on-chip te...
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
101
click to vote
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Relevance feedback has been demonstrated to be an effective strategy for improving retrieval accuracy. The existing relevance feedback algorithms based on language models and vect...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
In the past, quite a few fast algorithms have been developed to mine frequent patterns over graph data, with the large spectrum covering many variants of the problem. However, the...