773 search results - page 103 / 155 » Exploring relevance for clicks |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Text similarity spans a spectrum, with broad topical similarity near one extreme and document identity at the other. Intermediate levels of similarity – resulting from summariza...
PCI
2005
Springer
14 years 2 months ago
2005
Springer
Bioinformatics applications are one of the most relevant and compute-demanding applications today. While normally these applications are executed on clusters or dedicated parallel ...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
ISLPED
2004
ACM
14 years 2 months ago
2004
ACM
Leakage power is a major concern in current and future microprocessor designs. In this paper, we explore the potential of architectural techniques to reduce leakage through power-...