893 search results - page 29 / 179 » Descent Theory for Schemes |
TSP
2008
14 years 11 months ago
2008
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
EAAI
2008
14 years 12 months ago
2008
Adaptive fuzzy control has been an active research area over the last decade and several stable adaptive fuzzy controllers have been proposed in the literature. Such controllers a...
101
click to vote
TWC
2008
14 years 11 months ago
2008
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this paper, we look into the channel allocation problem for a non-cooperative cognitive vehicular ad-hoc communication network with multiple communicating pairs distributed ...
164
click to vote
SCP
2011
14 years 6 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...