298 search results - page 56 / 60 » UPPAAL - Now, Next, and Future |
MOBICOM
2010
ACM
14 years 9 months ago
2010
ACM
Multi-User MIMO promises to increase the spectral efficiency of next generation wireless systems and is currently being incorporated in future industry standards. Although a signi...
CDC
2008
IEEE
2008
IEEE
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
14 years 9 months ago
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
106
click to vote
AI
2008
Springer
14 years 9 months ago
2008
Springer
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
BMCBI
2010
14 years 9 months ago
2010
Background: Immunoglobulin (IG or antibody) and the T-cell receptor (TR) are pivotal proteins in the immune system of higher organisms. In cancer immunotherapy, the immune respons...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The emergence of various technologies has since pushed researchers to develop new protocols that support high density data transmissions in Wide Area Networks. Many of these proto...