5624 search results - page 295 / 1125 » On Conditional Covering Problem |
170
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Intelligent vehicles require accurate localization relative to a map to ensure safe travel. GPS sensors are among the most useful sensors for outdoor localization, but they sti...
184
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
182
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Mobile medical sensors promise to provide an efficient, accurate, and economic way to monitor patients’ health outside the hospital. Patient authentication is a necessary secur...
164
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...