417 search results - page 54 / 84 » Orderings for Innermost Termination |
INFORMATICALT
2007
13 years 7 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
Publication
Usually, binary search only makes sense in sorted arrays. We show that insertion sort based on repeated "binary searches" in an initially unsorted array also sorts n ele...
ICLP
2010
Springer
13 years 6 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the wide-sense stationary and uncorrelated scattering (WSSUS) assumption. For wireless channels, this assu...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Land Mobile Satellite (LMS) systems can exploit multiple-input-multiple-output (MIMO) techniques in order to achieve high transmission rates. This paper evaluates theoretically the...