1280 search results - page 211 / 256 » Soft Typing with Conditional Types |
INFOCOM
2011
IEEE
13 years 14 days ago
2011
IEEE
Abstract—Low power ad hoc wireless networks operate in conditions where channels are subject to fading. Cooperative diversity mitigates fading in these networks by establishing v...
MTA
2011
12 years 12 months ago
2011
This paper presents a novel approach for individual agent’s motion simulation in real-time virtual environments. In our model, we focus on addressing two problems: 1) the control...
NAR
2011
12 years 12 months ago
2011
The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral d...
MMB
2012
Springer
12 years 4 months ago
2012
Springer
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Many human action recognition tasks involve data that can be factorized into multiple views such as body postures and hand shapes. These views often interact with each other over ...