11909 search results - page 2133 / 2382 » The Scheme Programming Language |
150
click to vote
EWC
2011
15 years 1 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
247
click to vote
SCP
2011
15 years 1 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
205
click to vote
SIMPRA
2011
15 years 1 months ago
2011
In this paper we present a GPU-based multigrid approach for simulating elastic deformable objects in real time. Our method is based on a finite element discretization of the defo...
179
click to vote
TIT
2011
15 years 1 months ago
2011
—Maximization of the weighted sum-rate of secondary users (SUs) possibly equipped with multiantenna transmitters and receivers is considered in the context of cognitive radio (CR...
195
click to vote
TWC
2011
15 years 1 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...