12981 search results - page 2454 / 2597 » Model Checking and Abstraction |
104
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—It is challenging to provide authentication to timecritical multicast data, where low end-to-end delay is of crucial importance. Consequently, it requires not only effi...
111
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
132
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
147
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
105
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...