1147 search results - page 115 / 230 » Termination in language-based systems |
177
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
155
Voted
NDSS
2009
IEEE
16 years 26 days ago
2009
IEEE
Several off-the-shelf products enable network operators to enforce usage restrictions by actively terminating connections when deemed undesirable. While the spectrum of their appl...
176
Voted
GLOBECOM
2006
IEEE
16 years 5 days ago
2006
IEEE
—We demonstrate that receive antenna selection (RAS) provides significant increase in the achievable sum rates for multi-user MIMO wireless downlinks that employ block diagonaliz...
159
click to vote
COMSUR
2006
15 years 6 months ago
2006
Digital Video Broadcasting for Handhelds (DVB-H) is a standard for broadcasting IP Datacast (IPDC) services to mobile handheld terminals. Based on the DVB-T standard, DVB-H adds n...
149
Voted
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, we introduce our experience on the development of a three-dimensional audio-visual(3D AV) service system based on the terrestrial digital multimedia broadcasting (T...