893 search results - page 91 / 179 » Descent Theory for Schemes |
176
click to vote
POPL
2006
ACM
16 years 6 days ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
The linear deterministic model of relay channels is a generalization of the traditional directed network model which has become popular in the study of the flow of information ove...
128
click to vote
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Opportunistic user access scheduling enhances the capacity of wireless networks by exploiting the multi user diversity. When frame aggregation is used, opportunistic schemes are no...
MMSEC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we study the trade-off in steganography between the number of embedding changes and their amplitude. We assume that each element of the cover image is assigned a sc...
CICLING
2005
Springer
15 years 5 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...