10707 search results - page 1956 / 2142 » Designing executable abstractions |
181
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
174
click to vote
IDEAL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Change detection in satellite image time series is an important domain with various applications in land study. Most previous works proposed to perform this detection by ...
167
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Hardware accelerators are becoming a highly appealing approach to boost the raw performance as well as the price-performance and power-performance ratios of current clusters. In t...
183
click to vote
IJSR
2010
15 years 5 months ago
2010
Abstract It has been recognized that long-term effects exist in the interaction with robotic technologies. Despite this recognition, we still know little about how the temporal eff...
174
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...