31387 search results - page 5954 / 6278 » Abstracting abstract machines |
205
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
188
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
180
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A critical step in automatic fingerprint recognition is the accurate segmentation of fingerprint images. The objective of fingerprint segmentation is to decide which part...
181
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract--Cognitive radio (CR) technology is an innovative radio design philosophy which aims to increase spectrum utilization by exploiting unused spectrum in dynamically changing...
163
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Hybrid wireless-optical broadband access network (WOBAN) is a promising architecture for future network operations. Recently, the wireless part of WOBAN has been gaining...