292 search results - page 33 / 59 » A linearization of the Lambda-calculus and consequences |
130
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
134
click to vote
TIP
2010
14 years 8 months ago
2010
In this paper, a motion-aligned auto-regressive (MAAR) model is proposed for frame rate up conversion, where each pixel is interpolated as the average of the results generated by o...
107
click to vote
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
We consider a number of range reporting problems in two and three dimensions and prove lower bounds on the amount of space used by any cache-oblivious data structure for these pro...
108
click to vote
SAINT
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we model DCCP congestion control mechanism and RED as independent discrete-time systems using fluid-flow approximation. By interconnecting DCCP connections and RE...
111
click to vote
SIGMETRICS
2004
ACM
15 years 6 months ago
2004
ACM
Traditional Peer-to-Peer (P2P) networks do not provide service differentiation and incentive for users. Consequently, users can easily access information without contributing any ...