3591 search results - page 258 / 719 » Typing linear constraints |
192
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper we present protograph codes with a small number of degree-3 nodes and one high degree node. The iterative decoding threshold for proposed rate 1/2 codes are lower...
237
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
181
click to vote
COR
2010
15 years 7 months ago
2010
In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of...
169
click to vote
ACL
2010
15 years 5 months ago
2010
We observe that (1) how a given named entity (NE) is translated (i.e., either semantically or phonetically) depends greatly on its associated entity type, and (2) entities within ...
160
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...