759 search results - page 83 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
106
click to vote
WICOMM
2008
15 years 14 days ago
2008
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...
113
click to vote
BMCBI
2006
15 years 20 days ago
2006
Background: Differentially expressed genes are typically identified by analyzing the variation between replicate measurements. These procedures implicitly assume that there are no...
84
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
143
Voted
SOFTVIS
2010
ACM
15 years 24 days ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
130
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...