1090 search results - page 40 / 218 » Resource-Bounded Partial Evaluation |
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
TITB
2008
14 years 9 months ago
2008
In recent years, there has been a rapid increase in the size and number of medical image collections. Thus, the development of appropriate methods for medical information retrieval...
100
click to vote
SIAMSC
2010
14 years 4 months ago
2010
We present a new "hp" parameter multi-domain certified reduced basis method for rapid and reliable online evaluation of functional outputs associated with parametrized el...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider a multiple input single output antenna system with a feedback link. While most of the previous works have considered perfect feedback channels, in this paper, we ev...
GFKL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...