9521 search results - page 460 / 1905 » Compiling with continuations, continued |
106
Voted
WSC
1998
15 years 6 months ago
1998
This document presents an overview of the Extend modeling environment. Extend is a general purpose graphically oriented discrete event and continuous simulation application with a...
129
Voted
WSC
1998
15 years 6 months ago
1998
There is far less literature on passive sensor systems for tracking intermittently emitting targets than for tracking continuously emitting ones. A methodology for evaluating thes...
133
click to vote
WCE
2007
15 years 6 months ago
2007
—In our paper, we are utilizing the cellular wireless network with high reliability using fixed relay nodes. The size and scope of wireless networks continue to grow with more cl...
144
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
137
click to vote
GRC
2008
IEEE
15 years 6 months ago
2008
IEEE
This is a follow-up of the paper “A ten-year review of granular computing” published in 2007. We will continue to examine the most influential papers in granular computing. B...